Maik Kollmann

According to our database1, Maik Kollmann
  • authored at least 4 papers between 2003 and 2007.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Generating Scenarios by Multi-Object Checking.
Electr. Notes Theor. Comput. Sci., 2007

Automation of Formal Verification of PLC Programs Written in IL.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2003
Checking Object System Designs Incrementally.
J. UCS, 2003

Effiziente Scheduling ohne Algorithmus.
Proceedings of the Tagungsband zum 15. GI-Workshop Grundlagen von Datenbanken, 2003


  Loading...