Searching for authors named "Nicholas Kidd" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
