Nicolas Faro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CASC | Pseudo-complex Quantifier Elimination. | Nicolas Faro, Thomas Sturm |
| 2025 | ISSAC | On the Number of Real Types of Univariate Polynomials. | Nicolas Faro, Thomas Sturm |
| 2025 | ISSAC | Algorithmic Problems in Categories of Partitions. | Nicolas Faro, Sebastian Volz |
| 2024 | SP | Efficient and Generic Microarchitectural Hash-Function Recovery. | Lukas Gerlach, Simon Schwarz, Nicolas Faro, Michael Schwarz |