Adam Koprowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2010
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ESOP | TRX: A Formally Verified Parser Interpreter. | Adam Koprowski, Henri Binsztok |
| 2010 | ITP | Automated Machine-Checked Hybrid System Safety Proofs. | Herman Geuvers, Adam Koprowski, Dan Synek, Eelis van der Weegen |
| 2008 | SOFSEM | Certification of Proving Termination of Term Rewriting by Matrix Interpretations. | Adam Koprowski, Hans Zantema |
| 2007 | CADE | Predictive Labeling with Dependency Pairs Using SAT. | Adam Koprowski, Aart Middeldorp |
| 2006 | CADE | Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems. | Adam Koprowski, Hans Zantema |