Edit Profile (opens in new tab) Maciel, Alexis Co-Author Distance Author ID: maciel.alexis Published as: Maciel, Alexis Documents Indexed: 12 Publications since 1993 Co-Authors: 8 Co-Authors with 11 Joint Publications 256 Co-Co-Authors all top 5 Co-Authors 0 single-authored 6 Pitassi, Toniann 4 Thérien, Denis 2 Woods, Alan Robert 1 Beigel, Richard 1 Bonet, Maria Luisa 1 Domingo, Carlos 1 Gavaldà, Ricard 1 Péladeau, Pierre Serials 3 Computational Complexity 2 Information and Computation 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 International Journal of Applied Mathematics Fields 9 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) 1 Partial differential equations (35-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 78 times in 74 Documents Cited by ▼ Year ▼ A new proof of the weak pigeonhole principle. Zbl 1051.03049 Maciel, Alexis; Pitassi, Toniann; Woods, Alan R. 23 2002 Non-automatizability of bounded-depth Frege proofs. Zbl 1058.03063 Bonet, Maria Luisa; Domingo, Carlos; Gavaldà, Ricard; Maciel, Alexis; Pitassi, Toniann 14 2004 Threshold circuits of small majority-depth. Zbl 0916.68060 Maciel, Alexis; Thérien, Denis 11 1998 Programs over semigroups of dot-depth one. Zbl 0946.68073 Maciel, Alexis; Péladeau, Pierre; Thérien, Denis 7 2000 A new proof of the weak pigeonhole principle. Zbl 1296.03033 Maciel, Alexis; Pitassi, Toniann; Woods, Alan R. 6 2000 Efficient threshold circuits for power series. Zbl 1009.68061 Maciel, Alexis; Thérien, Denis 5 1999 Upper and lower bounds for some depth-3 circuit classes. Zbl 0890.68063 Beigel, Richard; Maciel, Alexis 4 1997 Towards lower bounds for bounded-depth Frege proofs with modular connectives. Zbl 0891.03027 Maciel, Alexis; Pitassi, Toniann 4 1998 On \(\text{ACC}^0 [p^k]\) Frege proofs. Zbl 0963.68191 Maciel, Alexis; Pitassi, Toniann 2 1999 Threshold circuits for iterated multiplication: Using AC\(^ 0\) for free. Zbl 0798.68077 Maciel, Alexis; Thérien, Denis 2 1993 Non-automatizability of bounded-depth Frege proofs. Zbl 1058.03063 Bonet, Maria Luisa; Domingo, Carlos; Gavaldà, Ricard; Maciel, Alexis; Pitassi, Toniann 14 2004 A new proof of the weak pigeonhole principle. Zbl 1051.03049 Maciel, Alexis; Pitassi, Toniann; Woods, Alan R. 23 2002 Programs over semigroups of dot-depth one. Zbl 0946.68073 Maciel, Alexis; Péladeau, Pierre; Thérien, Denis 7 2000 A new proof of the weak pigeonhole principle. Zbl 1296.03033 Maciel, Alexis; Pitassi, Toniann; Woods, Alan R. 6 2000 Efficient threshold circuits for power series. Zbl 1009.68061 Maciel, Alexis; Thérien, Denis 5 1999 On \(\text{ACC}^0 [p^k]\) Frege proofs. Zbl 0963.68191 Maciel, Alexis; Pitassi, Toniann 2 1999 Threshold circuits of small majority-depth. Zbl 0916.68060 Maciel, Alexis; Thérien, Denis 11 1998 Towards lower bounds for bounded-depth Frege proofs with modular connectives. Zbl 0891.03027 Maciel, Alexis; Pitassi, Toniann 4 1998 Upper and lower bounds for some depth-3 circuit classes. Zbl 0890.68063 Beigel, Richard; Maciel, Alexis 4 1997 Threshold circuits for iterated multiplication: Using AC\(^ 0\) for free. Zbl 0798.68077 Maciel, Alexis; Thérien, Denis 2 1993 all cited Publications top 5 cited Publications all top 5 Cited by 93 Authors 7 Buss, Samuel R. 7 Jeřábek, Emil 6 Thapen, Neil 5 Atserias, Albert 4 Beyersdorff, Olaf 4 Galesi, Nicola 4 Krajíček, Jan 4 Maciel, Alexis 4 Müller, Moritz 3 Glaßer, Christian 3 Kołodziejczyk, Leszek Aleksander 3 Pitassi, Toniann 2 Allender, Eric W. 2 Beckmann, Arnold 2 Bonet, Maria Luisa 2 Chew, Leroy 2 Esteban, Juan Luis 2 Kabanets, Valentine 2 Kolokolova, Antonina 2 Koucký, Michal 2 Lauria, Massimo 2 Mahajan, Meena 2 Messner, Jochen 2 Myasnikov, Alexei G. 2 Pudlák, Pavel 2 Santhanam, Rahul 2 Şhukla, Anil K. 2 Thérien, Denis 2 Tzameret, Iddo 2 Vassileva, Svetla 2 Weiß, Armin 1 Alman, Josh 1 Annampedu, Viswanath 1 Arunachalam, Srinivasan 1 Balaji, Nikhil 1 Beigel, Richard 1 Borlido, Célia 1 Carlucci, Lorenzo 1 Chen, Lijie 1 Danner, Norman 1 Dantchev, Stefan Stoyanov 1 Datta, Samir 1 Dutta, Pranjal 1 Filmus, Yuval 1 Gál, Anna 1 Gehrke, Mai 1 Green, Frederic 1 Grilo, Alex Bredariol 1 Grosshans, Nathan 1 Hansen, Kristoffer Arnsfelt 1 Hesse, William 1 Huang, Xuangui 1 Köbler, Johannes 1 Krebs, Andreas 1 Kulkarni, Manasi S. 1 Li, Fu 1 Maneva, Elitza N. 1 Martin, Barnaby D. 1 McKenzie, Pierre 1 Mertz, Ian 1 Mix Barrington, David A. 1 Nishizeki, Takao 1 Ojakian, Kerry 1 Oliva, Sergi 1 Oliveira, Igor Carboni 1 Pich, Ján 1 Place, Thomas 1 Pollett, Chris 1 Pratap, Rameshwar 1 Rajasree, Mahesh Sreekumar 1 Razborov, Aleksandr Aleksandrovich 1 Sarma M. N., Jayalal 1 Schmitz, Heinz 1 Segerlind, Nathan 1 Segoufin, Luc 1 Selivanov, Viktor L’vovich 1 Skelley, Alan 1 Srinivasan, Srikanth 1 Straubing, Howard 1 Sundaram, Aarthi 1 Sundaresan, Janani 1 Szeider, Stefan 1 Takimoto, Eiji 1 Travers, Stephen D. 1 Trifonov, Vladimir 1 Uchizawa, Kei 1 Vollmer, Heribert 1 Wagh, Meghanad D. 1 Wagner, Klaus W. 1 Wang, Zhengyu 1 Wei, Yuanhao 1 Zdanowski, Konrad 1 Zeitoun, Marc all top 5 Cited in 17 Serials 12 Annals of Pure and Applied Logic 9 Theoretical Computer Science 8 Information and Computation 6 The Journal of Symbolic Logic 4 Journal of Computer and System Sciences 3 SIAM Journal on Computing 3 Archive for Mathematical Logic 3 Theory of Computing Systems 2 Computational Complexity 2 ACM Transactions on Computational Logic 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Journal of Mathematical Logic 1 Computability all top 5 Cited in 11 Fields 58 Computer science (68-XX) 46 Mathematical logic and foundations (03-XX) 6 Information and communication theory, circuits (94-XX) 3 Number theory (11-XX) 3 Group theory and generalizations (20-XX) 2 Combinatorics (05-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Field theory and polynomials (12-XX) 1 Special functions (33-XX) 1 Quantum theory (81-XX) Citations by Year