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.
5720 Publications
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Flake, S., Geiger, C., Müller, W., Paelke, V., Reimann, C., Rosenbach, W., Zimmermann, D., & Zelder, S. (1999). Wissenbasierte Konzepte und visuelle interaktive Systeme. 23rd German Annual Symposium on Artificial Intelligence, Bonn.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, A., & Müller, W. (1999). Generation of Interactive Visual Environments for Direct Manipulation of Database Content. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., & Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . https://doi.org/10.1109/NAFIPS.1999.781697
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
Müller, W., & Ullmann, F. (1999). Scalable System for 3D Audio Raytracing. Proceedings IEEE International Conference on Multimedia Computing and Systems. https://doi.org/10.1109/MMCS.1999.778592
LibreCat
| DOI
1998 | Dissertation | LibreCat-ID: 19639
Vöcking, B. (1998). Static and Dynamic Data Management in Networks (Vol. 46). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
1998 | Report | LibreCat-ID: 19735
Bonorden, O., Rieping, I., von Otte, I., & Juurlink, B. (1998). The Paderborn University BSP (PUB) Library - Design, Implementation and Performance.
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 3255
Gehrke, T., Huhn, M., Niebert, P., Rensink, A., & Wehrheim, H. (1998). A Process Algebra Semantics for {MSC} Including Conditions. In H. K{\"{o}}nig & P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998 (pp. 185--196).
LibreCat
1998 | Conference Paper | LibreCat-ID: 3256
Gehrke, T., Huhn, M., Rensink, A., & Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, & E. Najm (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 (pp. 3--18).
LibreCat
1998 | Conference Paper | LibreCat-ID: 3257
Huhn, M., Niebert, P., & Wehrheim, H. (1998). Partial Order Reductions for Bisimulation Checking. In V. Arvind & R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (pp. 271--282). https://doi.org/10.1007/978-3-540-49382-2_26
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 3028
Blömer, J., & Trachsler, B. (1998). A lower bound for a class of graph based loss resilient codes. Technical Report/Departement of Computer Science, ETH Zürich.
LibreCat
| Files available
1998 | Book Chapter | LibreCat-ID: 17412
Fischer, M., Lukovszki, T., & Ziegler, M. (1998). Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time. In Algorithms — ESA’ 98. Berlin, Heidelberg. https://doi.org/10.1007/3-540-68530-8_14
LibreCat
| Files available
| DOI
1998 | Conference Paper | LibreCat-ID: 17863
Fischer, M., Lukovszki, T., & Ziegler, M. (1998). A Network Based Approach for Realtime Walkthrough of Massive Models. In Algorithm Engineering, 2nd International Workshop, {WAE ’98} (pp. 133--142). Saarbrücken: Max-Planck-Institut für Informatik.
LibreCat
| Files available
1998 | Report | LibreCat-ID: 18145
Ziegler, M., Fischer, M., & Lukovszki, T. (1998). Multimediale Entdeckungsreisen unserer Welt mit dem Internet.
LibreCat
1998 | Dissertation | LibreCat-ID: 18445
Oesterdiekhoff, B. (1998). On Periodic Comparator Networks. Universität Paderborn.
LibreCat
1998 | Journal Article | LibreCat-ID: 2168
Scheideler, C., & Vöcking, B. (1998). Universal Continuous Routing Strategies. Theory Comput. Syst., 31(4), 425--449. https://doi.org/10.1007/s002240000096
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 2169 | 
Adler, M., & Scheideler, C. (1998). Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract). In SPAA (pp. 259--268).
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 2170 |
Feige, U., & Scheideler, C. (1998). Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract). In STOC (pp. 624--633).
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 21784
Domik, G., & Vollbracht, S. (1998). Dreidimensionale Welten auf flachen Bildschirmen. Zeitschrift Forschungsforum Paderborn.
LibreCat
1998 | Conference Paper | LibreCat-ID: 21785
D. Stuwe, J., Lenz, C., & Domik, G. (1998). 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, pp. 111–112). https://doi.org/10.1109/CGI.1998.694258
LibreCat
| DOI
1998 | Book | LibreCat-ID: 2185
Scheideler, C. (1998). Universal Routing Strategies for Interconnection Networks (Vol. 1390). https://doi.org/10.1007/BFb0052928
LibreCat
| DOI
1998 | Conference (Editor) | LibreCat-ID: 7793
Engels, G., Ehrig, H., Orejas, F., & Wirsing, M. (Eds.). (1998). Semi-Formal and Formal Specification Techniques (Vol. 218). Schloss Dagstuhl, Leibniz Center for Informatics.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
Engels, G., Ehrig, H., Kreowski, H.-J., & Rozenberg, G. (Eds.). (1998). 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers (Vol. 1764). Berlin/Heidelberg: Springer.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1998). Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany) (Vol. 18, pp. 12–19). GI.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7844
Didrich, K., & Wagner, A. (1998). 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, pp. 65–73). Society for Design and Process Science.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7845
Cherchago, A. (1998). 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).
LibreCat
1998 | Conference Paper | LibreCat-ID: 7847
Heckel, R. (1998). 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, pp. 138–153). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0053578
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 7848
Padberg, J., Jansen, L., Heckel, R., & Ehrig, H. (1998). 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) (pp. 17–28). Society for Design and Process Science.
LibreCat
1998 | Report | LibreCat-ID: 8202
Engels, G., & Kolmschlag, S. (1998). Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken. University of Paderborn, C-LAB.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
Kolmschlag, S., & Engels, G. (1998). Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. In Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany) (pp. 13–24). GI.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
Corradini, A., Große-Rhode, M., & Heckel, R. (1998). Structured Transition Systems as Lax Coalgebras. In Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal) (Vol. 11). Elsevier.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8282
Heckel, R., Hoffmann, B., Knirsch, P., & Kuske, S. (1998). Simple Modules for Grace. In Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany) (Vol. 1764, pp. 215–224). Berlin/Heidelberg: Springer.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8283
Ehrig, H., Heckel, R., Padberg, J., & Rozenberg, G. (1998). Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany).
LibreCat
1998 | Conference Paper | LibreCat-ID: 8284
Ehrig, H., Heckel, R., Llabrés, M., Orejas, F., Padberg, J., & Rozenberg, G. (1998). Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. In Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany) (Vol. 1764, pp. 85–102). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 8285
Ehrig, H., Engels, G., Heckel, R., & Taentzer, G. (1998). Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany) (pp. 122–131). University of Paderborn.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
Gadducci, F., Heckel, R., & Koch, M. (1998). Model Checking Graph-Interpreted Temporal Formulas. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8287
Gadducci, F., Heckel, R., & Llabrés, M. (1998). DPO Derivations via Disconnected Rules. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany).
LibreCat
1998 | Conference Paper | LibreCat-ID: 8288
Sauer, S., & Zukunft, O. (1998). Event Processing in Mobile and Active Database Systems Using Broadcasts. In Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria) (pp. 420–426). Washington, DC, USA: IEEE Computer Society.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8289
Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1998). Construction and Characterisation of Double-Pullback Graph Transitions. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany).
LibreCat
1998 | Dissertation | LibreCat-ID: 7587
Heckel, R. (1998). Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems.
LibreCat
1998 | Journal Article | LibreCat-ID: 876
Karl, H. (1998). Bridging the gap between distributed shared memory and message passing. Concurrency - Practice and Experience, (11–13), 887--900. https://doi.org/10.1002/(SICI)1096-9128(199809/11)10:11/13<887::AID-CPE416>3.0.CO;2-0
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 877
Baratloo, A., Karaul, M., Karl, H., & M. Kedem, Z. (1998). An infrastructure for network computing with Java applets. Concurrency -- Practice and Experience, (11–13), 1029--1041. https://doi.org/10.1002/(SICI)1096-9128(199809/11)10:11/13<1029::AID-CPE412>3.0.CO;2-U
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 878
Karl, H., Werner, M., & Küttner, L. (1998). Experimental investigation of message latencies in the Totem protocol in the Presence of faults. IEEE Proceedings -- Software, (6), 219--227. https://doi.org/10.1049/ip-sen:19982443
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 879
Karl, H., Werner, M., & Kuttner, L. (1998). An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults. In 24th EUROMICRO ’98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden (pp. 10468--10475). https://doi.org/10.1109/EURMIC.1998.711841
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 16503
Meyer auf der Heide, F., Schröder, K., & Schwarze, F. (1998). Routing on networks of optical crossbars. Theoretical Computer Science, 196, 181–200. https://doi.org/10.1016/s0304-3975(97)86791-6
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 16504
Bäumker, A., Dittrich, W., & Meyer auf der Heide, F. (1998). Truly efficient parallel algorithms: 1-optimal multisearch for an extension of the BSP model. Theoretical Computer Science, 175–203. https://doi.org/10.1016/s0304-3975(98)00020-6
LibreCat
| DOI
1998 | Book Chapter | LibreCat-ID: 16562
Meyer auf der Heide, F., & Martinez, G. T. (1998). Communication-efficient parallel multiway and approximate minimum cut computation. In LATIN’98: Theoretical Informatics. Berlin, Heidelberg. https://doi.org/10.1007/bfb0054332
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 16563
Cole, R., Maggs, B. M., Meyer auf der Heide, F., Mitzenmacher, M., Richa, A. W., Schröder, K., … Vöcking, B. (1998). Randomized protocols for low-congestion circuit routing in multistage interconnection networks. In Proceedings of the thirtieth annual ACM symposium on Theory of computing - STOC ’98. https://doi.org/10.1145/276698.276790
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 16891
Vollbracht, S., Domik, G., Backe-Neuwald, D., & Rinkens, H.-D. (1998). Teaching Spatial Orientation using Virtual Worlds. In Proceedings of ED-MEDIA. Freiburg.
LibreCat
1998 | Conference Paper | LibreCat-ID: 16892
Lenz, C., Stüwe, J. D., & Domik, G. (1998). Integration of GIS and VRML. Presented at the Computer Graphics Internation 98, Hannover.
LibreCat