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.

907 Publications


2002 | Conference Paper | LibreCat-ID: 7900
@inproceedings{Gyapay_Heckel_Varró_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Transformation with Time: Causality and Logical Clocks}, volume={2505}, booktitle={Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Gyapay, Szilvia and Heckel, Reiko and Varró, Dániel}, year={2002}, pages={120–134}, collection={LNCS} }
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7901
@inproceedings{Hendrik Hausmann_Heckel_Taentzer_2002, place={New York, NY, USA}, title={Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation}, DOI={http://doi.acm.org/10.1145/581339.581355}, booktitle={Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)}, publisher={ACM Press}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Taentzer, Gabriele}, year={2002}, pages={105–155} }
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 7902
@inproceedings{Heckel_Chouikha_2002, place={Grandview, TX, USA}, title={Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets}, booktitle={Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={Society of Design and Process Science}, author={Heckel, Reiko and Chouikha, Mourad}, year={2002}, pages={63–77} }
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7903
@inproceedings{Heckel_Küster_Taentzer_2002, place={Berlin/Heidelberg}, title={Confluence of Typed Attributed Graph Transformation Systems}, booktitle={Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Heckel, Reiko and Küster, Jochen and Taentzer, Gabriele}, year={2002}, pages={161–176} }
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7904
@inproceedings{Mehner_2002, place={Berlin/Heidelberg}, series={LNCS}, title={JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs}, volume={2269}, booktitle={Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)}, publisher={Springer}, author={Mehner, Katharina}, year={2002}, pages={163–175}, collection={LNCS} }
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7905
@inproceedings{Schattkowsky_Lohmann_2002, place={London, UK}, series={LNCS}, title={Rapid Development of Modular Dynamic Web Sites Using UML}, DOI={http://dx.doi.org/10.1007/3-540-45800-X}, booktitle={Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2002}, pages={336–350}, collection={LNCS} }
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 7906
@inproceedings{Cherchago_2002, title={Formal Semantics for a UML fragment using UML/OCL metamodeling}, booktitle={Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)}, publisher={ACTA Press}, author={Cherchago, Alexey}, year={2002} }
LibreCat
 

2002 | Report | LibreCat-ID: 8212
@book{Constanza_Kniesel_Mehner_Pulvermüller_Speck_2002, title={Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement}, publisher={University of Bonn}, author={Constanza, Pascal and Kniesel, Günther and Mehner, Katharina and Pulvermüller, Elke and Speck, Andreas}, year={2002} }
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7385
@article{Heckel_Llabrés_Ehrig_Orejas_2002, title={Concurrency and Loose Semantics of Open Graph Transformation Systems}, volume={12}, number={4}, journal={Mathematical Structures in Computer Science}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2002}, pages={349–376} }
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7387
@article{Engels_Küster_Groenewegen_2002, title={Consistent Interaction of Software Components}, volume={6}, number={4}, journal={Transactions of the SDPS: Journal of Integrated Design & Process Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7388
@article{Depke_Heckel_Küster_2002, title={Formal Agent-Oriented Modeling with Graph Transformation}, volume={44}, journal={Science of Computer Programming}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2002}, pages={229–252} }
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7389
@article{Doberkat_Engels_2002, title={MuSofT - Multimedia in der Softwaretechnik}, volume={1}, number={17}, journal={Informatik Forschung und Entwicklung}, author={Doberkat, Ernst-Erich and Engels, Gregor}, year={2002}, pages={41–44} }
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7390
@article{Corradini_Heckel_Montanari_2002, title={Compositional SOS and Beyond: A Coalgebraic View of Open Systems}, volume={280}, DOI={http://dx.doi.org/10.1016/S0304-3975(01)00025-1}, number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={2002}, pages={163–192} }
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7524
@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={http://dx.doi.org/10.1007/3-540-45711-9_12}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Baldan, Paolo and Heckel, Reiko}, editor={Brauer, W. and Ehrig, H. and Karhumäki, J. and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS} }
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7525
@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={2002}, pages={257–276}, collection={LNCS} }
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7526
@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics}, title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Doberkat, Ernst-Erich}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics} }
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7527
@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={http://dx.doi.org/10.1007/3-540-45711-9_12}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Baldan, Paolo and Heckel, Reiko}, editor={ Brauer, W. and Ehrig, H. and Karhumäki, J. and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS} }
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7528
@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, editor={Brauer, W. and Ehring, H. and Karhumäki, J. and Salomaa, A. Editors}, year={2002}, pages={257–276}, collection={LNCS} }
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7529
@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics}, title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Doberkat, Ernst-Erich}, editor={Schubert, S. and Reusch, B. and Jesse, N. Editors}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics} }
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8363
@inproceedings{Heckel_Engels_2002, series={Electronic Notes in Theoretical Computer Science}, title={Towards a Formal Framework for Inter-Enterprise Application Integration}, volume={51}, DOI={http://dx.doi.org/10.1016/S1571-0661(04)80198-1}, booktitle={Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)}, publisher={Elsevier}, author={Heckel, Reiko and Engels, Gregor}, year={2002}, pages={139–151}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat | DOI
 

Filters and Search Terms

(department=66)

status=public

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed