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.
5937 Publications
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