Publications by Jonathan Aldrich

2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5653:27-51
Jaspan C, Aldrich J

2009 933-940
Stork S, Marques P, Aldrich J

2009
Malayeri D, Aldrich J

2009 • OOPSLA 2009, CONFERENCE PROCEEDINGS • 21-39
Malayeri D, Aldrich J

2009 • ACM Sigplan Notices • 44(10):21-39
Malayeri D, Aldrich J

2009 105-116
Krishnaswami NR, Aldrich J, Birkedal L, Svendsen K, Buisse A

2009
Malayeri D, Aldrich J

2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5502:95-111
Malayeri D, Aldrich J

2009 1-5
Saini D, Sunshine J, Aldrich J

2009 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5653:195-219
Bierhoff K, Beckman NE, Aldrich J

2009 1-10
Beckman NE, Kim YP, Stork S, Aldrich J

2009 1-4
Jaspan C, Aldrich J

2009 • Savcbs 09 Proceedings of the 8th International Workshop on Specification and Verification of Component Based Systems
Huisman M, Aldrich J, Barnett M, Giannakopoulou D, Leavens GT, Sharygina N

2009 • ACM Sigplan Notices • 44(10):321-340
Abi-Antoun M, Aldrich J

2009 • OOPSLA 2009, CONFERENCE PROCEEDINGS • 321-340
Abi-Antoun M, Aldrich J

2009 51-64
Abi-Antoun M, Aldrich J

2009 • EIGHTH WORKSHOP ON SPECIFICATION AND VERIFICATION OF COMPONENT-BASED SYSTEMS-SAVCBS 2009 • 11-18
Kim T, Bierhoff K, Aldrich J, Kang S

2009 1015-1022
Aldrich J, Sunshine J, Saini D, Sparks Z

2008 22-28
Abi-Antoun M, Aldrich J

2008
Abi-Anton M, Aldrich J

2008
Jaspan C, Aldrich J

2008
Jaspan C, Aldrich J

2008 • Automated Software Engineering • 15(1):35-74
Abi-Antoun M, Aldrich J, Nahas N, Schmerl B, Garlan D

2008 138-147
Jaspan C, Quan T, Aldrich J

2008 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 5142:260-284
Malayeri D, Aldrich J