Markus Behle
According to our database1,
Markus Behle
authored at least 6 papers
between 2004 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
2004
2005
2006
2007
2008
0
1
2
3
4
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
2007
A Primal Branch-and-Cut Algorithm for the Degree-Constrained Minimum Spanning Tree Problem.
Proceedings of the Experimental Algorithms, 6th International Workshop, 2007
Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, 2007
2005
Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005
2004
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004