| 2008 |
|---|
| 11 | EE | Mikhail Auguston,
Mark B. Trakhtenbrot:
Synthesis of Monitors for Real-Time Analysis of Reactive Systems.
Pillars of Computer Science 2008: 72-86 |
| 2006 |
|---|
| 10 | EE | Judith Gal-Ezer,
Mark B. Trakhtenbrot:
Algebraic characterization of regular languages: how to cope with all these equivalences?
ITiCSE 2006: 325 |
| 2005 |
|---|
| 9 | EE | Judith Gal-Ezer,
Mark B. Trakhtenbrot:
Challenges in teaching the pumping lemma in automata theory course.
ITiCSE 2005: 369 |
| 8 | EE | Mark B. Trakhtenbrot:
Use of Verification for Testing and Debugging of Complex Reactive Systems.
SEFM 2005: 13-22 |
| 2003 |
|---|
| 7 | EE | Mark B. Trakhtenbrot:
Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning.
ITiCSE 2003: 241 |
| 1996 |
|---|
| 6 | | Bruce Powel Douglass,
David Harel,
Mark B. Trakhtenbrot:
Statecharts in Use: Structured Analysis and Object-Orientation.
European Educational Forum: School on Embedded Systems 1996: 368-394 |
| 1990 |
|---|
| 5 | EE | David Harel,
Hagi Lachover,
Amnon Naamad,
Amir Pnueli,
Michal Politi,
Rivi Sherman,
Aharon Shtull-Trauring,
Mark B. Trakhtenbrot:
STATEMATE: A Working Environment for the Development of Complex Reactive Systems.
IEEE Trans. Software Eng. 16(4): 403-414 (1990) |
| 1984 |
|---|
| 4 | | Mark B. Trakhtenbrot:
Some Equivalent Transformations of Recursive Programs Based on Their Schematic Properties.
Inf. Process. Lett. 18(5): 275-283 (1984) |
| 1976 |
|---|
| 3 | | Mark B. Trakhtenbrot:
Relationships Between Classes of Monotonic Functions.
Theor. Comput. Sci. 2(2): 225-247 (1976) |
| 1975 |
|---|
| 2 | | Mark B. Trakhtenbrot:
On Representation of Sequential and Parallel Functions.
MFCS 1975: 411-417 |
| 1 | | Victor N. Kasyanov,
Mark B. Trakhtenbrot:
Program structure analysis in a global optimization.
Methods of Algorithmic Language Implementation 1975: 90-104 |
