Alexis Maciel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1993–2006
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | LICS | Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives. | Alexis Maciel, Toniann Pitassi |
| 2000 | STOC | A new proof of the weak pigeonhole principle. | Alexis Maciel, Toniann Pitassi, Alan R. Woods |
| 1997 | STOC | On ACC | Alexis Maciel, Toniann Pitassi |
| 1993 | STACS | Threshold Circuits for Iterated Multiplication: Using AC0 for Free. | Alexis Maciel, Denis Thrien |