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.
5779 Publications
1999 | Report | LibreCat-ID: 8205
Engels G, Jan t’Hoen P, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P. SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science; 1999:99-06.
LibreCat
1999 | Report | LibreCat-ID: 8206
Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan t’Hoen P. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
Sauer S, Engels G. UML-basierte Modellierung von Multimediaanwendungen. In: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe. Karlsruhe, Germany: Teubner, Stuttgart; 1999:155-170.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
Sauer S, Engels G. OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA). Indian Wells, California, USA; 1999:64-71.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
Corradini A, Große-Rhode M, Heckel R. An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal). Vol 1589. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi:http://dx.doi.org/10.1007/3-540-48483-3_7
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
Corradini A, Heckel R, Montanari U. From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99). Vol 19. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8325
Engels G, Heckel R, Sauer S. Dynamic Meta Modelling: A Graphical Approach to Operational Semantics. 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
1999 | Conference Paper | LibreCat-ID: 8326
Engels G, Sauer S. MVC-Based Modeling Support for Embedded Real-Time Systems. In: Proceedings of OMER Workshop, Herrsching, Germany. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik; 1999:11-14.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8327
Mehner K, Wagner A. An Assessment of Aspect Language Design. In: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany). ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8328
Mehner K, Wagner A. On the Role of Method Families in Aspect Oriented Programming. In: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain). Vol 1743. LNCS. Berlin/Heidelberg: Springer; 1999:305-306.
LibreCat
1999 | Journal Article | LibreCat-ID: 7399
Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. Informatik Forschung und Entwicklung. 1999;14(2):83-94. doi:http://dx.doi.org/10.1007/s004500050128
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 7400
Cherchago A, Finaev V. Formalization of the development process for a software-hardware reflexodiagnostic tool. Scientific bulletin of Academy of Information Technologies in Education, Science and Balneology. 1999;3.
LibreCat
1999 | Journal Article | LibreCat-ID: 7401
Andries M, Engels G, Habel A, et al. Graph Transformation for Specification and Programming. Science of Computer Programming. 1999;34(1):1-54. doi:http://dx.doi.org/10.1016/S0167-6423(98)00023-9
LibreCat
| DOI
1999 | Book | LibreCat-ID: 7510
Ehrig H, Engels G, Kreowski HJ, Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc.; 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
Heckel R, Engels G, Ehrig H, Taentzer G. A View-based Approach to System Modeling Based on Open Graph Transformation Systems. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. Singapore: World Scientific; 1999:639-668.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
Heckel R, Engels G, Ehrig H, Taentzer G. Classification and Comparison of Module Concepts for Graph Transformation Systems. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. Vol 2. Singapore: World Scientific; 1999:669-689.
LibreCat
1999 | Conference Paper | LibreCat-ID: 874
Karl H. Towards Quality of Service for Parallel Computing: An Overview of the MILAN Project. In: High-Performance Computing and Networking, 7th International Conference, HPCN Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings. ; 1999:841--850. doi:10.1007/BFb0100644
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 875
Karl H. Coscheduling through Synchronized Scheduling Servers -- A Prototype and Experiments. 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:1115--1129. doi:10.1007/BFb0097997
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 16501
Meyer auf der Heide F, Vöcking B. Shortest-Path Routing in Arbitrary Networks. Journal of Algorithms. 1999:105-131. doi:10.1006/jagm.1998.0980
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 16502
Berenbrink P, Meyer auf der Heide F, Schröder K. Allocating Weighted Jobs in Parallel. Theory of Computing Systems. 1999:281-300. doi:10.1007/s002240000119
LibreCat
| DOI