The SCEAS System
| |||||||

## Search the dblp DataBase
Boris A. Trakhtenbrot:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Yoram Hirshfeld, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
**Discerning Causality in Interleaving Behavior.**[Citation Graph (0, 0)][DBLP] Logic at Botik, 1989, pp:146-162 [Conf] - Boris A. Trakhtenbrot
**Some reflections on the connection between computer science and the theory of algorithms.**[Citation Graph (0, 0)][DBLP] Algorithms in Modern Mathematics and Computer Science, 1979, pp:461-462 [Conf] - Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
**From Finite Automata toward Hybrid Systems (Extended Abstract).**[Citation Graph (0, 0)][DBLP] FCT, 1997, pp:411-422 [Conf] - Boris A. Trakhtenbrot
**Automata and Their Interaction: Definitional Suggestions.**[Citation Graph (0, 0)][DBLP] FCT, 1999, pp:54-89 [Conf] - Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
**Communication among Relations (Extended Abstract).**[Citation Graph (0, 0)][DBLP] ICALP, 1990, pp:294-307 [Conf] - Boris A. Trakhtenbrot
**Automata, Circuits, and Hybrids: Facets of Continuous Time.**[Citation Graph (0, 0)][DBLP] ICALP, 2001, pp:4-23 [Conf] - Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
**Nets and Data Flow Interpreters**[Citation Graph (0, 0)][DBLP] LICS, 1989, pp:164-174 [Conf] - Boris A. Trakhtenbrot
**Origins and Metamorphoses of the Trinity: Logic, Nets, Automata**[Citation Graph (0, 0)][DBLP] LICS, 1995, pp:506-507 [Conf] - Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer
**From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview.**[Citation Graph (0, 0)][DBLP] Logic of Programs, 1983, pp:474-500 [Conf] - Boris A. Trakhtenbrot
**On Problems Solvable by Successive Trials.**[Citation Graph (0, 0)][DBLP] MFCS, 1975, pp:125-137 [Conf] - Boris A. Trakhtenbrot
**Recursive Program Schemas and Computable Functionals.**[Citation Graph (0, 0)][DBLP] MFCS, 1976, pp:137-152 [Conf] - Boris A. Trakhtenbrot
**Frequency Algorithms and Computations.**[Citation Graph (0, 0)][DBLP] MFCS, 1977, pp:148-161 [Conf] - Boris A. Trakhtenbrot
**On Relaxation Rules in Algorithmic Logic.**[Citation Graph (0, 0)][DBLP] MFCS, 1979, pp:453-462 [Conf] - Boris A. Trakhtenbrot
**Understanding Nets.**[Citation Graph (0, 0)][DBLP] MFCS, 1989, pp:133-134 [Conf] - Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot
**The Semantics of Local Storage, or What Makes the Free-List Free?**[Citation Graph (0, 0)][DBLP] POPL, 1984, pp:245-257 [Conf] - Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
**Nets of processes and data flow.**[Citation Graph (0, 0)][DBLP] REX Workshop, 1988, pp:574-602 [Conf] - Boris A. Trakhtenbrot
**Automata, circuits and hybrids: facets of continuous time.**[Citation Graph (0, 0)][DBLP] STOC, 2001, pp:754-755 [Conf] - Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
**On Nets, Algebras and Modularity.**[Citation Graph (0, 0)][DBLP] TACS, 1991, pp:176-203 [Conf] - D. Pardo, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
**Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:62, n:1, pp:123-137 [Journal] - Boris A. Trakhtenbrot
**Preface.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:62, n:1, pp:- [Journal] - Boris A. Trakhtenbrot
**Understanding Basic Automata Theory in the Continuous Time Setting.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:62, n:1, pp:69-121 [Journal] - Boris A. Trakhtenbrot
**Compositional Proofs for Networks of Processes.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1994, v:20, n:1/2/3, pp:231-275 [Journal] - Boris A. Trakhtenbrot
**On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1996, v:28, n:1-2, pp:183-195 [Journal] - Boris A. Trakhtenbrot
**On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1997, v:30, n:1, pp:83-95 [Journal] - Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
**Connectedness and Synchronization.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1991, v:90, n:1, pp:171-184 [Journal] **From Logic to Theoretical Computer Science - An Update.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |