| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 5 |      | Christian Clausen, Yutaka Yoshinaka: Sociotechnical Spaces: Guiding Politics, Staging Design. IJTHI 1(3): 44-59 (2005) |
| 1995 | ||
| 4 |  | Mogens Nielsen, Christian Clausen: Games and Logics for a Noninterleaving Bisimulation. Nord. J. Comput. 2(2): 221-249 (1995) |
| 1994 | ||
| 3 | | Mogens Nielsen, Christian Clausen: Bisimulation for Models in Concurrency. CONCUR 1994: 385-400 |
| 2 | | Mogens Nielsen, Christian Clausen: Bisimulation, Games, and Logic. Results and Trends in Theoretical Computer Science 1994: 289-306 |
| 1 | | Bettina Blaaberg, Christian Clausen: Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types. Theor. Comput. Sci. 136(1): 243-275 (1994) |
| 1 | Bettina Blaaberg | [1] |
| 2 | Mogens Nielsen | [2] [3] [4] |
| 3 | Yutaka Yoshinaka | [5] |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page