On Problems Solvable by Successive Trials. - Boris A. Trakhtenbrot (MFCS, 1975)

Recursive Program Schemas and Computable Functionals. - Boris A. Trakhtenbrot (MFCS, 1976)

Frequency Algorithms and Computations. - Boris A. Trakhtenbrot (MFCS, 1977)

Some reflections on the connection between computer science and the theory of algorithms. - Boris A. Trakhtenbrot (Algorithms in Modern Mathematics and Computer Science, 1979)

On Relaxation Rules in Algorithmic Logic. - Boris A. Trakhtenbrot (MFCS, 1979)

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. - Boris A. Trakhtenbrot; Joseph Y. Halpern; Albert R. Meyer (Logic of Programs, 1983)

The Semantics of Local Storage, or What Makes the Free-List Free? - Joseph Y. Halpern; Albert R. Meyer; Boris A. Trakhtenbrot (POPL, 1984)

A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms. - Boris A. Trakhtenbrot (IEEE Ann. Hist. Comput., 1984)

Nets of processes and data flow. - Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (REX Workshop, 1988)

Discerning Causality in Interleaving Behavior. - Yoram Hirshfeld; Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (Logic at Botik, 1989)

Nets and Data Flow Interpreters - Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (LICS, 1989)

Understanding Nets. - Boris A. Trakhtenbrot (MFCS, 1989)

Communication among Relations (Extended Abstract). - Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (ICALP, 1990)

On Nets, Algebras and Modularity. - Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (TACS, 1991)

Connectedness and Synchronization. - Antoni W. Mazurkiewicz; Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (Theor. Comput. Sci., 1991)

Compositional Proofs for Networks of Processes. - Boris A. Trakhtenbrot (Fundam. Informaticae, 1994)

Origins and Metamorphoses of the Trinity: Logic, Nets, Automata - Boris A. Trakhtenbrot (LICS, 1995)

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity. - Boris A. Trakhtenbrot (Fundam. Informaticae, 1996)

From Finite Automata toward Hybrid Systems (Extended Abstract). - Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (FCT, 1997)

Automata and Their Interaction: Definitional Suggestions. - Boris A. Trakhtenbrot (FCT, 1999)

Automata, circuits and hybrids: facets of continuous time. - Boris A. Trakhtenbrot (STOC, 2001)

Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness. - Dorit Pardo; Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (Fundam. Informaticae, 2004)

Preface. - Boris A. Trakhtenbrot (Fundam. Informaticae, 2004)

Understanding Basic Automata Theory in the Continuous Time Setting. - Boris A. Trakhtenbrot (Fundam. Informaticae, 2004)

From Logic to Theoretical Computer Science - An Update. - Boris A. Trakhtenbrot (Pillars of Computer Science, 2008)