Morten Kühnrich

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

5 Morten Kühnrich, Uwe Nestmann: On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE 2009: 198-212

4 Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS 2009: 440-455

3 Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR abs/0901.0501: (2009)

2 Morten Kühnrich: Formal Model-Driven Design of Distributed Algorithms. Electr. Notes Theor. Comput. Sci. 251: 49-64 (2009)

2007

1 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)

	2009
5		Morten Kühnrich, Uwe Nestmann: On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE 2009: 198-212
4		Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS 2009: 440-455
3		Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR abs/0901.0501: (2009)
2		Morten Kühnrich: Formal Model-Driven Design of Distributed Algorithms. Electr. Notes Theor. Comput. Sci. 251: 49-64 (2009)
	2007
1		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)

Coauthor Index