Nicholas Kidd
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Abstract Error Projection Static Analysis | 2009-03-03 | Paper |
| Finding Concurrency-Related Bugs Using Random Isolation Lecture Notes in Computer Science | 2009-02-10 | Paper |
| Language Strength Reduction Static Analysis | 2008-08-28 | Paper |
| Program Analysis Using Weighted Pushdown Systems FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
| Interprocedural Analysis of Concurrent Programs Under a Context Bound Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science | 2007-05-02 | Paper |
Research outcomes over time
This page was built for person: Nicholas Kidd
