Lars Jenner

According to our database, Lars Jenner authored at least 4 papers between 1999 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2002

Comparing the worst-case efficiency of asynchronous systems with PAFAS.

Flavio Corradini, Walter Vogler, Lars Jenner

Acta Informatica, 2002

2001

Fast asynchronous systems in dense time.

Lars Jenner, Walter Vogler

Theor. Comput. Sci., 2001

2000

Axiomatizing a Fragment of PAFAS.

Walter Vogler, Lars Jenner

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

1999

Comparing the Efficiency of Asynchronous Systems.

Lars Jenner, Walter Vogler

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999