Search results for: Scott Owens
Lecture Notes in Computer Science > ECOOP 2010 – Object-Oriented Programming > Concurrency Abstractions > 478-503
Lecture Notes in Computer Science > Programming Languages and Systems > Semantics, Parametricity, and Types > 1-15
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 519-533
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Components and Templates > 373-388
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 391-407
Lecture Notes in Computer Science > Programming Languages and Systems > Logics and Correctness Proofs > 205-219
Journal of Automated Reasoning > 2016 > 56 > 3 > 221-259
Current Atherosclerosis Reports > 2014 > 16 > 9 > 1-8
Current Cardiovascular Risk Reports > 2014 > 8 > 2 > 1-8
Microporous and Mesoporous Materials > 2009 > 120 > 3 > 272-277
Microporous and Mesoporous Materials > 2009 > 117 > 1-2 > 304-308
Higher-Order and Symbolic Computation > 2008 > 21 > 4 > 377-409
Formal Aspects of Computing > 2007 > 19 > 3 > 343-362
Electronic Notes in Theoretical Computer Science > 2006 > 145 > Complete > 27-43
Journal of Nuclear Materials > 2005 > 344 > 1-3 > 13-16
The Journal of Pediatrics > 2002 > 141 > 3 > 415-420
The Journal of Pediatrics > 1998 > 133 > 1 > 41-45