Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Maciel, Alexis"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A new proof of the weak pigeonhole principle
Alexis Maciel
,
Toniann Pitassi
,
Alan R. Woods
Journal of Computer and System Sciences
64
(4), 2002, pp. 843-872
Programs over semigroups of dot-depth one
Alexis Maciel
,
Pierre Péladeau
,
Denis Thérien
Theoretical Computer Science
245
(1), 2000, pp. 135-148
A new proof of the weak pigeonhole principle
Alexis Maciel
,
Toniann Pitassi
,
Alan R. Woods
Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC'2000 (Portland, Oregon, May 21-23, 2000)
, 2000, pp. 368-377
Circuit lower bounds collapse relativized complexity classes
Richard Beigel
,
Alexis Maciel
Proceedings of the 14th Annual IEEE Conference on Computational Complexity (Atlanta, Georgia, May 4-6, 1999)
, 1999, pp. 222-226
Non-automatizability of bounded-depth Frege proofs
Maria Luisa Bonet
,
Carlos Domingo
,
Ricard Gavaldà
,
Alexis Maciel
,
Toniann Pitassi
Proceedings of the 14th Annual IEEE Conference on Computational Complexity (Atlanta, Georgia, May 4-6, 1999)
, 1999, pp. 15-23
Closures on COPs form complete lattices
Alexis Maciel
,
Denis Thérien
Information and Computation
152
(1), 1999, pp. 62-73
Threshold circuits of small majority-depth
Alexis Maciel
,
Denis Thérien
Information and Computation
146
(1), 1998, pp. 55-83
Upper and lower bounds for some depth-3 circuit classes
Richard Beigel
,
Alexis Maciel
Proceedings of the 12th Annual IEEE Conference on Computational Complexity (Ulm, Germany, June 24-27, 1997)
, 1997, pp. 149-157
On
ACC^0[p^k]
Frege proofs
Alexis Maciel
,
Toniann Pitassi
Proceedings of the 29th Annual ACM Symposium on Theory of Computing, STOC'97 (El Paso, Texas, May 4-6, 1997)
, 1997, pp. 720-729
Threshold circuits for iterated multiplication: Using
\mbox{AC}^0
for free
Alexis Maciel
,
Denis Thérien
Lecture Notes in Computer Science
665
, 1993, pp. 545-554