| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Morten Kühnrich, Uwe Nestmann: On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE 2009: 198-212 |
| 3 | EE | Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS 2009: 440-455 |
| 2 | EE | Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR abs/0901.0501: (2009) |
| 2007 | ||
| 1 | EE | Hans Hüttel, Morten Kühnrich: Types for Access Control in a Calculus of Mobile Resources. Electr. Notes Theor. Comput. Sci. 180(1): 3-15 (2007) |
| 1 | Hans Hüttel | [1] |
| 2 | Stefan Kiefer | [2] [3] |
| 3 | Uwe Nestmann | [4] |
| 4 | Stefan Schwoon | [2] [3] |
| 5 | Jirí Srba | [2] [3] |