dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pierre McKenzie Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, Rahul Santhanam: Pebbles and Branching Programs for Tree Evaluation. TOCT 3(2): 4 (2012)
2011
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaël Cadilhac, Alain Finkel, Pierre McKenzie: On the Expressiveness of Parikh Automata and Related Models. NCMA 2011: 103-119
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaël Cadilhac, Alain Finkel, Pierre McKenzie: Bounded Parikh Automata WORDS 2011: 93-102
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaël Cadilhac, Alain Finkel, Pierre McKenzie: Storming the Parikh Automaton CoRR abs/1101.1547: (2011)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Behle, Andreas Krebs, Klaus-Jörn Lange, Pierre McKenzie: Low uniform versions of NC1. Electronic Colloquium on Computational Complexity (ECCC) 18: 95 (2011)
2010
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Holzer, Pierre McKenzie: The Computational Complexity of RaceTrack. FUN 2010: 260-271
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, Rahul Santhanam: Pebbles and Branching Programs for Tree Evaluation CoRR abs/1005.2642: (2010)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Michael Thomas, Heribert Vollmer: Extensional Uniformity for Boolean Circuits. SIAM J. Comput. 39(7): 3186-3206 (2010)
2009
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr: Fractional Pebbling and Thrifty Branching Programs. FSTTCS 2009: 109-120
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Borchert, Pierre McKenzie, Klaus Reinhardt: Few Product Gates But Many Zeros. MFCS 2009: 162-174
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr: Branching Programs for Tree Evaluation. MFCS 2009: 175-186
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Longpré, Pierre McKenzie: The complexity of Solitaire. Theor. Comput. Sci. 410(50): 5252-5260 (2009)
2008
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Michael Thomas, Heribert Vollmer: Extensional Uniformity for Boolean Circuits. CSL 2008: 64-78
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Michael Thomas, Heribert Vollmer: Extensional Uniformity for Boolean Circuits CoRR abs/0805.4072: (2008)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugues Mercier, Pierre McKenzie, Stefan Wolf: Worst Case Nonzero-Error Interactive Communication. IEEE Transactions on Information Theory 54(7): 2857-2867 (2008)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Gál, Michal Koucký, Pierre McKenzie: Incremental Branching Programs. Theory Comput. Syst. 43(2): 159-184 (2008)
2007
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Longpré, Pierre McKenzie: The Complexity of Solitaire. MFCS 2007: 182-193
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Klaus W. Wagner: The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers. Computational Complexity 16(3): 211-244 (2007)
2006
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Gál, Michal Koucký, Pierre McKenzie: Incremental Branching Programs. CSR 2006: 178-190
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Gál, Pierre McKenzie, Michal Koucký: Incremental branching programs. Complexity of Boolean Functions 2006
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Thomas Schwentick, Denis Thérien, Heribert Vollmer: The many faces of a translation. J. Comput. Syst. Sci. 72(1): 163-179 (2006)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Jenner, Johannes Köbler, Pierre McKenzie, Jacobo Torán: Corrigendum to "Completeness results for graph isomorphism" [J. Comput. System Sci. 66(2003) 549-566]. J. Comput. Syst. Sci. 72(4): 783 (2006)
2005
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Gál, Michal Koucký, Pierre McKenzie: Incremental branching programs Electronic Colloquium on Computational Complexity (ECCC)(136): (2005)
2004
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Finkel, Pierre McKenzie, Claudine Picaronny: A well-structured framework for analysing petri net extensions. Inf. Comput. 195(1-2): 1-29 (2004)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Heribert Vollmer, Klaus W. Wagner: Arithmetic Circuits and Polynomial Replacement Systems. SIAM J. Comput. 33(6): 1513-1531 (2004)
2003
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Klaus W. Wagner: The Complexity of Membership Problems for Circuits over Sets of Natural Numbers. STACS 2003: 571-582
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Jenner, Johannes Köbler, Pierre McKenzie, Jacobo Torán: Completeness results for graph isomorphism. J. Comput. Syst. Sci. 66(3): 549-566 (2003)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Holzer, Pierre McKenzie: Alternating and empty alternating auxiliary stack automata. Theor. Comput. Sci. 1-3(299): 307-326 (2003)
2002
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Markus Holzer, Pierre McKenzie: The complexity of tensor calculus. Computational Complexity 11(1-2): 54-89 (2002)
2001
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer: The Descriptive Complexity Approach to LOGCFL. J. Comput. Syst. Sci. 62(4): 629-652 (2001)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Mix Barrington, Peter Kadau, Klaus-Jörn Lange, Pierre McKenzie: On the Complexity of Some Problems on Groups Input as Multiplication Tables. J. Comput. Syst. Sci. 63(2): 186-200 (2001)
2000
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Heribert Vollmer, Klaus W. Wagner: Arithmetic Circuits and Polynomial Replacement Systems. FSTTCS 2000: 164-175
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Thomas Schwentick, Denis Thérien, Heribert Vollmer: The Many Faces of a Translation. ICALP 2000: 890-901
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Mix Barrington, Peter Kadau, Klaus-Jörn Lange, Pierre McKenzie: On the Complexity of Some Problems on Groups Input as Multiplication Tables. IEEE Conference on Computational Complexity 2000: 62-69
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Markus Holzer, Pierre McKenzie: The Complexity of Tensor Calculus. IEEE Conference on Computational Complexity 2000: 70-86
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Mix Barrington, Pierre McKenzie, Cristopher Moore, Pascal Tesson, Denis Thérien: Equation Satisfiability and Program Satisfiability for Finite Monoids. MFCS 2000: 172-181
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Holzer, Pierre McKenzie: Alternating and Empty Alternating Auxiliary Stack Automata. MFCS 2000: 415-425
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Damm, Markus Holzer, Pierre McKenzie: The Complexity of Tensor Calculus Electronic Colloquium on Computational Complexity (ECCC) 7(36): (2000)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus-Jörn Lange, Pierre McKenzie, Alain Tapp: Reversible Space Equals Deterministic Space. J. Comput. Syst. Sci. 60(2): 354-367 (2000)
1999
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Klaus Reinhardt, V. Vinay: Circuits and Context-Free Languages. COCOON 1999: 194-203
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAugustin Baziramwabo, Pierre McKenzie, Denis Thérien: Modular Temporal Logic. LICS 1999: 344-351
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer: The Descriptive Complexity Approach to LOGCFL. STACS 1999: 444-454
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Raz, Pierre McKenzie: Separation of the Monotone NC Hierarchy. Combinatorica 19(3): 403-435 (1999)
1998
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Jenner, Pierre McKenzie, Jacobo Torán: A Note on the Hardness of Tree Isomorphism. IEEE Conference on Computational Complexity 1998: 101-105
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus-Jörn Lange, Pierre McKenzie: On the Complexity of Free Monoid Morphisms. ISAAC 1998: 247-256
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer: The descriptive complexity approach to LOGCFL CoRR cs.CC/9809114: (1998)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer: The Descriptive Complexity Approach to LOGCFL Electronic Colloquium on Computational Complexity (ECCC) 5(59): (1998)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Caussinus, Pierre McKenzie, Denis Thérien, Heribert Vollmer: Nondeterministic NC1 Computation. J. Comput. Syst. Sci. 57(2): 200-212 (1998)
1997
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRan Raz, Pierre McKenzie: Separation of the Monotone NC Hierarchy. FOCS 1997: 234-243
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus-Jörn Lange, Pierre McKenzie, Alain Tapp: Reversible Space Equals Deterministic Space. IEEE Conference on Computational Complexity 1997: 45-50
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Beaudry, Pierre McKenzie, Pierre Péladeau, Denis Thérien: Finite Moniods: From Word to Circuit Evaluation. SIAM J. Comput. 26(1): 138-152 (1997)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Finkel, Pierre McKenzie: Verifying Identical Communicating Processes is Undecidable. Theor. Comput. Sci. 174(1-2): 217-230 (1997)
1996
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHervé Caussinus, Pierre McKenzie, Denis Thérien, Heribert Vollmer: Nondeterministic NC1 Computation. IEEE Conference on Computational Complexity 1996: 12-21
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Jenner, Pierre McKenzie, Denis Thérien: Logspace and Logtime Leaf Languages. Inf. Comput. 129(1): 21-33 (1996)
1995
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Beaudry, Pierre McKenzie: Circuits, Matrices, and Nonassociative Computation. J. Comput. Syst. Sci. 50(3): 441-455 (1995)
1994
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirgit Jenner, Pierre McKenzie, Denis Thérien: Logspace and Logtime Leaf Languages. Structure in Complexity Theory Conference 1994: 242-254
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Denis Thérien: Special Issue on Circuit Complexity: Foreword. Computational Complexity 4: 297-300 (1994)
1993
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bédard, François Lemieux, Pierre McKenzie: Extensions to Barrington's M-Program Model. Theor. Comput. Sci. 107(1): 31-61 (1993)
1992
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Beaudry, Pierre McKenzie: Cicuits, Matrices, and Nonassociative Computation. Structure in Complexity Theory Conference 1992: 94-106
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Beaudry, Pierre McKenzie, Denis Thérien: The Membership Problem in Aperiodic Transformation Monoids. J. ACM 39(3): 599-616 (1992)
1991
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Pierre Péladeau, Denis Thérien: NC¹: The Automata-Theoretic Viewpoint. Computational Complexity 1: 330-359 (1991)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Mix Barrington, Pierre McKenzie: Oracle branching programs and Logspace versus P Inf. Comput. 95(1): 96-115 (1991)
1990
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bédard, François Lemieux, Pierre McKenzie: Extensions to Barrington's M-Program Model. Structure in Complexity Theory Conference 1990: 200-209
1989
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Denis Thérien: Automata Theory Meets Circuit Complexity. ICALP 1989: 589-602
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Mix Barrington, Pierre McKenzie: Oracle Branching Programs and Logspace versus P. MFCS 1989: 370-379
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Beaudry, Pierre McKenzie, Denis Thérien: Testing Membership: Beyond Permutation Groups (Extended Abstract). STACS 1989: 388-399
1988
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene M. Luks, Pierre McKenzie: Parallel Algorithms for Solvable Permutation Groups. J. Comput. Syst. Sci. 37(1): 39-62 (1988)
1987
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Cook, Pierre McKenzie: Problems Complete for Deterministic Logarithmic Space. J. Algorithms 8(3): 385-394 (1987)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Stephen A. Cook: The Parallel Complexity of Abelian Permutation Group Problems. SIAM J. Comput. 16(5): 880-909 (1987)
1985
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene M. Luks, Pierre McKenzie: Fast Parallel Computation with Permutation Groups FOCS 1985: 505-514
1984
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie: Permutations of Bounded Degree Generate Groups of Polynomial Diameter. Inf. Process. Lett. 19(5): 253-254 (1984)
1983
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre McKenzie, Stephen A. Cook: The Parallel Complexity of the Abelian Permutation Group Membership Problem FOCS 1983: 154-161

Coauthor Index

1David A. Mix Barrington [8] [11] [37] [39] [42]
2Augustin Baziramwabo [32]
3Martin Beaudry [7] [13] [14] [18] [22]
4François Bédard [10] [15]
5Christoph Behle [68]
6Bernd Borchert [63]
7Mark Braverman [62] [64] [66] [72]
8Michaël Cadilhac [69] [70] [71]
9Hervé Caussinus [20] [25]
10Stephen A. Cook [1] [4] [5] [62] [64] [66] [72]
11Carsten Damm [35] [38] [44]
12Alain Finkel [21] [49] [69] [70] [71]
13Anna Gál [50] [53] [54] [57]
14Markus Holzer [35] [36] [38] [44] [45] [67]
15Birgit Jenner [17] [19] [29] [46] [51]
16Peter Kadau [39] [42]
17Johannes Köbler [46] [51]
18Michal Koucký [50] [53] [54] [57]
19Andreas Krebs [68]
20Klaus-Jörn Lange [23] [28] [34] [39] [42] [68]
21Clemens Lautemann [26] [27] [31] [43]
22François Lemieux [10] [15]
23Luc Longpré [56] [61]
24Eugene M. Luks [3] [6]
25Hugues Mercier [58]
26Cristopher Moore [37]
27Pierre Péladeau [12] [22]
28Claudine Picaronny [49]
29Ran Raz [24] [30]
30Klaus Reinhardt [33] [63]
31Rahul Santhanam [62] [64] [66] [72]
32Thomas Schwentick [26] [27] [31] [40] [43] [52]
33Alain Tapp [23] [34]
34Pascal Tesson [37]
35Denis Thérien [7] [9] [12] [13] [16] [17] [19] [20] [22] [25] [32] [37] [40] [52]
36Michael Thomas [59] [60] [65]
37Jacobo Torán [29] [46] [51]
38V. Vinay [33]
39Heribert Vollmer [20] [25] [26] [27] [31] [40] [41] [43] [48] [52] [59] [60] [65]
40Klaus W. Wagner [41] [47] [48] [55]
41Dustin Wehr [62] [64] [66] [72]
42Stefan Wolf [58]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page