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.

5774 Publications


1998 | Conference Paper | LibreCat-ID: 7847
Heckel, Reiko. “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), 1382:138–53. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/BFb0053578.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 7848
Padberg, Julia, Lars Jansen, Reiko Heckel, and Hartmut 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), 17–28. Society for Design and Process Science, 1998.
LibreCat
 

1998 | Report | LibreCat-ID: 8202
Engels, Gregor, and Silvia Kolmschlag. Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8280
Kolmschlag, Silvia, and Gregor 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), 13–24. GI, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8281
Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “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, Reiko, Berthold Hoffmann, Peter Knirsch, and Sabine Kuske. “Simple Modules for Grace.” In Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1764:215–24. LNCS. Berlin/Heidelberg: Springer, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8283
Ehrig, Hartmut, Reiko Heckel, Julia Padberg, and Grzegorz 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
Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, Fernando Orejas, Julia Padberg, and Grzegorz 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), 1764:85–102. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/b75045.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8285
Ehrig, Hartmut, Gregor Engels, Reiko Heckel, and Gabriele 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), 122–31. University of Paderborn, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8286
Gadducci, Fabio, Reiko Heckel, and Manuel 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). Paderborn, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8287
Gadducci, Fabio, Reiko Heckel, and Mercé 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
Sauer, Stefan, and Olaf 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), 420–26. Washington, DC, USA: IEEE Computer Society, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8289
Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando 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
Heckel, Reiko. 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, Holger. “Bridging the Gap between Distributed Shared Memory and Message Passing.” Concurrency - Practice and Experience, no. 11–13 (1998): 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, Arash, Mehmet Karaul, Holger Karl, and Zvi M. Kedem. “An Infrastructure for Network Computing with Java Applets.” Concurrency -- Practice and Experience, no. 11–13 (1998): 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, Holger, Matthias Werner, and Lars Küttner. “Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults.” IEEE Proceedings -- Software, no. 6 (1998): 219--227. https://doi.org/10.1049/ip-sen:19982443.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 879
Karl, Holger, Matthias Werner, and Lars 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, 10468--10475, 1998. https://doi.org/10.1109/EURMIC.1998.711841.
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 16503
Meyer auf der Heide, Friedhelm, Klaus Schröder, and Frank Schwarze. “Routing on Networks of Optical Crossbars.” Theoretical Computer Science 196 (1998): 181–200. https://doi.org/10.1016/s0304-3975(97)86791-6.
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 16504
Bäumker, Armin, Wolfgang Dittrich, and Friedhelm Meyer auf der Heide. “Truly Efficient Parallel Algorithms: 1-Optimal Multisearch for an Extension of the BSP Model.” Theoretical Computer Science, 1998, 175–203. https://doi.org/10.1016/s0304-3975(98)00020-6.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed