Phone: (+49) (30) 2093 3083 E-mail : kschmidt@informatik.hu-berlin.de
Affiliations | |
|---|---|
| Sep. 1988 - Apr. 1993 | Student of Computer Science at Humboldt-University Berlin |
| May 1993 - Apr. 1996 | Assistent to Prof. Starke (Group Automata und Information Systems) at Humboldt-University Berlin |
| May 1996 - Dec. 1996 | Scholarship founded by German Academic Exchange Service (DAAD) , later Researcher at Digital Systems Laboratory of Helsinki University of Technology |
| Jan. 1997 - Sep. 1997 | Scholarship within the Postgraduate program Specification of discrete processes and systems of processes by operational models and logics at University of Technology in Dresden |
| since Oct. 1997 | Assistent to Prof. Starke (Group Automata and Information systems) at Humboldt-University Berlin |
| Oct. 2000 - Oct. 2001 | Visiting research scholar to Ed Clarke at Carnegie Mellon University School of Computer Science in Pittsburgh PA |
(Tech. Report) Informatik-Bericht Nr. 33
Diploma Thesis
Dissertation thesis
Workshop CSP Nieborow 1993
(Tech. Report) Informatik-Bericht Nr. 31
Workshop Algorithmen und Werkzeuge für Petrinetze Berlin 1994
Workshop CSP Berlin 1994
Workshop STRICT Berlin 1995
Workshop STRICT B
erlin 1995
Workshop A
lgorithmen und Werkzeuge für Petri-Netze Oldenburg 1995 (abstract in german)
Workshop CS
P Warschau 1995 (full version in english)
Technical report A39, Helsinki University of Technology
Workshop CSP Berlin 1996
Workshop Algorithmen und Werkzeuge für Petrinetze Karlsruhe 1996
Tech. Rep. MATH-AL-8-1997 of Dresden University of Technology, 1997
GI Petri Net Newsletter 54 (1998) pp. 22-30
(Tech. Report) Informatik--Bericht 122
(Tech. Report) Informatik--Bericht 123