Boris A. Trakhtenbrot

According to our database, Boris A. Trakhtenbrot authored at least 25 papers between 1975 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2008

From Logic to Theoretical Computer Science - An Update.

Boris A. Trakhtenbrot

Proceedings of the Pillars of Computer Science, 2008

2004

Understanding Basic Automata Theory in the Continuous Time Setting.

Boris A. Trakhtenbrot

Fundam. Informaticae, 2004

Preface.

Boris A. Trakhtenbrot

Fundam. Informaticae, 2004

Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness.

Dorit Pardo, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Fundam. Informaticae, 2004

2001

Automata, circuits and hybrids: facets of continuous time.

Boris A. Trakhtenbrot

Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

1999

Automata and Their Interaction: Definitional Suggestions.

Boris A. Trakhtenbrot

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1997

From Finite Automata toward Hybrid Systems (Extended Abstract).

Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity.

Boris A. Trakhtenbrot

Fundam. Informaticae, 1996

1995

Origins and Metamorphoses of the Trinity: Logic, Nets, Automata

Boris A. Trakhtenbrot

Proceedings of the Proceedings, 1995

1994

Compositional Proofs for Networks of Processes.

Boris A. Trakhtenbrot

Fundam. Informaticae, 1994

1991

Connectedness and Synchronization.

Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Theor. Comput. Sci., 1991

On Nets, Algebras and Modularity.

Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Proceedings of the Theoretical Aspects of Computer Software, 1991

1990

Communication among Relations (Extended Abstract).

Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989

Understanding Nets.

Boris A. Trakhtenbrot

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Nets and Data Flow Interpreters

Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

Discerning Causality in Interleaving Behavior.

Yoram Hirshfeld, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Proceedings of the Logic at Botik '89, 1989

1988

Nets of processes and data flow.

Alexander Moshe Rabinovich, Boris A. Trakhtenbrot

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1984

A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms.

Boris A. Trakhtenbrot

IEEE Ann. Hist. Comput., 1984

The Semantics of Local Storage, or What Makes the Free-List Free?

Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1983

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview.

Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer

Proceedings of the Logics of Programs, 1983

1979

On Relaxation Rules in Algorithmic Logic.

Boris A. Trakhtenbrot

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

Some reflections on the connection between computer science and the theory of algorithms.

Boris A. Trakhtenbrot

Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979

1977

Frequency Algorithms and Computations.

Boris A. Trakhtenbrot

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976

Recursive Program Schemas and Computable Functionals.

Boris A. Trakhtenbrot

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

On Problems Solvable by Successive Trials.

Boris A. Trakhtenbrot

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975