Michael Drr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | A Natively Parallel Proof Framework for Clause-Sharing SAT Solving. | Ruben Gtz, Michael Drr, Dominik Schreiber |
| 2022 | ITC | Application of Sampling in Industrial Analog Defect Simulation. | Mayukh Bhattacharya, Beatrice Solignac, Michael Drr |
| 2011 | VTC | Evaluation of Dynamic Transfer Nodes for Distributed Cooperative On-Demand Transportation. | Markus Duchon, David Sommer, Michael Drr |