| |
| 2007 | ||
|---|---|---|
| 2 | EE | Martin Doerr, Christian-Emil Ore, Stephen Stead: The CIDOC Conceptual Reference Model - A New Standard for Knowledge Sharing. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 51-56 |
| 1992 | ||
| 1 | Christian-Emil Ore: The Extended Calculus of Constructions (ECC) with Inductive Types Inf. Comput. 99(2): 231-264 (1992) | |
| 1 | Martin Doerr | [2] |
| 2 | Stephen Stead | [2] |