Boris A. Trakhtenbrot

27 papers A* 6B 7Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2008 — conf
From Logic to Theoretical Computer Science - An Update.
Pillars of Computer Science
Boris A. Trakhtenbrot
2004 J jnl
Preface.
Fundam. Informaticae
Boris A. Trakhtenbrot
2004 J jnl
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness.
Fundam. Informaticae
Dorit Pardo, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
2004 J jnl
Understanding Basic Automata Theory in the Continuous Time Setting.
Fundam. Informaticae
Boris A. Trakhtenbrot
2001 A* conf
Automata, Circuits, and Hybrids: Facets of Continuous Time.
ICALP
Boris A. Trakhtenbrot
2001 A* conf
Automata, circuits and hybrids: facets of continuous time.
STOC
Boris A. Trakhtenbrot
1999 B conf
Automata and Their Interaction: Definitional Suggestions.
FCT
Boris A. Trakhtenbrot
1997 B conf
From Finite Automata toward Hybrid Systems (Extended Abstract).
FCT
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1997 J jnl
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity.
Fundam. Informaticae
Boris A. Trakhtenbrot
1996 J jnl
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity.
Fundam. Informaticae
Boris A. Trakhtenbrot
1995 A* conf
Origins and Metamorphoses of the Trinity: Logic, Nets, Automata
LICS
Boris A. Trakhtenbrot
1994 J jnl
Compositional Proofs for Networks of Processes.
Fundam. Informaticae
Boris A. Trakhtenbrot
1991 J jnl
Connectedness and Synchronization.
Theor. Comput. Sci.
Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1991 — conf
On Nets, Algebras and Modularity.
TACS
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1990 A* conf
Communication among Relations (Extended Abstract).
ICALP
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1989 — conf
Discerning Causality in Interleaving Behavior.
Logic at Botik
Yoram Hirshfeld, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1989 A* conf
Nets and Data Flow Interpreters
LICS
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1989 B conf
Understanding Nets.
MFCS
Boris A. Trakhtenbrot
1988 — conf
Nets of processes and data flow.
REX Workshop
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1984 J jnl
A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms.
IEEE Ann. Hist. Comput.
Boris A. Trakhtenbrot
1984 A* conf
The Semantics of Local Storage, or What Makes the Free-List Free?
POPL
Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot
1983 — conf
From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview.
Logic of Programs
Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer
1979 B conf
On Relaxation Rules in Algorithmic Logic.
MFCS
Boris A. Trakhtenbrot
1979 — conf
Some reflections on the connection between computer science and the theory of algorithms.
Algorithms in Modern Mathematics and Computer Science
Boris A. Trakhtenbrot
1977 B conf
Frequency Algorithms and Computations.
MFCS
Boris A. Trakhtenbrot
1976 B conf
Recursive Program Schemas and Computable Functionals.
MFCS
Boris A. Trakhtenbrot
1975 B conf
On Problems Solvable by Successive Trials.
MFCS
Boris A. Trakhtenbrot