×
Author ID: valarcher.pierre Recent zbMATH articles by "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

Publications by Year

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

Citations by Year