Andreas Schropp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2026
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICCS | CT-Based Assessment of 3D-Printed Clay Elements. | Alexander Chmelnizkij, Jasper Vollmert, Philipp Paetzold, Johannes Gruen, Johannes Hagemann, Johannes Dora, Andreas Schropp, Kosmas Dragos, Kay Smarsly |
| 2013 | CPP | Nonfree Datatypes in Isabelle/HOL - Animating a Many-Sorted Metatheory. | Andreas Schropp, Andrei Popescu |
| 2010 | ITP | A Mechanized Translation from Higher-Order Logic to Set Theory. | Alexander Krauss, Andreas Schropp |