BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Greece
3 × USA
Collaborated with:
A.M.Rabinovich J.Y.Halpern A.R.Meyer
Talks about:
automata (3) continu (2) circuit (2) hybrid (2) facet (2) time (2) free (2) net (2) metamorphos (1) interpret (1)

Person: Boris A. Trakhtenbrot

DBLP DBLP: Trakhtenbrot:Boris_A=

Contributed to:

ICALP 20012001
STOC 20012001
LICS 19951995
ICALP 19901990
LICS 19891989
POPL 19841984

Wrote 6 papers:

ICALP-2001-Trakhtenbrot #automaton
Automata, Circuits, and Hybrids: Facets of Continuous Time (BAT), pp. 4–23.
STOC-2001-Trakhtenbrot #automaton
Automata, circuits and hybrids: facets of continuous time (BAT), pp. 754–755.
LICS-1995-Trakhtenbrot #automaton #logic
Origins and Metamorphoses of the Trinity: Logic, Nets, Automata (BAT), pp. 506–507.
ICALP-1990-RabinovichT #communication
Communication among Relations (AMR, BAT), pp. 294–307.
LICS-1989-RabinovichT #data flow
Nets and Data Flow Interpreters (AMR, BAT), pp. 164–174.
POPL-1984-HalpernMT #question #semantics #what
The Semantics of Local Storage, or What Makes the Free-List Free? (JYH, ARM, BAT), pp. 245–257.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.