( en | de | ru )

 

Disambiguation of "Teitelbaum, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
Tool Support for Fine-Grained Software Inspection.

, , , and . IEEE Software, 20 (4): 42-50 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Morduch Teitelbaum

Max Teitelbaum

Irving R Teitelbaum

Tim Mattern

Regeneration der Grünlandnarbe nach Winterbeweidung mit Rindern. Uni Gießen, (2009)

Irmgard Timm

 

Other publications of authors with the same name

The Cornell Program Synthesizer: a syntax-directed programming environment.. ACM SIGPLAN Notices, 14 (10): 75 (1979)Design and Implementation of a Fine-Grained Software Inspection Tool., , and . IEEE Trans. Software Eng., 29 (8): 721-733 (2003)The Synthesizer Generator, and . Springer-Verlag, New York--Heidelberg--Berlin, (1989)The Synthesizer Generator., and . Software Development Environments (SDE), page 42-48. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.Flow Insensitive Points-To Sets., , , and . SCAM, page 81-91. IEEE Computer Society, (2001)Program slicing for VHDL., , , , , and . Int. J. Softw. Tools Technol. Transf., 4 (1): 125-137 (2002)Model Checking x86 Executables with CodeSurfer/x86 and WPDS++., , , , , , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 158-163. Springer, (2005)A Next-Generation Platform for Analyzing Executables., , , and . APLAS, volume 3780 of Lecture Notes in Computer Science, page 212-229. Springer, (2005)Program Slicing of Hardware Description Languages., , , , , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 298-312. Springer, (1999)Static Caching for Incremental Computation., , and . ACM Trans. Program. Lang. Syst., 20 (3): 546-585 (1998)