Concepedia

B. A. Trakhtenbrot

BA

Statistics

Publications

9

Citations

622

H-Index

9

Active since

1963

Affiliations

Tel Aviv University(Current)

B. A. Trakhtenbrot is an author at Tel Aviv University specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

1963–2003

9

Publications

9

A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms

B. A. Trakhtenbrot · IEEE Annals of the History of Computing · 1984 · 260 citations

, , +17

Behavior Structures and Nets

Alexander Rabinovich, B. A. Trakhtenbrot · Fundamenta Informaticae · 1988 · 135 citations

, , +14

Introduction to the Theory of Finite Automata

Martin Davis, N. E. Kobrinskii, B. A. Trakhtenbrot · Mathematics of Computation · 1967 · 55 citations

, , +2

Algorithms and automatic computing machines

B. A. Trakhtenbrot · Bulletin of Miscellaneous Information (Royal Gardens Kew) · 1963 · 48 citations

The Semantics of Local Storage, or What Makes the Free-List Free?

Joseph Y. Halpern, Albert R. Meyer, B. A. Trakhtenbrot · 1984 · 38 citations

, , +7

1–5 of 9