We stand with Ukraine  

Ewaryst Schulz

According to our database1, Ewaryst Schulz authored at least 4 papers between 2008 and 2011.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Formalizing and Operationalizing Industrial Standards.
[BibTeX]
[DOI]
Dominik Dietrich
,
Lutz Schröder
,
Ewaryst Schulz
Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010
Crystal: Integrating Structured Queries into a Tactic Language.
[BibTeX]
[DOI]
Dominik Dietrich
,
Ewaryst Schulz
J. Autom. Reason., 2010

2009
Formal Management of CAD/CAM Processes.
[BibTeX]
[DOI]
Michael Kohlhase
,
Johannes Lemburg
,
Lutz Schröder
,
Ewaryst Schulz
Proceedings of the FM 2009: Formal Methods, 2009

2008
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.
[BibTeX]
[DOI]
Dominik Dietrich
,
Ewaryst Schulz
,
Marc Wagner
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008


  Loading...