Publications by Karl Crary

2003 • Theoretical Computer Science • 290(2):1175-1199
Colby C, Crary K, Harper R, Lee P, Pfenning F

2003 • ACM Transactions on Computational Logic • 4(4):493-529
Momigliano A, Pfenning F

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2741:473-487
Pientka B, Pfenning F

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2830:v
Pfenning F, Smaragdakis Y

2003 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2620:250-266
Dunfield J, Pfenning F

2002 • Information and Computation • 179(1):19-75
Cervesato I, Pfenning F

2002 • ACM Transactions on Computational Logic • 3(3):335-335
Pfenning F

2002 • PROOF AND SYSTEM-RELIABILITY • 62:137-166
Pfenning F

2002 • Microbiology (United Kingdom) • 148(4):1105-1118
Recktenwald J, Shawky R, Puk O, Pfennig F, Keller U, Wohlleben W, Pelzer S

2002 • Electronic Notes in Theoretical Computer Science • 70(2):146
Pfenning F

2002 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2536:112-125
Chang BYE, Crary K, DeLap M, Harper R, Liszka J, Murphy T, Pfenning F

2001 • Mathematical Structures in Computer Science • 11(4):511-540
PFENNING F, DAVIES R

2001 • Journal of the ACM • 48(3):555-604
Davies R, Pfenning F

2001 1063-1147
Pfenning F

2001
Momigliano A, Pfenning F

2001 • Proceedings - Symposium on Logic in Computer Science • 221-230
Pfenning F

2001
Harper R, Pfenning F

2001 • Theoretical Computer Science • 266(1-2):1-57
Schürmann C, Despeyroux J, Pfenning F

2000 • Annals of Mathematics and Artificial Intelligence • 29(1-4):
Gramlich B, Kirchner H, Pfenning F

2000 • Theoretical Computer Science • 232(1-2):133-163
Cervesato I, Hodas JS, Pfenning F

2000 • ACM Sigplan Notices • 35(9):198-208
Davies R, Pfenning F

2000 • ACM Sigplan Notices • 35(9):198-208
Davies R, Pfenning F

2000 • Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation • 33
Pfenning F

2000 • Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Gabbrielli M, Pfenning F

2000 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 1924:5-6
Pfenning F