Paulin Jacob de Naurois
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2003–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CSL | Parallelism in Soft Linear Logic. | Paulin Jacob de Naurois |
| 2008 | LICS | Correctness of Multiplicative Additive Proof Structures is NL-Complete. | Paulin Jacob de Naurois, Virgile Mogbil |
| 2007 | CSL | Correctness of Multiplicative (and Exponential) Proof Structures is | Paulin Jacob de Naurois, Virgile Mogbil |
| 2006 | CiE | A Measure of Space for Computing over the Reals. | Paulin Jacob de Naurois |
| 2005 | FCT | The Complexity of Semilinear Problems in Succinct Representation. | Peter Brgisser, Felipe Cucker, Paulin Jacob de Naurois |
| 2003 | FOSSACS | Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time. | Olivier Bournez, Felipe Cucker, Paulin Jacob de Naurois, Jean-Yves Marion |