Boris A. Trakhtenbrot
Affiliations:- Tel Aviv University, Israel
According to our database1,
Boris A. Trakhtenbrot
authored at least 25 papers
between 1975 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2008
Proceedings of the Pillars of Computer Science, 2008
2004
Fundam. Informaticae, 2004
Fundam. Informaticae, 2004
2001
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001
1999
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999
1997
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.
Fundam. Informaticae, 1996
1995
Proceedings of the Proceedings, 1995
1994
1991
Proceedings of the Theoretical Aspects of Computer Software, 1991
1990
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990
1989
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
Proceedings of the Logic at Botik '89, 1989
1988
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
IEEE Ann. Hist. Comput., 1984
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.
Proceedings of the Logics of Programs, 1983
1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
Some reflections on the connection between computer science and the theory of algorithms.
Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979
1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977
1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
1975
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975