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.
5714 Publications
1998 | Report | LibreCat-ID: 19735
O. Bonorden, I. Rieping, I. von Otte, and B. Juurlink, The Paderborn University BSP (PUB) Library - Design, Implementation and Performance. 1998.
LibreCat
| Files available
1998 | Conference Paper | LibreCat-ID: 3255
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra Semantics for {MSC} Including Conditions,” in Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998, 1998, pp. 185--196.
LibreCat
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
1998 | Report | LibreCat-ID: 8202
G. Engels and S. Kolmschlag, Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
S. Kolmschlag and G. Engels, “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), 1998, pp. 13–24.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
A. Corradini, M. Große-Rhode, and R. Heckel, “Structured Transition Systems as Lax Coalgebras,” in Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), 1998, vol. 11.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8282
R. Heckel, B. Hoffmann, P. Knirsch, and S. Kuske, “Simple Modules for Grace,” in Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998, vol. 1764, pp. 215–224.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8283
H. Ehrig, R. Heckel, J. Padberg, and G. Rozenberg, “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), 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8284
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, and G. Rozenberg, “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), 1998, vol. 1764, pp. 85–102.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 8285
H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “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), 1998, no. tr-ri-98-201, pp. 122–131.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal Formulas,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8287
F. Gadducci, R. Heckel, and M. Llabrés, “DPO Derivations via Disconnected Rules,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8288
S. Sauer and O. Zukunft, “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), 1998, pp. 420–426.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8289
H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, “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), 1998.
LibreCat
1998 | Dissertation | LibreCat-ID: 7587
R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 879
H. Karl, M. Werner, and L. Kuttner, “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, 1998, pp. 10468--10475.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 16891
S. Vollbracht, G. Domik, D. Backe-Neuwald, and H.-D. Rinkens, “Teaching Spatial Orientation using Virtual Worlds,” in Proceedings of ED-MEDIA, Freiburg, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 16892
C. Lenz, J. D. Stüwe, and G. Domik, “Integration of GIS and VRML,” presented at the Computer Graphics Internation 98, Hannover, 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 10607
M. Platzner, “Reconfigurable Computer Architectures,” e&i Elektrotechnik und Informationstechnik, vol. 115, pp. 143–148, 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 10608
M. Platzner and B. Rinner, “Design and Implementation of a Parallel Constraint Satisfaction Algorithm,” International Journal of Computers & Their Applications, vol. 5, pp. 106–116, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15288
E. Hüllermeier and C. Giersch, “Fuzzy sets and modelling of uncertainty in biological systems,” in In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, 1998, pp. 1857–1864.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15289
E. Hüllermeier, “A Bayesian approach to case-based probalistic reasoning,” in In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, 1998, pp. 1296–1303.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15303
E. Hüllermeier, “Numerical solutions for fuzzy initial value problems,” in in Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15810
E. Hüllermeier, “Case-based probality and case-based decision making,” in in Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany, 1998, pp. 13–22.
LibreCat
1998 | Journal Article | LibreCat-ID: 15070
S. Volbracht, G. Domik, D. Backe-Neuwald, and H.-D. Rinkens, “The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation.,” Journal of Universal Computer Science, vol. 4, no. 4, pp. 461–465, 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 15159
S. Volbracht, G. Domik, K. Shahrbabaki, and G. Fels, “An Example of Task Oriented Empirical Evaluations of 3D-Display Modes,” Journal of Universal Computer Science, vol. 4, no. 5, pp. 534–546, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15271
M. Koenig, C. Lenz, and G. Domik, “Visualization of meteorological data using an interactive flight,” in Proceedings. Computer Graphics International (Cat. No. 98EX149), 1998, pp. 402–403.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15287
E. Hüllermeier, “Fuzzy dynamics of compartmental systems,” in in Proceedings EUFIT-98 6th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1998.
LibreCat
1998 | Misc | LibreCat-ID: 13464
M. Platzner, B. Rinner, and R. Weiss, A Distributed Computer Architecture for Fast Qualitative Simulation . Texas Instruments, The Elite Yearbook 1997 - Digital Signal Processing Solutions from Europe’s leading Universities, 1998, pp. 106–107.
LibreCat
1998 | Conference Paper | LibreCat-ID: 1012
H. Karl and M. Werner, “An optimal checkpointing interval for real-time systems,” in Proc. Intl. Conf. Parallel and Distributed Processing Techniques and Applications, 1998, pp. 604--612.
LibreCat
1998 | Journal Article | LibreCat-ID: 34578
W. Müller and J. Sturm, “Visuelle Spezifikations- und Modellierungstechniken,” it - Information Technology, pp. 32–36, 1998, doi: 10.1524/itit.1998.40.3.32.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
M. Dücker, W. Müller, and J. Rubart, “VIPspace - A Visually Programmable Shared Workspace,” presented at the 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada , 1998, doi: 10.1109/VL.1998.706150.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
C. Geiger, G. Lehrenfeld, and W. Müller, “Authoring Communicating Agents in Virtual Environments,” 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax, Canada, 1998, doi: 10.1109/VL.1998.706167.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39489
C. Geiger and W. Müller, “Visuelle Spezifikation, Modellierung und Animation im Systementwurf.” Magdeburg, Germany, 1998.
LibreCat
1997 | Dissertation | LibreCat-ID: 19631
A. Bäumker, Communication Efficient Parallel Searching, vol. 28. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19636
W. Dittrich, Communication and I/O Efficient Parallel Data Structures, vol. 27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19637
W.-B. Strothmann, Bounded Degree Spanning Trees, vol. 35. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 19869
A. Czumaj and W.-B. Strothmann, “Bounded degree spanning trees,” 1997, doi: 10.1007/3-540-63397-9_9.
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 3029
J. Blömer, “Denesting by bounded degree radicals,” in Algorithms — ESA ’97, Berlin, Heidelberg: Springer Berlin Heidelberg, 1997, pp. 53–63.
LibreCat
| Files available
| DOI
1997 | Report | LibreCat-ID: 18955
W.-B. Strothmann and T. Lukovszki, Decremental Biconnectivity on Planar Graphs. Paderborn, 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 18575
C. Sohler and M. Denny, “Encoding a Triangulation as a Permutation of its Point Set,” in Proceedings of the 9th Canadian Conference on Computational Geometry, 1997, pp. 39–43.
LibreCat
1997 | Conference Paper | LibreCat-ID: 2175 |
S. Bock, F. Meyer auf der Heide, and C. Scheideler, “Optimal Wormhole Routing in the (n, d)-Torus,” in IPPS, 1997, pp. 326--332.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 2179 |
M. Flammini and C. Scheideler, “Simple, Efficient Routing Schemes for All-Optical Networks,” in SPAA, 1997, pp. 170--179.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 7839
G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A View-Oriented Approach to System Modelling Using Graph Transformations,” in Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), 1997, vol. 1301, pp. 327–343.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, and H. Welling, “Thermooptische Effekte in Nd:YAG-Slablasern,” in Verhandlungen der Deutschen Physikalischen Gesellschaft, 1997, vol. 32, no. 3.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7841
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Integrating the Specification Techniques of Graph Transformation and Temporal Logic,” in Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), 1997, pp. 219–228.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
S. Knoke, R. Depke, W. Schöne, O. S. Brozek, A. Tünnermann, and H. Welling, “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung,” in Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), 1997, vol. 32, no. 3.
LibreCat
1997 | Report | LibreCat-ID: 8201
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems. 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
F. Gadducci and R. Heckel, “A 2-Categorical Presentation of Distributed Graph Transformation,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
F. Gadducci, R. Heckel, and M. Koch, “Combining Graph Transformations with Temporal Logic,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8278
F. Gadducci and R. Heckel, “An Inductive View of Graph Transformation,” in Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), 1997, vol. 1376, pp. 223–237.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8279
R. Heckel, “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 7403
G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A Combined Reference Model- and View-Based Approach to System Specification,” Int. Journal of Software and Knowledge Engeneering, vol. 7, no. 4, pp. 457–477, 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
H. Ehrig et al., “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach,” in Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, Singapore: World Scientific, 1997, pp. 247–312.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
G. Engels, J. Rekers, and M. Andries, “How to represent a visual specification,” in Visual Language Theory, Berlin/Heidelberg: Springer, 1997, pp. 241–255.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe, “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach,” in Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, Singapore: World Scientific, 1997, pp. 163–245.
LibreCat
1997 | Journal Article | LibreCat-ID: 16567
F. Meyer auf der Heide, M. Storch, and R. Wanka, “Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks,” Theory of Computing Systems, pp. 627–644, 1997, doi: 10.1007/s002240000071.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16568
M. Fischer, F. Meyer auf der Heide, and W.-B. Strothmann, “Dynamic data structures for realtime management of large geometric scenes,” in 5th Annual European Symposium on Algorithms (ESA ’97), 1997, vol. 1284, pp. 1157–170, doi: 10.1007/3-540-63397-9_13.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16689
B. M. Maggs, F. Meyer auf der Heide, B. Vöcking, and M. Westermann, “Exploiting locality for data management in systems of limited bandwidth,” 1997, doi: 10.1109/sfcs.1997.646117.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16893
S. Thies, B. Gutkauf, and G. Domik, “Demo eines Intelligenten Diagramm Assistenten (IDIAS),” in Proceedings 5. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen, Saarbrücken, 1997.
LibreCat