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 | Conference Paper | LibreCat-ID: 7858
Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK). Vol 29. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML. In: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems. ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
Sauer S, Engels G. Extending UML for Modeling of Multimedia Applications. In: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan). Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8117
Salhi MJ, Krauter S, Lemoine R, Triebel C, Schroer S, Araújo RG. Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation. In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88. ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8118
Krauter S, Stephan R, Bastos L. Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro. In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288. ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8119
Krauter S, Schmid U. Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film. In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,. ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8120
Krauter S. The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics. In: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375. ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8121
Krauter S, Schmid U. Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. . In: Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126. ; 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8122
Krauter S. Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems). 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
1999 | Journal Article | LibreCat-ID: 8123
Krauter S, Araujo G, Schroer S, Salhi M, Triebel C, Hanitsch R. Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation. Solar Energy. 1999;67(4-6):239-248.
LibreCat
1999 | Report | LibreCat-ID: 8203
Ehrig H, Heckel R, Llabrés M, Orejas F. Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin; 1999.
LibreCat
1999 | Report | LibreCat-ID: 8204
Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science; 1999.
LibreCat
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