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
Compositional Verification of Reactive Systems Specified by Graph Transformation
R. Heckel, in: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1998, pp. 138–153.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 7848
Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets
J. Padberg, L. Jansen, R. Heckel, H. Ehrig, in: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design and Process Science, 1998, pp. 17–28.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 8109
Establishing PV-Education in Rio de Janeiro
S. Krauter, R. Stephan, International Journal of Electrical Engineering Education 35 (1998) 139–146.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8110
Hybrid Thermal Insulating PV Facade Elements
M. Salhi, C. Triebel, R. Lemoine, S. Krauter, S. Schroer, R.G. Araújo:, 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
Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes
S. Krauter, Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes, VDI–Verlag, Düsseldorf, 1998.
LibreCat
 

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

1998 | Conference Paper | LibreCat-ID: 8116
Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme in Rio de Janeiro
S. Krauter, R.G. Araujo, R. Stephan, R. Hanitsch, K. Onneken, S. Schroer, V. Quaschning, in: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872, 1998.
LibreCat
 

1998 | Report | LibreCat-ID: 8202
Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken
G. Engels, S. Kolmschlag, Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken, University of Paderborn, C-LAB, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8280
Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken
S. Kolmschlag, G. Engels, in: 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
Structured Transition Systems as Lax Coalgebras
A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8282
Simple Modules for Grace
R. Heckel, B. Hoffmann, P. Knirsch, S. Kuske, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 215–224.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8283
Graph Transformation and Other Rule-Based Formalisms with Incomplete Information
H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg, 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
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, G. Rozenberg, in: Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 85–102.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8285
Classification and Comparison of Modularity Concepts for Graph Transformation Systems
H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8286
Model Checking Graph-Interpreted Temporal Formulas
F. Gadducci, R. Heckel, M. Koch, 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
DPO Derivations via Disconnected Rules
F. Gadducci, R. Heckel, M. Llabrés, 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
Event Processing in Mobile and Active Database Systems Using Broadcasts
S. Sauer, O. Zukunft, in: Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), IEEE Computer Society, Washington, DC, USA, 1998, pp. 420–426.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8289
Construction and Characterisation of Double-Pullback Graph Transitions
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, 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
Job Rotation: Common Practice in Organisations?
A. Friedrich, R. Kabst, W. Weber, Job Rotation: Common Practice in Organisations?, 1998.
LibreCat
 

1998 | Conference Abstract | LibreCat-ID: 6398 LibreCat
 

Filters and Search Terms

year=1998

Search

Filter Publications

Display / Sort

Export / Embed