Mark B. Trakhtenbrot

Mikhail Auguston, Mark B. Trakhtenbrot: Synthesis of Monitors for Real-Time Analysis of Reactive Systems. Pillars of Computer Science 2008: 72-86

Judith Gal-Ezer, Mark B. Trakhtenbrot: Algebraic characterization of regular languages: how to cope with all these equivalences? ITiCSE 2006: 325

Judith Gal-Ezer, Mark B. Trakhtenbrot: Challenges in teaching the pumping lemma in automata theory course. ITiCSE 2005: 369

Mark B. Trakhtenbrot: Use of Verification for Testing and Debugging of Complex Reactive Systems. SEFM 2005: 13-22

Mark B. Trakhtenbrot: Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning. ITiCSE 2003: 241

Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot: Statecharts in Use: Structured Analysis and Object-Orientation. European Educational Forum: School on Embedded Systems 1996: 368-394

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16(4): 403-414 (1990)

Mark B. Trakhtenbrot: Some Equivalent Transformations of Recursive Programs Based on Their Schematic Properties. Inf. Process. Lett. 18(5): 275-283 (1984)

Mark B. Trakhtenbrot: Relationships Between Classes of Monotonic Functions. Theor. Comput. Sci. 2(2): 225-247 (1976)

Victor N. Kasyanov, Mark B. Trakhtenbrot: Program structure analysis in a global optimization. Methods of Algorithmic Language Implementation 1975: 90-104

Mark B. Trakhtenbrot: On Representation of Sequential and Parallel Functions. MFCS 1975: 411-417