Tim Teitelbaum
发表
Lynette I. Millett,
Tim Teitelbaum,
2000,
International Journal on Software Tools for Technology Transfer.
Paul Anderson,
David W. Binkley,
Tim Teitelbaum,
2002,
Inf. Softw. Technol..
Thomas Reps,
Tim Teitelbaum,
T. Reps,
1981
.
Susan Horwitz,
Tim Teitelbaum,
Alan J. Demers,
2004,
Acta Informatica.
Susan Horwitz,
Tim Teitelbaum,
1985,
ACM SIGPLAN Notices.
Thomas W. Reps,
Gogul Balakrishnan,
Tim Teitelbaum,
2005,
APLAS.
Thomas Reps,
Tim Teitelbaum,
1989
.
Program Slicing for Design Automation: An Automatic Technique for Speeding-up Hardware Design, Simul
Thomas Reps,
Masahiro Fujita,
Edmund M. Clarke,
1998
.
Tim Teitelbaum,
T. Teitelbaum,
1979
.
Thomas Reps,
Tim Teitelbaum,
1989
.
David Gries,
Tim Teitelbaum,
2015
.
Tim Teitelbaum,
2004
.
Thomas Reps,
Tim Teitelbaum,
T. Reps,
1981
.
Thomas W. Reps,
Tim Teitelbaum,
Alan J. Demers,
1983,
TOPL.
Yanhong A. Liu,
Tim Teitelbaum,
Scott D. Stoller,
1998,
TOPL.
Thomas Reps,
Tim Teitelbaum,
1989
.
Tim Teitelbaum,
Radu Gruian,
2005
.
Thomas Reps,
Tim Teitelbaum,
1989
.
Thomas Reps,
Tim Teitelbaum,
1989
.
Thomas W. Reps,
Tim Teitelbaum,
T. Reps,
1987,
Computer.
Thomas Reps,
Tim Teitelbaum,
1989
.
Thomas W. Reps,
Tim Teitelbaum,
Alan J. Demers,
1981,
POPL '81.
Thomas Reps,
Tim Teitelbaum,
T. Reps,
1989
.
Thomas Reps,
Tim Teitelbaum,
1989
.
Masahiro Fujita,
Edmund M. Clarke,
Thomas W. Reps,
2002
.
Tim Teitelbaum,
1979,
SIGP.
Yanhong A. Liu,
Tim Teitelbaum,
Scott D. Stoller,
1996,
POPL '96.
Thomas W. Reps,
Tim Teitelbaum,
Carla Marceau,
1986,
POPL '86.
Tim Teitelbaum,
1976
.
Paul Anderson,
Tim Teitelbaum,
T. Teitelbaum,
2001
.
Susan Horwitz,
Tim Teitelbaum,
1986,
TOPL.
Yanhong A. Liu,
Tim Teitelbaum,
1995,
Sci. Comput. Program..
Paul Anderson,
Thomas W. Reps,
Tim Teitelbaum,
2003,
IEEE Softw..
Lynette I. Millett,
Tim Teitelbaum,
2002
.
Thomas W. Reps,
Gogul Balakrishnan,
Tim Teitelbaum,
2005,
APLAS.
Thomas Reps,
Susan Horwitz,
Tim Teitelbaum,
1981
.
Yanhong A. Liu,
Tim Teitelbaum,
Scott D. Stoller,
2001,
Sci. Comput. Program..
Thomas Reps,
Tim Teitelbaum,
T. Reps,
1988
.
Paul Anderson,
Thomas W. Reps,
Tim Teitelbaum,
2003,
IEEE Trans. Software Eng..
Thomas Reps,
Tim Teitelbaum,
1989
.
Thomas Reps,
Tim Teitelbaum,
1989
.
Thomas Reps,
Tim Teitelbaum,
1988
.
Thomas W. Reps,
Gogul Balakrishnan,
Tim Teitelbaum,
2005,
VSTTE.
William Pugh,
Tim Teitelbaum,
W. Pugh,
1989,
POPL '89.
Tim Teitelbaum,
John Field,
T. Teitelbaum,
1990,
LISP and Functional Programming.
Yanhong A. Liu,
Tim Teitelbaum,
Yanhong A. Liu,
1995
.
J. Robert Cooke,
Tim Teitelbaum,
Doug Gale,
2015
.
Thomas Reps,
Tim Teitelbaum,
1984
.
Chi-Hua Chen,
Thomas W. Reps,
Gogul Balakrishnan,
2005,
CAV.
Tim Teitelbaum,
Roger Hoover,
1986,
SIGPLAN '86.
Tim Teitelbaum,
1993,
WADAS '93.
Thomas W. Reps,
Tim Teitelbaum,
T. Reps,
1984,
SDE 1.
Masahiro Fujita,
Edmund M. Clarke,
Thomas W. Reps,
1999,
CHARME.
Thomas W. Reps,
Tim Teitelbaum,
1989,
Texts and Monographs in Computer Science.
Thomas W. Reps,
Gogul Balakrishnan,
Tim Teitelbaum,
2005,
CC.
Paul Anderson,
David W. Binkley,
Tim Teitelbaum,
2001,
Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation.
Thomas Reps,
Tim Teitelbaum,
1981
.
Thomas Reps,
Tim Teitelbaum,
1989
.
William Pugh,
Tim Teitelbaum,
Dexter Kozen,
1987
.
Thomas Reps,
Tim Teitelbaum,
1989
.
Tim Teitelbaum,
T. Teitelbaum,
1979
.
Yanhong A. Liu,
Tim Teitelbaum,
1995,
PEPM '95.
Thomas Reps,
Tim Teitelbaum,
1989
.
Thomas Reps,
Tim Teitelbaum,
David Melski,
2009,
2009 Cybersecurity Applications & Technology Conference for Homeland Security.
Thomas Reps,
Tim Teitelbaum,
1989
.
Thomas W. Reps,
Tim Teitelbaum,
T. Reps,
1984,
SDE 1.
Tim Teitelbaum,
Richard Chapman,
T. Teitelbaum,
1990,
PLDI '90.
Thomas Reps,
Tim Teitelbaum,
1989
.
William Pugh,
Tim Teitelbaum,
Dexter Kozen,
1990
.
Lynette I. Millett,
Tim Teitelbaum,
1999,
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.