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.
5712 Publications
1998 | Conference Paper | LibreCat-ID: 3256
Gehrke T, Huhn M, Rensink A, Wehrheim H. An Algebraic Semantics for Message Sequence Chart Documents. In: Budkowski S, R. Cavalli A, Najm E, eds. 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. {IFIP} Conference Proceedings. ; 1998:3--18.
LibreCat
1998 | Conference Paper | LibreCat-ID: 3257
Huhn M, Niebert P, Wehrheim H. Partial Order Reductions for Bisimulation Checking. In: Arvind V, Ramanujam R, eds. Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Lecture Notes in Computer Science. ; 1998:271--282. doi:10.1007/978-3-540-49382-2_26
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 3028
Blömer J, Trachsler B. 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
Fischer M, Lukovszki T, Ziegler M. Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time. In: Algorithms — ESA’ 98. Berlin, Heidelberg; 1998. doi:10.1007/3-540-68530-8_14
LibreCat
| Files available
| DOI
1998 | Conference Paper | LibreCat-ID: 17863
Fischer M, Lukovszki T, Ziegler M. A Network Based Approach for Realtime Walkthrough of Massive Models. In: Algorithm Engineering, 2nd International Workshop, {WAE ’98}. Saarbrücken: Max-Planck-Institut für Informatik; 1998:133--142.
LibreCat
| Files available
1998 | Report | LibreCat-ID: 18145
Ziegler M, Fischer M, Lukovszki T. Multimediale Entdeckungsreisen Unserer Welt Mit Dem Internet.; 1998.
LibreCat
1998 | Dissertation | LibreCat-ID: 18445
Oesterdiekhoff B. On Periodic Comparator Networks. Universität Paderborn; 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 2168
Scheideler C, Vöcking B. Universal Continuous Routing Strategies. Theory Comput Syst. 1998;31(4):425--449. doi:10.1007/s002240000096
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 2169 | 
Adler M, Scheideler C. Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract). In: SPAA. ; 1998:259--268.
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 2170 |
Feige U, Scheideler C. Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract). In: STOC. ; 1998:624--633.
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 21784
Domik G, Vollbracht S. Dreidimensionale Welten auf flachen Bildschirmen. Zeitschrift Forschungsforum Paderborn. 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 21785
D. Stuwe J, Lenz C, Domik G. Visualization of geographic data using VRML-an Internet client, for a geographic information system (GIS). In: Proceedings. Computer Graphics International (Cat. No.98EX149). Vol 1. ; 1998:111-112. doi:10.1109/CGI.1998.694258
LibreCat
| DOI
1998 | Book | LibreCat-ID: 2185
Scheideler C. Universal Routing Strategies for Interconnection Networks. Vol 1390.; 1998. doi:10.1007/BFb0052928
LibreCat
| DOI
1998 | Conference (Editor) | LibreCat-ID: 7793
Engels G, Ehrig H, Orejas F, Wirsing M, eds. Semi-Formal and Formal Specification Techniques. Vol 218. Schloss Dagstuhl, Leibniz Center for Informatics; 1998.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
Engels G, Ehrig H, Kreowski H-J, Rozenberg G, 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
Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany). Vol 18. GI; 1998:12-19.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7844
Didrich K, Wagner A. Integration of Single Pushout Transformation and Functional Programming. In: Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany). Vol 4. Society for Design and Process Science; 1998:65-73.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7845
Cherchago A. 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
Heckel R. 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). Vol 1382. LNCS. Berlin/Heidelberg: Springer; 1998:138-153. doi:http://dx.doi.org/10.1007/BFb0053578
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 7848
Padberg J, Jansen L, Heckel R, Ehrig H. 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). Society for Design and Process Science; 1998:17-28.
LibreCat