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.
5711 Publications
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
1998 | Report | LibreCat-ID: 8202
Engels G, Kolmschlag S. Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken. University of Paderborn, C-LAB; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
Kolmschlag S, Engels G. 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). GI; 1998:13-24.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
Corradini A, Große-Rhode M, Heckel R. Structured Transition Systems as Lax Coalgebras. In: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal). Vol 11. Electronic Notes in Theoretical Computer Science. Elsevier; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8282
Heckel R, Hoffmann B, Knirsch P, Kuske S. 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. LNCS. Berlin/Heidelberg: Springer; 1998:215-224.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8283
Ehrig H, Heckel R, Padberg J, Rozenberg G. 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
Ehrig H, Heckel R, Llabrés M, Orejas F, Padberg J, Rozenberg G. 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. LNCS. Berlin/Heidelberg: Springer; 1998:85-102. doi:http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 8285
Ehrig H, Engels G, Heckel R, Taentzer G. 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). University of Paderborn; 1998:122-131.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
Gadducci F, Heckel R, Koch M. 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; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8287
Gadducci F, Heckel R, Llabrés M. 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
Sauer S, Zukunft O. 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). Washington, DC, USA: IEEE Computer Society; 1998:420-426.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8289
Ehrig H, Heckel R, Llabrés M, Orejas F. 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
Heckel R. Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems.; 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 876
Karl H. Bridging the gap between distributed shared memory and message passing. Concurrency - Practice and Experience. 1998;(11-13):887--900. doi: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. An infrastructure for network computing with Java applets. Concurrency -- Practice and Experience. 1998;(11-13):1029--1041. doi: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. Experimental investigation of message latencies in the Totem protocol in the Presence of faults. IEEE Proceedings -- Software. 1998;(6):219--227. doi:10.1049/ip-sen:19982443
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 879
Karl H, Werner M, Kuttner L. 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:10468--10475. doi:10.1109/EURMIC.1998.711841
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 16503
Meyer auf der Heide F, Schröder K, Schwarze F. Routing on networks of optical crossbars. Theoretical Computer Science. 1998;196:181-200. doi: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. Truly efficient parallel algorithms: 1-optimal multisearch for an extension of the BSP model. Theoretical Computer Science. 1998:175-203. doi:10.1016/s0304-3975(98)00020-6
LibreCat
| DOI
1998 | Book Chapter | LibreCat-ID: 16562
Meyer auf der Heide F, Martinez GT. Communication-efficient parallel multiway and approximate minimum cut computation. In: LATIN’98: Theoretical Informatics. Berlin, Heidelberg; 1998. doi:10.1007/bfb0054332
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 16563
Cole R, Maggs BM, Meyer auf der Heide F, et al. 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. ; 1998. doi:10.1145/276698.276790
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 16891
Vollbracht S, Domik G, Backe-Neuwald D, Rinkens H-D. Teaching Spatial Orientation using Virtual Worlds. In: Proceedings of ED-MEDIA. ; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 16892
Lenz C, Stüwe JD, Domik G. Integration of GIS and VRML. In: ; 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 10607
Platzner M. Reconfigurable Computer Architectures. e&i Elektrotechnik und Informationstechnik. 1998;115:143-148.
LibreCat
1998 | Journal Article | LibreCat-ID: 10608
Platzner M, Rinner B. Design and Implementation of a Parallel Constraint Satisfaction Algorithm. International Journal of Computers & Their Applications. 1998;5:106-116.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15288
Hüllermeier E, Giersch C. 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. Editions E.D.K.; 1998:1857-1864.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15289
Hüllermeier E. 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. Editions E.D.K.; 1998:1296-1303.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15303
Hüllermeier E. Numerical solutions for fuzzy initial value problems. In: Borne P, Ksouri M, El Kamel A, eds. 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
Hüllermeier E. Case-based probality and case-based decision making. In: Gierl L, Lenz M, eds. In Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany. ; 1998:13-22.
LibreCat
1998 | Journal Article | LibreCat-ID: 15070
Volbracht S, Domik G, Backe-Neuwald D, Rinkens H-D. The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation. Journal of Universal Computer Science. 1998;4(4):461-465.
LibreCat
1998 | Journal Article | LibreCat-ID: 15159
Volbracht S, Domik G, Shahrbabaki K, Fels G. An Example of Task Oriented Empirical Evaluations of 3D-Display Modes. Journal of Universal Computer Science. 1998;4(5):534-546.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15271
Koenig M, Lenz C, Domik G. Visualization of meteorological data using an interactive flight. In: Proceedings. Computer Graphics International (Cat. No. 98EX149). ; 1998:402-403.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15287
Hüllermeier E. Fuzzy dynamics of compartmental systems. In: Zimmermann HJ, ed. In Proceedings EUFIT-98 6th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1998.
LibreCat
1998 | Misc | LibreCat-ID: 13464
Platzner M, Rinner B, Weiss R. A Distributed Computer Architecture for Fast Qualitative Simulation . Texas Instruments, The Elite Yearbook 1997 - Digital Signal Processing Solutions from Europe’s leading Universities; 1998:106-107.
LibreCat
1998 | Conference Paper | LibreCat-ID: 1012
Karl H, Werner M. An optimal checkpointing interval for real-time systems. In: Proc. Intl. Conf. Parallel and Distributed Processing Techniques and Applications. ; 1998:604--612.
LibreCat
1998 | Conference Paper | LibreCat-ID: 13606
Platzner M, De Micheli G. Acceleration of satisfiability algorithms by reconfigurable hardware. In: Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL) . LNCS. Berlin, Heidelberg: Springer ; 1998:69-78. doi:10.1007/bfb0055234
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 34578
Müller W, Sturm J. Visuelle Spezifikations- und Modellierungstechniken. it - Information Technology. Published online 1998:32-36. doi:10.1524/itit.1998.40.3.32
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
Dücker M, Müller W, Rubart J. VIPspace - A Visually Programmable Shared Workspace. In: Proceedings. 1998 IEEE Symposium on Visual Languages . ; 1998. doi:10.1109/VL.1998.706150
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
Geiger C, Lehrenfeld G, Müller W. Authoring Communicating Agents in Virtual Environments. In: Proceedings of the Annual Conference for the Computer Human Interaction. ; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language. In: Proceedings of the IEEE Symposium on Visual Languages. ; 1998. doi:10.1109/VL.1998.706167
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39489
Geiger C, Müller W. Visuelle Spezifikation, Modellierung und Animation im Systementwurf. Published online 1998.
LibreCat
1997 | Dissertation | LibreCat-ID: 19631
Bäumker A. Communication Efficient Parallel Searching. Vol 28. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19636
Dittrich W. Communication and I/O Efficient Parallel Data Structures. Vol 27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19637
Strothmann W-B. Bounded Degree Spanning Trees. Vol 35. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 19869
Czumaj A, Strothmann W-B. Bounded degree spanning trees. In: Proceedings of the Fifth Annual European Symposium on Algorithms (ESA’97). ; 1997. doi:10.1007/3-540-63397-9_9
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 3258
Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\’{\i}}vara I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 3259
Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\’{\i}}vara I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 3029
Blömer J. Denesting by bounded degree radicals. In: Algorithms — ESA ’97. Berlin, Heidelberg: Springer Berlin Heidelberg; 1997:53-63. doi:10.1007/3-540-63397-9_5
LibreCat
| Files available
| DOI
1997 | Journal Article | LibreCat-ID: 3033
Blömer J, Karp R, Welzl E. The rank of sparse random matrices over finite fields. Random Structures \& Algorithms. 1997;(4):407-419. doi:10.1002/(SICI)1098-2418(199707)10:4<407::AID-RSA1>3.0.CO;2-Y
LibreCat
| DOI
1997 | Report | LibreCat-ID: 18955
Strothmann W-B, Lukovszki T. Decremental Biconnectivity on Planar Graphs. Paderborn; 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 18575
Sohler C, Denny M. Encoding a Triangulation as a Permutation of its Point Set. In: Proceedings of the 9th Canadian Conference on Computational Geometry. ; 1997:39-43.
LibreCat
1997 | Conference Paper | LibreCat-ID: 2175 |
Bock S, Meyer auf der Heide F, Scheideler C. Optimal Wormhole Routing in the (n, d)-Torus. In: IPPS. IEEE Computer Society; 1997:326--332.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 2179 |
Flammini M, Scheideler C. Simple, Efficient Routing Schemes for All-Optical Networks. In: SPAA. ; 1997:170--179.
LibreCat
| Files available
1997 | Conference (Editor) | LibreCat-ID: 7795
Engels G, ed. Themenheft: Softwaretechnik. Vol 12. Berlin/Heidelberg: Springer; 1997. doi:http://dx.doi.org/10.1007/s004500050085
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7839
Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland). Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:http://dx.doi.org/10.1007/3-540-63531-9
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
Depke R, Knoke S, Schöne W, Tünnermann A, Welling H. Thermooptische Effekte in Nd:YAG-Slablasern. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft. Vol 32. Weinheim, Germany: Physik-Verlag; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7841
Heckel R, Ehrig H, Wolter U, Corradini A. 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). LNCS. London, UK: Springer; 1997:219-228. doi:http://dx.doi.org/10.1007/BFb0029965
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
Knoke S, Depke R, Schöne W, Brozek OS, Tünnermann A, Welling H. Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany). Vol 32. Physik-Verlag; 1997.
LibreCat
1997 | Report | LibreCat-ID: 8201
Heckel R, Ehrig H, Wolter U, Corradini A. Loose Semantics and Constraints for Graph Transformation Systems.; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
Gadducci F, Heckel R. 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). Bordeaux; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
Gadducci F, Heckel R, Koch M. Combining Graph Transformations with Temporal Logic. In: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8278
Gadducci F, Heckel R. An Inductive View of Graph Transformation. In: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy). Vol 1376. LNCS. Berlin/Heidelberg: Springer; 1997:223-237.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8279
Heckel R. 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: 7402
Engels G, Jürgen Schneider H. Guest Editors’ Introduction. International Journal on Software Engineering and Knowledge Engineering (IJSEKE). 1997;7(4):397-400. doi:http://dx.doi.org/10.1142/S0218194097000230
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 7403
Engels G, Heckel R, Taentzer G, Ehrig H. A Combined Reference Model- and View-Based Approach to System Specification. Int Journal of Software and Knowledge Engeneering. 1997;7(4):457-477.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
Ehrig H, Heckel R, Korff M, 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:247-312.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
Engels G, Rekers J, Andries M. How to represent a visual specification. In: Visual Language Theory. Berlin/Heidelberg: Springer; 1997:241-255.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Löwe M. 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:163-245.
LibreCat
1997 | Journal Article | LibreCat-ID: 16564
Grigoriev D, Karpinski M, Meyer auf der Heide F, Smolensky R. A lower bound for randomized algebraic decision trees. computational complexity. 1997:357-375. doi:10.1007/bf01270387
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 16565
Czumaj A, Meyer auf der Heide F, Stemann V. Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures. Information and Computation. 1997:103-120. doi:10.1006/inco.1997.2642
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 16567
Meyer auf der Heide F, Storch M, Wanka R. Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks. Theory of Computing Systems. Published online 1997:627-644. doi:10.1007/s002240000071
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16568
Fischer M, Meyer auf der Heide F, Strothmann W-B. Dynamic data structures for realtime management of large geometric scenes. In: 5th Annual European Symposium on Algorithms (ESA ’97). Vol 1284. Lecture Notes in Computer Science. Springer; 1997:1157-1170. doi:10.1007/3-540-63397-9_13
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 16569
Meyer auf der Heide F, Vöcking B. Static and dynamic data management in networks. In: Euro-Par’97 Parallel Processing. Berlin, Heidelberg; 1997. doi:10.1007/bfb0002716
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16604
Berenbrink P, Meyer auf der Heide F, Schröder K. Allocating weighted jobs in parallel. In: Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’97. ; 1997. doi:10.1145/258492.258522
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 16605
Bäumker A, Meyer auf der Heide F. Communication efficient parallel searching. In: Solving Irregularly Structured Problems in Parallel. Berlin, Heidelberg; 1997. doi:10.1007/3-540-63138-0_21
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 16687
Karaivazoglou E, Meyer auf der Heide F. Routing on asyncronous processor networks. In: Euro-Par’97 Parallel Processing. Berlin, Heidelberg; 1997. doi:10.1007/bfb0002741
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16689
Maggs BM, Meyer auf der Heide F, Vöcking B, Westermann M. Exploiting locality for data management in systems of limited bandwidth. In: Proceedings 38th Annual Symposium on Foundations of Computer Science. ; 1997. doi:10.1109/sfcs.1997.646117
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 16693
Meyer auf der Heide F, Decker T. Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications.” In: Informatik ’97 Informatik Als Innovationsmotor. Berlin, Heidelberg; 1997. doi:10.1007/978-3-642-60831-5_22
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 16893
Thies S, Gutkauf B, Domik G. Demo eines Intelligenten Diagramm Assistenten (IDIAS). In: Proceedings 5. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen. ; 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 16894
Gutkauf B, Thies S, Domik G. User Adaptive Presentation of Information . In: Proceedings 2nd International Symposium on Global Engineering Networking. ; 1997:115-127.
LibreCat
1997 | Journal Article | LibreCat-ID: 10609
Platzner M, Rinner B, Weiss R. A Computer Architecture to Support Qualitative Simulation in Industrial Applications. e & i Elektrotechnik und Informationstechnik. 1997;114:13-18.
LibreCat
1997 | Journal Article | LibreCat-ID: 10724
Platzner M, Rinner B, Weiss R. Parallel qualitative simulation. Simulation Practice and Theory. 1997;5(7-8):623-638. doi:10.1016/s0928-4869(97)00008-6
LibreCat
| DOI