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.
354 Publications
1999 | Dissertation | LibreCat-ID: 23949
Materialflußsteuerung auf der Basis des Wissens mehrerer Experten
A. Schekelmann, Materialflußsteuerung auf der Basis des Wissens mehrerer Experten, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
A. Schekelmann, Materialflußsteuerung auf der Basis des Wissens mehrerer Experten, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23950
Herleitung und Spezifikation generischer Bausteine zur einheitlichen Modellierung von Fertigungsinformationen für die Fertigungssteuerung
K. Geck-Mügge, Herleitung und Spezifikation generischer Bausteine zur einheitlichen Modellierung von Fertigungsinformationen für die Fertigungssteuerung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
K. Geck-Mügge, Herleitung und Spezifikation generischer Bausteine zur einheitlichen Modellierung von Fertigungsinformationen für die Fertigungssteuerung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Conference (Editor) | LibreCat-ID: 23951
Heinz Nixdorf Symposium on Mechatronics and Advanced Motion Control
J. Wallaschek, J. Lückel, W. Littmann, eds., Heinz Nixdorf Symposium on Mechatronics and Advanced Motion Control, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
J. Wallaschek, J. Lückel, W. Littmann, eds., Heinz Nixdorf Symposium on Mechatronics and Advanced Motion Control, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23952
Szenariogestützte Führung industrieller Produktionsunternehmen
A. Fink, Szenariogestützte Führung industrieller Produktionsunternehmen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
A. Fink, Szenariogestützte Führung industrieller Produktionsunternehmen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23953
Ein objektorientiertes Rahmenwerk zur Erstellung individueller, verteilter Fertigungslenkungssysteme
R.W. Holtkamp, Ein objektorientiertes Rahmenwerk zur Erstellung individueller, verteilter Fertigungslenkungssysteme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
R.W. Holtkamp, Ein objektorientiertes Rahmenwerk zur Erstellung individueller, verteilter Fertigungslenkungssysteme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23954
Referenzmodelle für Produktionsprozesse zur Untersuchung und Gestaltung von PPS-Aufgaben
A. Kuhn, Referenzmodelle für Produktionsprozesse zur Untersuchung und Gestaltung von PPS-Aufgaben, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
A. Kuhn, Referenzmodelle für Produktionsprozesse zur Untersuchung und Gestaltung von PPS-Aufgaben, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23955
Systematik der Umsetzung von IT-orientierten Veränderungsprojekten in dynamischen Umfeldern
A. Siebe, Systematik der Umsetzung von IT-orientierten Veränderungsprojekten in dynamischen Umfeldern, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
A. Siebe, Systematik der Umsetzung von IT-orientierten Veränderungsprojekten in dynamischen Umfeldern, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23956
Dimensionierung komplexer Produktionsnetzwerke
R.F. Klahold, Dimensionierung komplexer Produktionsnetzwerke, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
R.F. Klahold, Dimensionierung komplexer Produktionsnetzwerke, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23957
Synthese eines Modells zur simulationsgestützten Potentialanalyse der Distribution
A. Schürholz, Synthese eines Modells zur simulationsgestützten Potentialanalyse der Distribution, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
A. Schürholz, Synthese eines Modells zur simulationsgestützten Potentialanalyse der Distribution, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23958
Integriertes Netzwerk zur Fertigungssteuerung und -automatisierung
G. Gehnen, Integriertes Netzwerk zur Fertigungssteuerung und -automatisierung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
G. Gehnen, Integriertes Netzwerk zur Fertigungssteuerung und -automatisierung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23959
Architektur eines workflowbasierten Planungsinstruments für die technische Auftragsbearbeitung unter besonderer Berücksichtigung des Einsatzes der Telearbeit
S. Kress, Architektur eines workflowbasierten Planungsinstruments für die technische Auftragsbearbeitung unter besonderer Berücksichtigung des Einsatzes der Telearbeit, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
S. Kress, Architektur eines workflowbasierten Planungsinstruments für die technische Auftragsbearbeitung unter besonderer Berücksichtigung des Einsatzes der Telearbeit, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23960
Integrierte Methodik zur Gestaltung von Leistungserstellungsprozessen mittels Workflowmanagement
F. Thielemann, Integrierte Methodik zur Gestaltung von Leistungserstellungsprozessen mittels Workflowmanagement, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
F. Thielemann, Integrierte Methodik zur Gestaltung von Leistungserstellungsprozessen mittels Workflowmanagement, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23961
Modelle zur Untersuchung des Schwingungsverhaltens von Statoren für piezoelektrische Ultraschall-Wanderwellen-Motoren
J. Krome, Modelle zur Untersuchung des Schwingungsverhaltens von Statoren für piezoelektrische Ultraschall-Wanderwellen-Motoren, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
J. Krome, Modelle zur Untersuchung des Schwingungsverhaltens von Statoren für piezoelektrische Ultraschall-Wanderwellen-Motoren, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23962
Modellierung als Kernfunktion einer systemorientierten Analyse und Bewertung der diskreten Produktion
T. Langemann, Modellierung als Kernfunktion einer systemorientierten Analyse und Bewertung der diskreten Produktion, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
T. Langemann, Modellierung als Kernfunktion einer systemorientierten Analyse und Bewertung der diskreten Produktion, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Dissertation | LibreCat-ID: 23963
Integration von Methoden und Werkzeugen zur Entwicklung von mechatronischen Systemen
M. Kümmel, Integration von Methoden und Werkzeugen zur Entwicklung von mechatronischen Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
M. Kümmel, Integration von Methoden und Werkzeugen zur Entwicklung von mechatronischen Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Conference (Editor) | LibreCat-ID: 23964
Proceedings of the 1st International Khepera Workshop: Experiments with the Mini-Robot Khepera
A. Löffler, F. Mondada, U. Rückert, eds., Proceedings of the 1st International Khepera Workshop: Experiments with the Mini-Robot Khepera, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat
A. Löffler, F. Mondada, U. Rückert, eds., Proceedings of the 1st International Khepera Workshop: Experiments with the Mini-Robot Khepera, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
1999 | Book Chapter | LibreCat-ID: 2056
: Personalcontrolling und Recht - Fallbeispiele und deren juristische Lösung -
D. Krimphove, S. Seitz, in: W. Schmeisser, A. Clermont, A. Protz (Eds.), Personalinformationssysteme & Personalcontrolling, Hermann Luchterhand Verlag, Neuwied, 1999, p. 363 ff.
LibreCat
D. Krimphove, S. Seitz, in: W. Schmeisser, A. Clermont, A. Protz (Eds.), Personalinformationssysteme & Personalcontrolling, Hermann Luchterhand Verlag, Neuwied, 1999, p. 363 ff.
1999 | Conference Paper | LibreCat-ID: 20928
Kleben von Aluminium-Strangpreßprofilen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Rahmenkonstruktionen
M. Koyro, G. Meschut, in: Tagungsband Zu Den 1. Duisburger Aluminiumtagen, Duisburg, 1999, pp. 1–7.
LibreCat
M. Koyro, G. Meschut, in: Tagungsband Zu Den 1. Duisburger Aluminiumtagen, Duisburg, 1999, pp. 1–7.
1999 | Book Review | LibreCat-ID: 18328
Frege, Gottlob, Zwei Schriften zur Arithmetik. Function und Begriff. Über die Zahlen des Herrn H. Schubert, hg. v. Wolfgang Kienzler, Olms: Hildesheim 1999
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 916.01026] (1999).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 916.01026] (1999).
1999 | Conference Paper | LibreCat-ID: 18576
Generating Random Star-Shaped Polygons
C. Sohler, in: Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99), 1999, pp. 174–177.
LibreCat
C. Sohler, in: Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99), 1999, pp. 174–177.
1999 | Conference Paper | LibreCat-ID: 2210 | 
Design of the PRESTO Multimedia Storage Network (Extended Abstract)
P. Berenbrink, M. Riedel, C. Scheideler, in: International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12.
LibreCat
| Files available
P. Berenbrink, M. Riedel, C. Scheideler, in: International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12.
1999 | Journal Article | LibreCat-ID: 22320
Kleiner Antrieb, große Wirkung
D. Zimmer, Der Konstrukteur - Magazin Für Konstruktion Und Entwicklung (ASB) (1999).
LibreCat
D. Zimmer, Der Konstrukteur - Magazin Für Konstruktion Und Entwicklung (ASB) (1999).
1999 | Book | LibreCat-ID: 22918
Der Einfluss von Steuern auf Investitionsentscheidungen bei Unsicherheit
C. Sureth-Sloane, Der Einfluss von Steuern auf Investitionsentscheidungen bei Unsicherheit, Deutscher Universitäts-Verlag, Wiesbaden, 1999.
LibreCat
| DOI
C. Sureth-Sloane, Der Einfluss von Steuern auf Investitionsentscheidungen bei Unsicherheit, Deutscher Universitäts-Verlag, Wiesbaden, 1999.
1999 | Conference Paper | LibreCat-ID: 2166 |
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
C. Scheideler, B. Vöcking, in: STOC, 1999, pp. 215--224.
LibreCat
| Files available
C. Scheideler, B. Vöcking, in: STOC, 1999, pp. 215--224.
1999 | Conference (Editor) | LibreCat-ID: 7792
Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
LibreCat
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
1999 | Conference Paper | LibreCat-ID: 7849
Patterns as a Means for Intelligent Software Engineering
D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press, 1999, pp. 605–611.
LibreCat
D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press, 1999, pp. 605–611.
1999 | Conference Paper | LibreCat-ID: 7850
Tile Transition Systems as Structured Coalgebras
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
LibreCat
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
1999 | Conference Paper | LibreCat-ID: 7851
Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development
A. Cherchago, in: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia), 1999.
LibreCat
A. Cherchago, in: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia), 1999.
1999 | Conference Paper | LibreCat-ID: 7852
Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung
G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540.
LibreCat
G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540.
1999 | Conference Paper | LibreCat-ID: 7856
UML Collaboration Diagrams and Their Transformation to Java
G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488.
LibreCat
G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488.
1999 | Conference Paper | LibreCat-ID: 7858
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.
LibreCat
| DOI
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.
1999 | Conference Paper | LibreCat-ID: 7859
Modeling Agent-Based Systems with Graph Transformation and UML
R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
LibreCat
R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
1999 | Conference Paper | LibreCat-ID: 7860
Extending UML for Modeling of Multimedia Applications
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.
LibreCat
| DOI
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.
1999 | Conference Paper | LibreCat-ID: 8117
Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation
M.J. Salhi, S. Krauter, R. Lemoine, C. Triebel, S. Schroer, R.G. Araújo, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88., 1999.
LibreCat
M.J. Salhi, S. Krauter, R. Lemoine, C. Triebel, S. Schroer, R.G. Araújo, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88., 1999.
1999 | Conference Paper | LibreCat-ID: 8118
Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro
S. Krauter, R. Stephan, L. Bastos, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
LibreCat
S. Krauter, R. Stephan, L. Bastos, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
1999 | Conference Paper | LibreCat-ID: 8119
Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.
S. Krauter, U. Schmid, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, 1999.
LibreCat
S. Krauter, U. Schmid, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, 1999.
1999 | Conference Paper | LibreCat-ID: 8120
The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics
S. Krauter, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.
LibreCat
S. Krauter, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.
1999 | Conference Paper | LibreCat-ID: 8121
Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators.
S. Krauter, U. Schmid, in: Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126, 1999.
LibreCat
S. Krauter, U. Schmid, in: Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126, 1999.
1999 | Conference Paper | LibreCat-ID: 8122
Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems)
S. Krauter, in: Proceedings of Workshop Energias Alternativas Para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999, 1999.
LibreCat
S. Krauter, in: Proceedings of Workshop Energias Alternativas Para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999, 1999.
1999 | Journal Article | LibreCat-ID: 8123
Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation
S. Krauter, G. Araujo, S. Schroer, M. Salhi, C. Triebel, R. Hanitsch, Solar Energy 67 (1999) 239–248.
LibreCat
S. Krauter, G. Araujo, S. Schroer, M. Salhi, C. Triebel, R. Hanitsch, Solar Energy 67 (1999) 239–248.
1999 | Report | LibreCat-ID: 8203
Basic Properties of Double Pullback Graph Transitions
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.
LibreCat
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.
1999 | Report | LibreCat-ID: 8204
UML Collaboration Diagrams and Their Transformation to Java
G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.
LibreCat
G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.
1999 | Report | LibreCat-ID: 8205
SOCCA Extended with UML like Packages
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999.
LibreCat
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999.
1999 | Report | LibreCat-ID: 8206
A Formalisation of SOCCA using Z, part 1: The Type Level Concepts
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.
LibreCat
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.
1999 | Conference Paper | LibreCat-ID: 8321
UML-basierte Modellierung von Multimediaanwendungen
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
LibreCat
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
1999 | Conference Paper | LibreCat-ID: 8322
OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
LibreCat
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
1999 | Conference Paper | LibreCat-ID: 8323
An Algebra of Graph Derivations using Finite (co-) limit Double Theories
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
LibreCat
| DOI
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
1999 | Conference Paper | LibreCat-ID: 8324
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.
LibreCat
| DOI
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.
1999 | Conference Paper | LibreCat-ID: 8325
Dynamic Meta Modelling: A Graphical Approach to Operational Semantics
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA), 1999.
LibreCat
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA), 1999.
1999 | Conference Paper | LibreCat-ID: 8326
MVC-Based Modeling Support for Embedded Real-Time Systems
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.
LibreCat
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.