Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9908 Publications
1998 | Conference Paper | LibreCat-ID: 3256
T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for Message Sequence Chart Documents,” in Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.
LibreCat
1998 | Conference Paper | LibreCat-ID: 3257
M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation Checking,” in Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 3028
J. Blömer and B. Trachsler, “A lower bound for a class of graph based loss resilient codes,” Technical report/Departement of Computer Science, ETH Zürich, 1998.
LibreCat
| Files available
1998 | Book Chapter | LibreCat-ID: 17412
M. Fischer, T. Lukovszki, and M. Ziegler, “Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time,” in Algorithms — ESA’ 98, Berlin, Heidelberg, 1998.
LibreCat
| Files available
| DOI
1998 | Conference Paper | LibreCat-ID: 17863
M. Fischer, T. Lukovszki, and M. Ziegler, “A Network Based Approach for Realtime Walkthrough of Massive Models,” in Algorithm Engineering, 2nd International Workshop, {WAE ’98}, 1998, pp. 133--142.
LibreCat
| Files available
1998 | Report | LibreCat-ID: 18145
M. Ziegler, M. Fischer, and T. Lukovszki, Multimediale Entdeckungsreisen unserer Welt mit dem Internet. 1998.
LibreCat
1998 | Dissertation | LibreCat-ID: 18445
B. Oesterdiekhoff, On Periodic Comparator Networks. Universität Paderborn, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 2169 | 
M. Adler and C. Scheideler, “Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract),” in SPAA, 1998, pp. 259--268.
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 2170 |
U. Feige and C. Scheideler, “Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract),” in STOC, 1998, pp. 624--633.
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 21784
G. Domik and S. Vollbracht, “Dreidimensionale Welten auf flachen Bildschirmen,” Zeitschrift Forschungsforum Paderborn, 1998.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7793
G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., Semi-Formal and Formal Specification Techniques, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, vol. 1764. Berlin/Heidelberg: Springer, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen,” in Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), 1998, vol. 18, no. 3, pp. 12–19.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7844
K. Didrich and A. Wagner, “Integration of Single Pushout Transformation and Functional Programming,” in Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), 1998, vol. 4, pp. 65–73.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7845
A. Cherchago, “A generalized schema of a decision-making process of a SCENAR-therapeutist,” in Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7847
R. Heckel, “Compositional Verification of Reactive Systems Specified by Graph Transformation,” in Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), 1998, vol. 1382, pp. 138–153.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 7848
J. Padberg, L. Jansen, R. Heckel, and H. Ehrig, “Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets,” in Proceedings of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), 1998, pp. 17–28.
LibreCat