Lars Jenner

According to our database1, Lars Jenner
  • authored at least 5 papers between 1996 and 2002.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2002
Comparing the worst-case efficiency of asynchronous systems with PAFAS.
Acta Inf., 2002

2001
Fast asynchronous systems in dense time.
Theor. Comput. Sci., 2001

2000
Axiomatizing a Fragment of PAFAS.
Electr. Notes Theor. Comput. Sci., 2000

1999
Comparing the Efficiency of Asynchronous Systems.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1996
Fast Asynchronous Systems in Dense Time.
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996


  Loading...