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.
10426 Publications
2002 | Conference Paper | LibreCat-ID: 18179
Computability of Linear Equations
V. Brattka, M. Ziegler, in: Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science, Boston, MA, 2002, pp. 95–106.
LibreCat
| DOI
V. Brattka, M. Ziegler, in: Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science, Boston, MA, 2002, pp. 95–106.
2002 | Conference Paper | LibreCat-ID: 18369
Bi-directional Coupling of Simulation Tools with a Walkthrough-System
B. Mueck, W. Dangelmaier, M. Fischer, W. Klemisch, in: Simulation Und Visualisierung, SCS European Publishing House, Ghent, BE, 2002, pp. 71–84.
LibreCat
B. Mueck, W. Dangelmaier, M. Fischer, W. Klemisch, in: Simulation Und Visualisierung, SCS European Publishing House, Ghent, BE, 2002, pp. 71–84.
2002 | Conference Paper | LibreCat-ID: 18566
Randomized Pursuit-Evasion in Graphs
M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Berlin, Heidelberg, 2002.
LibreCat
| DOI
M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Berlin, Heidelberg, 2002.
2002 | Conference (Editor) | LibreCat-ID: 7785
Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)
R. Heckel, T. Mens, M. Wermelinger, eds., Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain), Elsevier, 2002.
LibreCat
R. Heckel, T. Mens, M. Wermelinger, eds., Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain), Elsevier, 2002.
2002 | Conference (Editor) | LibreCat-ID: 7786
Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh, PA (USA)
M. Clauss, S. Hanenberg, I. John, K. Mehner, R. Van Der Straeten, eds., Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA), 2002.
LibreCat
M. Clauss, S. Hanenberg, I. John, K. Mehner, R. Van Der Straeten, eds., Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA), 2002.
2002 | Conference Paper | LibreCat-ID: 7895
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
L. Baresi, R. Heckel, in: Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 402–429.
LibreCat
| DOI
L. Baresi, R. Heckel, in: Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 402–429.
2002 | Conference Paper | LibreCat-ID: 7896
Process-Oriented, Consistent Integration of Software Components
R. Depke, G. Engels, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), IEEE Computer Society, Washington, DC, USA, 2002, pp. 13–18.
LibreCat
| DOI
R. Depke, G. Engels, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), IEEE Computer Society, Washington, DC, USA, 2002, pp. 13–18.
2002 | Conference Paper | LibreCat-ID: 7897
Consistency-Preserving Model Evolution through Transformations
G. Engels, R. Heckel, J. Küster, L. Groenewegen, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, Berlin/Heidelberg, 2002, pp. 212–226.
LibreCat
G. Engels, R. Heckel, J. Küster, L. Groenewegen, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, Berlin/Heidelberg, 2002, pp. 212–226.
2002 | Conference Paper | LibreCat-ID: 7898
Consistent Interaction Of Software Components
G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), IOS Press, 2002, pp. 2–22.
LibreCat
G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), IOS Press, 2002, pp. 2–22.
2002 | Conference Paper | LibreCat-ID: 7899
Testing the Consistency of Dynamic UML Diagrams
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
LibreCat
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
2002 | Conference Paper | LibreCat-ID: 7900
Graph Transformation with Time: Causality and Logical Clocks
S. Gyapay, R. Heckel, D. Varró, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 120–134.
LibreCat
S. Gyapay, R. Heckel, D. Varró, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 120–134.
2002 | Conference Paper | LibreCat-ID: 7901
Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation
J. Hendrik Hausmann, R. Heckel, G. Taentzer, in: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), ACM Press, New York, NY, USA, 2002, pp. 105–155.
LibreCat
| DOI
J. Hendrik Hausmann, R. Heckel, G. Taentzer, in: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), ACM Press, New York, NY, USA, 2002, pp. 105–155.
2002 | Conference Paper | LibreCat-ID: 7902
Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets
R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design and Process Science, Grandview, TX, USA, 2002, pp. 63–77.
LibreCat
R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design and Process Science, Grandview, TX, USA, 2002, pp. 63–77.
2002 | Conference Paper | LibreCat-ID: 7903
Confluence of Typed Attributed Graph Transformation Systems
R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 161–176.
LibreCat
R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 161–176.
2002 | Conference Paper | LibreCat-ID: 7904
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
K. Mehner, in: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.
LibreCat
K. Mehner, in: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.
2002 | Conference Paper | LibreCat-ID: 7905
Rapid Development of Modular Dynamic Web Sites Using UML
T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.
LibreCat
| DOI
T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.
2002 | Conference Paper | LibreCat-ID: 7906
Formal Semantics for a UML fragment using UML/OCL metamodeling
A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
LibreCat
A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
2002 | Conference (Editor) | LibreCat-ID: 8142
Proceedings of RIO 02 – World Climate & Energy Event.
S. Krauter, L.P. Rosa, P.T. Landsberg, eds., Proceedings of RIO 02 – World Climate & Energy Event., Hrsg.: S. Krauter und L. P. Rosa, Imprinta Press (Buch mit CD), ISBN 85-902710-1-3, Rio de Janeiro (Brasilien), 2002.
LibreCat
S. Krauter, L.P. Rosa, P.T. Landsberg, eds., Proceedings of RIO 02 – World Climate & Energy Event., Hrsg.: S. Krauter und L. P. Rosa, Imprinta Press (Buch mit CD), ISBN 85-902710-1-3, Rio de Janeiro (Brasilien), 2002.
2002 | Conference Paper | LibreCat-ID: 8143
Satellite Monitoring of Remote PV-Systems
S. Krauter, T. Depping, in: Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. January 2002, S. 109–114., 2002.
LibreCat
S. Krauter, T. Depping, in: Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. January 2002, S. 109–114., 2002.
2002 | Conference Paper | LibreCat-ID: 8144
Photovoltaics on Greened Roofs – Positive Interaction between two Elements of Sustainable Architecture
M. Koehler, M. Schmidt, U. Wachsmann, S. Krauter, M. Laar, in: Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. Januar 2002, S. 151–158, 2002.
LibreCat
M. Koehler, M. Schmidt, U. Wachsmann, S. Krauter, M. Laar, in: Proceedings of RIO 02 – World Climate & Energy Event, Rio de Janeiro (Brasilien), 6.–11. Januar 2002, S. 151–158, 2002.