( en | de | ru )

 

Disambiguation of "Teitelbaum, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
A Next-Generation Platform for Analyzing Executables.

, , , and . Malware Detection, volume 27 of Advances in Information Security, Springer, (2007)

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)

Matthias Timmer

 

Other publications of authors with the same name

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