We stand with Ukraine  

Stephan Schweitzer

Affiliations:
  • TU Darmstadt, Germany


According to our database1, Stephan Schweitzer authored at least 6 papers between 2003 and 2007.

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

2007
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme.
[BibTeX]
[DOI]
Dirk Stephan Schweitzer
PhD thesis, 2007

2005
Reasoning About Incompletely Defined Programs.
[BibTeX]
[DOI]
Christoph Walther
,
Stephan Schweitzer
Proceedings of the Logic for Programming, 2005

2004
Verification in the Classroom.
[BibTeX]
[DOI]
Christoph Walther
,
Stephan Schweitzer
J. Autom. Reason., 2004

Automated Termination Analysis for Incompletely Defined Programs.
[BibTeX]
[DOI]
Christoph Walther
,
Stephan Schweitzer
Proceedings of the Logic for Programming, 2004

2003
A Machine-Verified Code Generator.
[BibTeX]
[DOI]
Christoph Walther
,
Stephan Schweitzer
Proceedings of the Logic for Programming, 2003

About VeriFun.
[BibTeX]
[DOI]
Christoph Walther
,
Stephan Schweitzer
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003


  Loading...