Searching for authors named "Nicholas Kidd" – sorted by Relevance.
-
WALi User Manual
- WALi User Manual Nicholas Kidd kidd@(email omitted); February 18, 2008 1 Introduction WALi 1 is an open
- Add To MetaCart
-
Weighted Pushdown Systems and Weighted Transducers
- Weighted Pushdown Systems and Weighted Transducers Akash Lal 1 , Tayssir Touili 2 , Nicholas Kidd
- Add To MetaCart
-
Static Detection of Atomic-Set-Serializability Violations ⋆
- Static Detection of Atomic-Set-Serializability Violations ⋆ Nicholas Kidd 1 , Thomas Reps 1
- Cited by 1 (1 self) – Add To MetaCart
-
Advanced Querying for Property Checking ⋆
- Advanced Querying for Property Checking ⋆ Nicholas Kidd 1 , Akash Lal 1⋆⋆ , and Thomas Reps 1,2 1
- Cited by 1 (1 self) – Add To MetaCart
-
T.: Language strength reduction
- Language Strength Reduction ⋆ Nicholas Kidd 1 , Akash Lal 1⋆⋆ , and Thomas Reps 1,2 1 University
- Cited by 1 (1 self) – Add To MetaCart
-
Interprocedural analysis of concurrent programs under a context bound
- Touili 2 , Nicholas Kidd 1 , and Thomas Reps 1,3 1 University of Wisconsin; Madison, WI; USA. {akash
- Cited by 5 (4 self) – Add To MetaCart
-
Abstract error projection
- Abstract Error Projection Akash Lal 1 , Nicholas Kidd 1 , Thomas Reps 1 , and Tayssir Touili 2 1
- Cited by 4 (4 self) – Add To MetaCart
-
Finding Concurrency-Related Bugs using Random Isolation
- Finding Concurrency-Related Bugs using Random Isolation Nicholas Kidd 1 , Thomas Reps 1,3 , Julian
- Cited by 3 (3 self) – Add To MetaCart
-
Improving Communicating Pushdown System Model Checking
- Improving Communicating Pushdown System Model Checking Nicholas Kidd 1 , Thomas Reps 1
- Add To MetaCart
-
RESEARCH STATEMENT
- RESEARCH STATEMENT NICHOLAS ANDREW KIDD To leverage the increased processing power of modern
- Add To MetaCart

