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.
9903 Publications
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.
1999 | Conference Paper | LibreCat-ID: 8327
An Assessment of Aspect Language Design
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
1999 | Conference Paper | LibreCat-ID: 8328
On the Role of Method Families in Aspect Oriented Programming
K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.
1999 | Journal Article | LibreCat-ID: 7399
Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung Und Entwicklung 14 (1999) 83–94.
LibreCat
| DOI
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung Und Entwicklung 14 (1999) 83–94.
1999 | Journal Article | LibreCat-ID: 7400
Formalization of the development process for a software-hardware reflexodiagnostic tool
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
LibreCat
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
1999 | Journal Article | LibreCat-ID: 7401
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
LibreCat
| DOI
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
1999 | Book | LibreCat-ID: 7510
Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools
H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.
LibreCat
H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.
1999 | Book Chapter | LibreCat-ID: 7518
A View-based Approach to System Modeling Based on Open Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
LibreCat
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
1999 | Book Chapter | LibreCat-ID: 7519
Classification and Comparison of Module Concepts for Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.
LibreCat
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.
1999 | Conference Paper | LibreCat-ID: 874
Towards Quality of Service for Parallel Computing: An Overview of the MILAN Project
H. Karl, in: High-Performance Computing and Networking, 7th International Conference, HPCN Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings, 1999, pp. 841--850.
LibreCat
| DOI
H. Karl, in: High-Performance Computing and Networking, 7th International Conference, HPCN Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings, 1999, pp. 841--850.
1999 | Conference Paper | LibreCat-ID: 875
Coscheduling through Synchronized Scheduling Servers -- A Prototype and Experiments
H. Karl, in: Parallel and Distributed Processing, 11 IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings, 1999, pp. 1115--1129.
LibreCat
| DOI
H. Karl, in: Parallel and Distributed Processing, 11 IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings, 1999, pp. 1115--1129.
1999 | Conference Paper | LibreCat-ID: 6673
Layout for a wind-power-driven, reverse osmosis installation for desalting brackish water in operation on an island
J. Bendfeld, G. Bettenwort, E. Ortjohann, J. Voss, in: Proceedings of the 1999 European Wind Energy Conference, 1-5 March 1999 Nice, France, Pp975-978, 1999.
LibreCat
J. Bendfeld, G. Bettenwort, E. Ortjohann, J. Voss, in: Proceedings of the 1999 European Wind Energy Conference, 1-5 March 1999 Nice, France, Pp975-978, 1999.
1999 | Journal Article | LibreCat-ID: 16501
Shortest-Path Routing in Arbitrary Networks
F. Meyer auf der Heide, B. Vöcking, Journal of Algorithms (1999) 105–131.
LibreCat
| DOI
F. Meyer auf der Heide, B. Vöcking, Journal of Algorithms (1999) 105–131.
1999 | Journal Article | LibreCat-ID: 16502
Allocating Weighted Jobs in Parallel
P. Berenbrink, F. Meyer auf der Heide, K. Schröder, Theory of Computing Systems (1999) 281–300.
LibreCat
| DOI
P. Berenbrink, F. Meyer auf der Heide, K. Schröder, Theory of Computing Systems (1999) 281–300.
1999 | Journal Article | LibreCat-ID: 16511
The computation of lyapunov exponents via spatial integration with application to blowout bifurcations
P.J. Aston, M. Dellnitz, Computer Methods in Applied Mechanics and Engineering (1999) 223–237.
LibreCat
| DOI
P.J. Aston, M. Dellnitz, Computer Methods in Applied Mechanics and Engineering (1999) 223–237.
1999 | Journal Article | LibreCat-ID: 16537
On the Approximation of Complicated Dynamical Behavior
M. Dellnitz, O. Junge, SIAM Journal on Numerical Analysis (1999) 491–515.
LibreCat
| DOI
M. Dellnitz, O. Junge, SIAM Journal on Numerical Analysis (1999) 491–515.
1999 | Book Chapter | LibreCat-ID: 16584
Computation of Essential Molecular Dynamics by Subdivision Techniques
P. Deuflhard, M. Dellnitz, O. Junge, C. Schütte, in: Computational Molecular Dynamics: Challenges, Methods, Ideas, Berlin, Heidelberg, 1999.
LibreCat
| DOI
P. Deuflhard, M. Dellnitz, O. Junge, C. Schütte, in: Computational Molecular Dynamics: Challenges, Methods, Ideas, Berlin, Heidelberg, 1999.