Search the dblp DataBase
Mark B. Trakhtenbrot :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (3, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:4, pp:403-414 [Journal ] Bruce Powel Douglass , David Harel , Mark B. Trakhtenbrot Statecharts in Use: Structured Analysis and Object-Orientation. [Citation Graph (0, 0)][DBLP ] European Educational Forum: School on Embedded Systems, 1996, pp:368-394 [Conf ] Victor N. Kasyanov , Mark B. Trakhtenbrot Program structure analysis in a global optimization. [Citation Graph (0, 0)][DBLP ] Methods of Algorithmic Language Implementation, 1975, pp:90-104 [Conf ] Mark B. Trakhtenbrot On Representation of Sequential and Parallel Functions. [Citation Graph (0, 0)][DBLP ] MFCS, 1975, pp:411-417 [Conf ] Mark B. Trakhtenbrot Use of Verification for Testing and Debugging of Complex Reactive Systems. [Citation Graph (0, 0)][DBLP ] SEFM, 2005, pp:13-22 [Conf ] Mark B. Trakhtenbrot Some Equivalent Transformations of Recursive Programs Based on Their Schematic Properties. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1984, v:18, n:5, pp:275-283 [Journal ] Mark B. Trakhtenbrot Relationships Between Classes of Monotonic Functions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1976, v:2, n:2, pp:225-247 [Journal ] Judith Gal-Ezer , Mark B. Trakhtenbrot Algebraic characterization of regular languages: how to cope with all these equivalences? [Citation Graph (0, 0)][DBLP ] ITiCSE, 2006, pp:325- [Conf ] Judith Gal-Ezer , Mark B. Trakhtenbrot Challenges in teaching the pumping lemma in automata theory course. [Citation Graph (0, 0)][DBLP ] ITiCSE, 2005, pp:369- [Conf ] Synthesis of Monitors for Real-Time Analysis of Reactive Systems. [Citation Graph (, )][DBLP ] Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs