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.

306 Publications


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 | Journal Article | LibreCat-ID: 8109
S. Krauter and R. Stephan, “Establishing PV-Education in Rio de Janeiro,” International Journal of Electrical Engineering Education, vol. 35, no. 2, pp. 139–146, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8110
M. Salhi, C. Triebel, R. Lemoine, S. Krauter, S. Schroer, and R. G. Araújo:, “Hybrid Thermal Insulating PV Facade Elements,” in Proceedings of the 2nd World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594., 1998.
LibreCat
 

1998 | Book | LibreCat-ID: 8111
S. Krauter, Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes. Düsseldorf: VDI–Verlag, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8115
S. Krauter, S. Schroer, R. G. Araújo, and R. Stephan, “Thermisch aktive PV-Module zur Fassadenintegration,” in Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8116
S. Krauter et al., “Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme in Rio de Janeiro,” in Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872, 1998.
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 | Misc | LibreCat-ID: 6136
A. Friedrich, R. Kabst, and W. Weber, Job Rotation: Common Practice in Organisations?, vol. 23. 1998, pp. 8–9.
LibreCat
 

1998 | Conference Abstract | LibreCat-ID: 6398
W. Weber, M. Festing, and R. Kabst, “Conference Proceedings: Sixth Conference on International Human Resource Management, Paderborn 1998.,” 1998.
LibreCat
 

Filters and Search Terms

year=1998

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed