Pierre Valarcher
Publications
Publications
|
|
Completeness of Seiller's Abstract Machine2025 |
|
|
Infodroit, 2 ans de recherches (2024-2025) à l'université Paris-Est Créteil2025 |
|
|
Extending the Loop Language with Higher-Order Procedural Variables2008 |
Sequence of Enumeration of QROBDD2004 |
|
|
Evolving MultiAlgebras unify all usual sequential computation models27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.417-428 |
About implementation of primitive recursive algorithmsInternational Workshop on Abstract State Machine, 2005, Paris, France |
|
On the expressive power of Loop language17th Nordic Workshop on Programming Theory, 2005, Copenhaguen, Denmark |
|
Call-by-name vs call-by-value in primitive recursion : storage operator5th International Workshop on Reduction Strategies in Rewriting and Programming, 2005, Nara, Japan |
|
HFE and BDDs: A Practical Attempt at Cryptanalysis2004, pp.11 |
|
Analysis of HFE from a BDD point of viewCCC'03, 2003, China |
|
On the expressive power of system T of Godel: intensional behaviourIV Brasilium Symposium on Programming Language, 2000, Recife, Brazil |
|
Intensional semantics of systel T of Godel2000, pp.230-243 |
|
Intensionality and Extenstionality and primitive recursion1996, pp.142-151 |
|
|
Extending the loop language with higher-order procedural variablesACM Transactions on Computational Logic, 2009, 10 (4), pp.1--37. ⟨10.1145/1555746.1555750⟩ |
Mahler's expansion and boolean functionsJournal of Integer Sequences, 2007, 10 (3), pp.07.3.4 |
|
On the Expressive Power of the Loop LanguageNordic Journal of Computing, 2006, 13, http://www.cs.helsinki.fi/njc |
|
On Maximal QROBDD's of Boolean FunctionsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2005, 39, pp.ITA0442 |
BFCA'06 Boolean Functions: Cryptography and ApplicationsJean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.202, 2006 |
|
BFCA'05 - Boolean Functions: Cryptography and ApplicationsJean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.204, 2005 |
|
Boolean Functions: Cryptography and Applications.Presses Universitaires de Rouen et du Havre, pp.204, 2005 |