Skip to content
cs-conference-ranking.org

Boris A. Trakhtenbrot

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

6

Active years

1975–2001

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2001ICALPAutomata, Circuits, and Hybrids: Facets of Continuous Time.Boris A. Trakhtenbrot
2001STOCAutomata, circuits and hybrids: facets of continuous time.Boris A. Trakhtenbrot
1999FCTAutomata and Their Interaction: Definitional Suggestions.Boris A. Trakhtenbrot
1997FCTFrom Finite Automata toward Hybrid Systems (Extended Abstract).Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1995LICSOrigins and Metamorphoses of the Trinity: Logic, Nets, AutomataBoris A. Trakhtenbrot
1990ICALPCommunication among Relations (Extended Abstract).Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1989LICSNets and Data Flow InterpretersAlexander Moshe Rabinovich, Boris A. Trakhtenbrot
1989MFCSUnderstanding Nets.Boris A. Trakhtenbrot
1984POPLThe Semantics of Local Storage, or What Makes the Free-List Free?Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot
1979MFCSOn Relaxation Rules in Algorithmic Logic.Boris A. Trakhtenbrot
1977MFCSFrequency Algorithms and Computations.Boris A. Trakhtenbrot
1976MFCSRecursive Program Schemas and Computable Functionals.Boris A. Trakhtenbrot
1975MFCSOn Problems Solvable by Successive Trials.Boris A. Trakhtenbrot