Michael Kersten

Orcid: 0000-0002-6385-7031

According to our database1, Michael Kersten authored at least 8 papers between 2003 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
CobWeb - a toolbox for automatic tomographic image analysis based on machine learning techniques: application and examples.
CoRR, 2018

2016
Processing of rock core microtomography images: Using seven different machine learning algorithms.
Comput. Geosci., 2016

2013
Simultaneous segmentation and beam-hardening correction in computed microtomography of rock cores.
Comput. Geosci., 2013

2008
A Model-Based Development Method for Device Drivers.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2006
A multi-phase deadlock detection method for reactive systems based on UML-models.
PhD thesis, 2006

2005
OOCOSIM - Eine objekt-orientierte Co-Designmethode für eingebettete Systeme.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004
On Detecting Deadlocks in Large UML Models.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

2003
Erweiterung der UML um Zeitannotationen zur Analyse des Zeitverhaltens reaktiver Systeme.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003


  Loading...