Program structure analysis in a global optimization. - Victor N. Kasyanov; Mark B. Trakhtenbrot (Methods of Algorithmic Language Implementation, 1975)

On Representation of Sequential and Parallel Functions. - Mark B. Trakhtenbrot (MFCS, 1975)

Relationships Between Classes of Monotonic Functions. - Mark B. Trakhtenbrot (Theor. Comput. Sci., 1976)

Some Equivalent Transformations of Recursive Programs Based on Their Schematic Properties. - Mark B. Trakhtenbrot (Inf. Process. Lett., 1984)

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

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

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

An Undergraduate Program in Embedded Systems Engineering. - Bruria Haberman; Mark B. Trakhtenbrot (CSEE&T, 2005)

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

Use of Verification for Testing and Debugging of Complex Reactive Systems. - Mark B. Trakhtenbrot (SEFM, 2005)

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

Synthesis of Monitors for Real-Time Analysis of Reactive Systems. - Mikhail Auguston; Mark B. Trakhtenbrot (Pillars of Computer Science, 2008)

Implementation-Oriented Mutation Testing of Statechart Models. - Mark B. Trakhtenbrot (ICST Workshops, 2010)

Synchronization Complexity Metric. - Peter Yastrebenetsky; Mark B. Trakhtenbrot (SEKE, 2010)

Analysis of Applicability for Synchronization Complexity Metric. - Peter Yastrebenetsky; Mark B. Trakhtenbrot (ECBS, 2011)

Students misconceptions in analysis of algorithmic and computational complexity of problems. - Mark B. Trakhtenbrot (ITiCSE, 2013)

Reduction Patterns: A Practical Tool for Proving Undecidability. - Judith Gal-Ezer; Mark B. Trakhtenbrot (ITiCSE, 2016)

Identification and addressing reduction-related misconceptions. - Judith Gal-Ezer; Mark B. Trakhtenbrot (Comput. Sci. Educ., 2016)

Mutation Patterns for Temporal Requirements of Reactive Systems. - Mark B. Trakhtenbrot (ICST Workshops, 2017)

An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems. - Mark B. Trakhtenbrot (RE Workshops, 2019)

Boris (Boaz) Trakhtenbrot - The Beginning. - Mark B. Trakhtenbrot (Fundam. Informaticae, 2022)