C. Schröter, T. Engel, and C. Meinel. Internetbasiertes Arztbriefsystem. Technical Report Preprint 98-07, Institut für Telematik, Trier, Juli 1998.	Info
J. Esparza. Decidability and complexity of Petri net problems – an introduction. In G. Rozenberg and W. Reisig, editors, Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, number 1491 in Lecture Notes in Computer Science, pages 374–428, 1998.	GZipped PostScript (159 kB) PDF (361 kB) Info
J. Esparza. Reachability in live and safe free-choice Petri nets is -complete. Theoretical Computer Science, 198(1–2):211–224, 1998.	GZipped PostScript (66 kB) PDF (222 kB) Info
Marco Benini, Sara Kalvala, and Dirk Nowotka. Program abstraction in a higher-order logic framework. In J. Grundy and M. Newey, editors, TPHOLs 1998 (Canberra), volume 1479 of Lecture Notes in Comput. Sci., pages 33–48, Berlin, 1998. Springer-Verlag.	GZipped PostScript (79 kB) PDF (164 kB) Info
S. Hludov, C. Schröter, and C. Meinel. Adaptive Compression of Image Data. In S. Fischer, R. Steinmetz, H. J. Stuettgen, H. R. van As, and R. Vercelli, editors, Broadband European Networks and Multimedia Services (SYBEN'98), volume 3408 of SPIE Proceedings, pages 520–527, Zürich, 1998.	GZipped PostScript (432 kB) Info
Stefan Schwoon. Übersetzung von SDL-Spezifikationen in Petri-Netze. Master's thesis, Universität Hildesheim, 1998. In German.	GZipped PostScript (547 kB) Info See theoretica.informatik.uni-oldenburg.de ...
S. Hludov, C. Schröter, and C. Meinel. Adaptive Komprimierung von DICOM-Bildern. Technical Report Preprint 98-03, Institut für Telematik, Trier, März 1998.	Info