| |
| 1999 | ||
|---|---|---|
| 6 | Jean-Francois Girard, Rainer Koschke, Georg Schied: A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations. Autom. Softw. Eng. 6(4): 357-386 (1999) | |
| 1997 | ||
| 5 | EE | Jean-Francois Girard, Rainer Koschke, Georg Schied: A Metric-based Approach to Detect Abstract Data Types and State Encapsulations. ASE 1997: 82-89 |
| 4 | EE | Jean-Francois Girard, Rainer Koschke, Georg Schied: Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding. WCRE 1997: 66-75 |
| 1995 | ||
| 3 | EE | Georg Schied, Klaus Barthelmann: Linear types for higher order processes with first class directed channels. Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 1993 | ||
| 2 | Georg Schied: On Relating Rewriting Systems and Graph Grammars to Event Structures. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 326-340 | |
| 1 | Klaus Barthelmann, Georg Schied: Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 71-85 | |
| 1 | Klaus Barthelmann | [1] [3] |
| 2 | Jean-Francois Girard | [4] [5] [6] |
| 3 | Rainer Koschke | [4] [5] [6] |