Travelled to:1 × Germany
1 × Greece
1 × Italy
1 × Portugal
Collaborated with:J.Gal-Ezer ∅
Talks about:cours (2) misconcept (1) character (1) challeng (1) automata (1) theoret (1) regular (1) reactiv (1) languag (1) equival (1)
Person: Mark B. Trakhtenbrot
DBLP: Trakhtenbrot:Mark_B=
Contributed to:
20062005
20052003Wrote 4 papers:
- ITiCSE-2006-Gal-EzerT #algebra #how #question #regular expression
- Algebraic characterization of regular languages: how to cope with all these equivalences? (JGE, MBT), p. 325.
- ITiCSE-2005-Gal-EzerT #automaton #challenge #education
- Challenges in teaching the pumping lemma in automata theory course (JGE, MBT), p. 369.
- SEFM-2005-Trakhtenbrot #debugging #testing #using #verification
- Use of Verification for Testing and Debugging of Complex Reactive Systems (MBT), pp. 13–22.
- ITiCSE-2003-Trakhtenbrot #analysis #concept #how
- Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning (MBT), p. 241.