Ewaryst Schulz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2008–2011
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FASE | Formalizing and Operationalizing Industrial Standards. | Dominik Dietrich, Lutz Schrder, Ewaryst Schulz |
| 2009 | FM | Formal Management of CAD/CAM Processes. | Michael Kohlhase, Johannes Lemburg, Lutz Schrder, Ewaryst Schulz |
| 2008 | AISC | Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. | Dominik Dietrich, Ewaryst Schulz, Marc Wagner |