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.
353 Publications
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci, F., Heckel, R., & Llabrés, M. (1999). 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, pp. 80–100). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel, R. (1999). 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.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
Sauer, S., & Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan) (pp. 80–87). Tokyo, Japan: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8117
Salhi, M. J., Krauter, S., Lemoine, R., Triebel, C., Schroer, S., & Araújo, R. G. (1999). 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.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8118
Krauter, S., Stephan, R., & Bastos, L. (1999). 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.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8119
Krauter, S., & Schmid, U. (1999). 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,.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8120
Krauter, S. (1999). 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.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8121
Krauter, S., & Schmid, U. (1999). 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.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8122
Krauter, S. (1999). 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.
LibreCat
1999 | Journal Article | LibreCat-ID: 8123
Krauter, S., Araujo, G., Schroer, S., Salhi, M., Triebel, C., & Hanitsch, R. (1999). Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation. Solar Energy, 67(4–6), 239–248.
LibreCat
1999 | Report | LibreCat-ID: 8203
Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1999). Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin.
LibreCat
1999 | Report | LibreCat-ID: 8204
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8205
Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., & Koopman, P. (1999). SOCCA Extended with UML like Packages (pp. 99–06). Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8206
Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
Sauer, S., & Engels, G. (1999). 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) (pp. 64–71). Indian Wells, California, USA.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
Corradini, A., Große-Rhode, M., & Heckel, R. (1999). 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, pp. 92–106). Berlin/Heidelberg: Springer. 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. (1999). 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, pp. 118–141). Amsterdam, The Netherlands: Elsevier. 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. (1999). 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).
LibreCat
1999 | Conference Paper | LibreCat-ID: 8326
Engels, G., & Sauer, S. (1999). MVC-Based Modeling Support for Embedded Real-Time Systems. In Proceedings of OMER Workshop, Herrsching, Germany (pp. 11–14). Herrsching, Universität der Bundeswehr München, Fakultät für Informatik.
LibreCat