Search results for: Julian Dolby
Formal Methods in System Design > 2017 > 50 > 2-3 > 249-288
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 198-213
Lecture Notes in Computer Science > ECOOP 2010 – Object-Oriented Programming > Type Systems > 304-328
Lecture Notes in Computer Science > ECOOP 2010 – Object-Oriented Programming > Concurrency Models in Java > 225-249
Lecture Notes in Computer Science > High Performance Computing — HiPC 2001 > Keynote Address > 151-163
Lecture Notes in Computer Science > The Semantic Web > Research Track > 100-113