Markus Aderhold

Affiliations:

Technische Universität Darmstadt, Germany

According to our database¹, Markus Aderhold authored at least 6 papers between 2006 and 2010.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2010

Automated Termination Analysis for Programs with Second-Order Recursion.

[BibT_eX]

[DOI]

Markus Aderhold

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.

[BibT_eX]

[DOI]

Markus Aderhold

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Second-Order Programs with Preconditions.

[BibT_eX]

[DOI]

Markus Aderhold

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

Verification of second-order functional programs.

[BibT_eX]

[DOI]

Markus Axel Aderhold

PhD thesis, 2009

2007

Improvements in Formula Generalization.

[BibT_eX]

[DOI]

Markus Aderhold

Proceedings of the Automated Deduction, 2007

2006

Context Dependent Procedures and Computed Types in -eriFun.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages meets Program Verification, 2006

Markus Aderhold

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...