Concepedia

Alexis Maciel

AM

Statistics

Publications

6

Citations

277

H-Index

6

Active since

1998

Affiliations

Clarkson University(Current)

University of Arizona

McGill University

Tokyo Institute of Technology

University of Toronto

Alexis Maciel is an author at Clarkson University specializing in computing, mathematics, and algorithms.

Publications per year

1998–2004

6

Publications

6

Non-Automatizability of Bounded-Depth Frege Proofs

Marı́a Luisa Bonet, Carlos Domingo, Ricard Gavald� et al. · Computational Complexity · 2004 · 71 citations

, , +14

A New Proof of the Weak Pigeonhole Principle

Alexis Maciel, Toniann Pitassi, Alan R. Woods · Journal of Computer and System Sciences · 2002 · 65 citations

, , +6

A new proof of the weak pigeonhole principle

Alexis Maciel, Toniann Pitassi, Alan R. Woods · 2000 · 61 citations · Full text

, , +6

Threshold Circuits of Small Majority-Depth

Alexis Maciel, Denis Thérien · Information and Computation · 1998 · 40 citations · Full text

, , +9

Programs over semigroups of dot-depth one

Alexis Maciel, Pierre Péladeau, Denis Thérien · Theoretical Computer Science · 2000 · 23 citations

, , +6

1–5 of 6