Alexis Maciel

According to our database1, Alexis Maciel authored at least 12 papers between 1993 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Lifting lower bounds for tree-like proofs.
Comput. Complex., 2014

2006
Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2004
Non-Automatizability of Bounded-Depth Frege Proofs.
Comput. Complex., 2004

2002
A New Proof of the Weak Pigeonhole Principle.
J. Comput. Syst. Sci., 2002

2000
Programs over semigroups of dot-depth one.
Theor. Comput. Sci., 2000

1999
Efficient Threshold Circuits for Power Series.
Inf. Comput., 1999

Circuit Lower Bounds Collapse Relativized Complexity Classes.
Proceedings of the 14th Annual IEEE Conference on Computational Complexity, 1999

1998
Threshold Circuits of Small Majority-Depth.
Inf. Comput., 1998

1997
Upper and Lower Bounds for Some Depth-3 Circuit Classes.
Comput. Complex., 1997

On ACC<sup>0</sup>[<i>p<sup>k</sup></i>] Frege Proofs.
Proceedings of the Twenty-Ninth Annual ACM Symposium on the Theory of Computing, 1997

1996
Towards lower bounds for bounded-depth Frege proofs with modular connectives.
Proceedings of the Proof Complexity and Feasible Arithmetics, 1996

1993
Threshold Circuits for Iterated Multiplication: Using AC0 for Free.
Proceedings of the STACS 93, 1993


  Loading...