Adrian Craciun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2006–2021
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICALP | Kernelization, Proof Complexity and Social Choice. | Gabriel Istrate, Cosmin Bonchis, Adrian Craciun |
| 2015 | ICALP | Short Proofs of the Kneser-Lovsz Coloring Principle. | James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate |
| 2014 | SAT | Proof Complexity and the Kneser-Lovsz Theorem. | Gabriel Istrate, Adrian Craciun |
| 2010 | SYNASC | Type Inference for Regular Expression Pattern Matching. | Mircea Marin, Adrian Craciun |
| 2009 | SYNASC | Factorizations of Regular Hedge Languages. | Mircea Marin, Adrian Craciun |
| 2007 | SYNASC | Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration. | Adrian Craciun, Madalina Hodorog |
| 2006 | SYNASC | Scheme-Based Systematic Exploration of Natural Numbers. | Madalina Hodorog, Adrian Craciun |