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.
920 Publications
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.” Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), GI, 1998, pp. 13–24.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
Corradini, Andrea, et al. “Structured Transition Systems as Lax Coalgebras.” Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), vol. 11, Elsevier, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8282
Heckel, Reiko, et al. “Simple Modules for Grace.” Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), vol. 1764, Springer, 1998, pp. 215–24.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8283
Ehrig, Hartmut, et al. “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information.” 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, et al. “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.” Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), vol. 1764, Springer, 1998, pp. 85–102, doi:http://dx.doi.org/10.1007/b75045.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 8285
Ehrig, Hartmut, et al. “Classification and Comparison of Modularity Concepts for Graph Transformation Systems.” Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), no. tr-ri-98-201, University of Paderborn, 1998, pp. 122–31.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
Gadducci, Fabio, et al. “Model Checking Graph-Interpreted Temporal Formulas.” 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
Gadducci, Fabio, et al. “DPO Derivations via Disconnected Rules.” 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.” Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), IEEE Computer Society, 1998, pp. 420–26.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8289
Ehrig, Hartmut, et al. “Construction and Characterisation of Double-Pullback Graph Transitions.” 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
1997 | Conference (Editor) | LibreCat-ID: 7795
Engels, Gregor, editor. Themenheft: Softwaretechnik. Vol. 12, no. 4, Springer, 1997, doi:http://dx.doi.org/10.1007/s004500050085.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7839
Engels, Gregor, et al. “A View-Oriented Approach to System Modelling Using Graph Transformations.” Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), edited by M. Jazayeri and H. Schauer, vol. 1301, Springer, 1997, pp. 327–43, doi:http://dx.doi.org/10.1007/3-540-63531-9.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
Depke, Ralph, et al. “Thermooptische Effekte in Nd:YAG-Slablasern.” Verhandlungen Der Deutschen Physikalischen Gesellschaft, vol. 32, no. 3, Physik-Verlag, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7841
Heckel, Reiko, et al. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, 1997, pp. 219–28, doi:http://dx.doi.org/10.1007/BFb0029965.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
Knoke, Stefan, et al. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.” Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), vol. 32, no. 3, Physik-Verlag, 1997.
LibreCat
1997 | Report | LibreCat-ID: 8201
Heckel, Reiko, et al. Loose Semantics and Constraints for Graph Transformation Systems. 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
Gadducci, Fabio, and Reiko Heckel. “A 2-Categorical Presentation of Distributed Graph Transformation.” Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
Gadducci, Fabio, et al. “Combining Graph Transformations with Temporal Logic.” Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat