Edit Profile (opens in new tab) Valarcher, Pierre Co-Author Distance Author ID: valarcher.pierre Published as: Valarcher, Pierre; Valarcher, P. External Links: MGP Documents Indexed: 12 Publications since 2000 Co-Authors: 10 Co-Authors with 10 Joint Publications 44 Co-Co-Authors all top 5 Co-Authors 2 single-authored 3 Grigorieff, Serge 2 Crolard, Tristan 2 Michon, Jean-Francis 2 Yunès, Jean-Baptiste 1 Andary, Philippe 1 Lacas, Samuel 1 Marquer, Yoann 1 Michel, David 1 Patrou, Bruno 1 Polonowski, Emmanuel all top 5 Serials 1 Nordic Journal of Computing 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Integer Sequences 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic Fields 11 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Information and communication theory, circuits (94-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 16 times in 11 Documents Cited by ▼ Year ▼ On the expressive power of the loop language. Zbl 1161.68378 Crolard, Tristan; Lacas, Samuel; Valarcher, Pierre 4 2006 A complete characterization of primitive recursive intensional behaviours. Zbl 1148.68388 Valarcher, P. 3 2008 Evolving multialgebras unify all usual sequential computation models. Zbl 1230.68070 Grigorieff, Serge; Valarcher, Pierre 2 2010 Extending the loop language with higher-order procedural variables. Zbl 1351.68048 Crolard, Tristan; Polonowski, Emmanuel; Valarcher, Pierre 2 2009 A representation theorem for primitive recursive algorithms. Zbl 1252.68114 Andary, Philippe; Patrou, Bruno; Valarcher, Pierre 2 2011 HFE and BDDs: a practical attempt at cryptanalysis. Zbl 1060.94023 Michon, Jean-Francis; Valarcher, Pierre; Yunès, Jean-Baptiste 1 2004 An imperative language characterizing PTIME algorithms. Zbl 1429.68083 Marquer, Yoann; Valarcher, Pierre 1 2016 Classes of algorithms: formalization and comparison. Zbl 1394.68424 Grigorieff, Serge; Valarcher, Pierre 1 2012 An imperative language characterizing PTIME algorithms. Zbl 1429.68083 Marquer, Yoann; Valarcher, Pierre 1 2016 Classes of algorithms: formalization and comparison. Zbl 1394.68424 Grigorieff, Serge; Valarcher, Pierre 1 2012 A representation theorem for primitive recursive algorithms. Zbl 1252.68114 Andary, Philippe; Patrou, Bruno; Valarcher, Pierre 2 2011 Evolving multialgebras unify all usual sequential computation models. Zbl 1230.68070 Grigorieff, Serge; Valarcher, Pierre 2 2010 Extending the loop language with higher-order procedural variables. Zbl 1351.68048 Crolard, Tristan; Polonowski, Emmanuel; Valarcher, Pierre 2 2009 A complete characterization of primitive recursive intensional behaviours. Zbl 1148.68388 Valarcher, P. 3 2008 On the expressive power of the loop language. Zbl 1161.68378 Crolard, Tristan; Lacas, Samuel; Valarcher, Pierre 4 2006 HFE and BDDs: a practical attempt at cryptanalysis. Zbl 1060.94023 Michon, Jean-Francis; Valarcher, Pierre; Yunès, Jean-Baptiste 1 2004 all cited Publications top 5 cited Publications all top 5 Cited by 13 Authors 2 Matos, Armando B. 2 Valarcher, Pierre 1 Brickenstein, Michael 1 Crolard, Tristan 1 Dreyer, Alexander 1 Gava, Frédéric 1 Leivant, Daniel M. 1 Marion, Jean-Yves 1 Marquer, Yoann 1 Paolini, Luca 1 Polonowski, Emmanuel 1 Roversi, Luca 1 Whyman, Richard all top 5 Cited in 7 Serials 4 Theoretical Computer Science 1 Journal of Symbolic Computation 1 MSCS. Mathematical Structures in Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 11 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 Commutative algebra (13-XX) 1 Quantum theory (81-XX) Citations by Year