| |
| 2009 | ||
|---|---|---|
| 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 | Stefan Schwoon | [2] [3] |
| 4 | Jirí Srba | [2] [3] |