Harald Fecher, Martin Leucker, Verena WolfDon't know in Probabilistic Systems200516
Oliver Arafat, Andreas Bauer, Martin Leucker, Christian SchallhartRuntime verification revisited200519
Moritz G. MaassComputing Suffix Links for Suffix Trees and Arrays20059
A. KnollStand und Moeglichkeiten zur Anwendung von Robotern in der Film- und Fernsehstudiotechnik200512
Martin Deubler;Johannes Gruenbauer;Andreas Holzbach;Gerhard Popp;Guido WimmelKontextadaptivitaet in dienstbasierten Softwaresystemen200536
Alexandru BerleaEvent-driven Evaluation of Grammar Queries200534
Johannes Fischer;Volker Heun;Stefan KramerFast Frequent String Mining Using Suffix Arrays200514
Manfred Broy;Andreas Rausch;Marc Sihling;Marco KuhrmannIT-Projekte erfolgreich mit dem neuen V-Modell XT Tagungsband zur Auftaktveranstaltung am 4. Februar 20052005118
Stefan Kornexl;Vern Paxson;Holger Dreger;Anja Feldmann;Robin SommerBuilding a Time Machine for Efficient Recording and Retrieval of High-Volume Network Traffic200518
Michael Riss;Murray Coles;Horst Kessler;Alois KnollExperimental Prototype for automated Beta Sheet Pairing based on NOESY spectra200511