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
@inproceedings{Gadducci_Heckel_Llabrés_1999, series={Electronic Notes in Theoretical Computer Science}, title={A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting}, volume={29}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80309-3}, booktitle={Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)}, publisher={Elsevier}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1999}, pages={80–100}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
@inproceedings{Heckel_1999, title={Modeling Agent-Based Systems with Graph Transformation and UML}, number={258}, booktitle={Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems}, author={Heckel, Reiko}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending UML for Modeling of Multimedia Applications}, DOI={http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878}, booktitle={Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={80–87} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8117
@inproceedings{Salhi_Krauter_Lemoine_Triebel_Schroer_Araújo_1999, title={Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88.}, author={Salhi, M. J. and Krauter, Stefan and Lemoine, R. and Triebel, C. and Schroer, S. and Araújo, R. G.}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8118
@inproceedings{Krauter_Stephan_Bastos_1999, title={Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288}, author={Krauter, Stefan and Stephan, R. and Bastos, L.}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8119
@inproceedings{Krauter_Schmid_1999, title={Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,}, author={Krauter, Stefan and Schmid, U.}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8120
@inproceedings{Krauter_1999, title={The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.}, author={Krauter, Stefan}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8121
@inproceedings{Krauter_Schmid_1999, title={Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. }, booktitle={Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126}, author={Krauter, Stefan and Schmid, U.}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8122
@inproceedings{Krauter_1999, title={Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems)}, booktitle={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}, author={Krauter, Stefan}, year={1999} }
LibreCat
1999 | Journal Article | LibreCat-ID: 8123
@article{Krauter_Araujo_Schroer_Salhi_Triebel_Hanitsch_1999, title={Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation}, volume={67}, number={4–6}, journal={Solar Energy}, author={Krauter, Stefan and Araujo, G. and Schroer, S. and Salhi, M. and Triebel, C. and Hanitsch, Rolf}, year={1999}, pages={239–248} }
LibreCat
1999 | Report | LibreCat-ID: 8203
@book{Ehrig_Heckel_Llabrés_Orejas_1999, title={Basic Properties of Double Pullback Graph Transitions}, publisher={Technical University of Berlin}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1999} }
LibreCat
1999 | Report | LibreCat-ID: 8204
@book{Engels_Hücking_Sauer_Wagner_1999, title={UML Collaboration Diagrams and Their Transformation to Java}, publisher={University of Paderborn, Department of Computer Science}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999} }
LibreCat
1999 | Report | LibreCat-ID: 8205
@book{Engels_Jan t’Hoen_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_1999, title={SOCCA Extended with UML like Packages}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Jan t’Hoen, Pieter and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter}, year={1999}, pages={99–06} }
LibreCat
1999 | Report | LibreCat-ID: 8206
@book{Engels_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_Jan t’Hoen_1999, title={A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and Jan t’Hoen, Pieter}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
@inproceedings{Sauer_Engels_1999, place={Karlsruhe, Germany}, title={UML-basierte Modellierung von Multimediaanwendungen}, booktitle={Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe}, publisher={Teubner, Stuttgart}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={155–170} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
@inproceedings{Sauer_Engels_1999, place={Indian Wells, California, USA}, title={OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems}, booktitle={Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={64–71} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
@inproceedings{Corradini_Große-Rhode_Heckel_1999, place={Berlin/Heidelberg}, series={LNCS}, title={An Algebra of Graph Derivations using Finite (co-) limit Double Theories}, volume={1589}, DOI={http://dx.doi.org/10.1007/3-540-48483-3_7}, booktitle={Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}, publisher={Springer}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1999}, pages={92–106}, collection={LNCS} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
@inproceedings{Corradini_Heckel_Montanari_1999, place={Amsterdam, The Netherlands}, series={Electronic Notes in TCS}, title={From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}, volume={19}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80273-7}, booktitle={Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={118–141}, collection={Electronic Notes in TCS} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8325
@inproceedings{Engels_Heckel_Sauer_1999, title={Dynamic Meta Modelling: A Graphical Approach to Operational Semantics}, booktitle={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)}, author={Engels, Gregor and Heckel, Reiko and Sauer, Stefan}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8326
@inproceedings{Engels_Sauer_1999, place={Herrsching, Universität der Bundeswehr München, Fakultät für Informatik}, title={MVC-Based Modeling Support for Embedded Real-Time Systems}, number={01}, booktitle={Proceedings of OMER Workshop, Herrsching, Germany}, author={Engels, Gregor and Sauer, Stefan}, year={1999}, pages={11–14} }
LibreCat