Pierre Valarcher
19
Documents
Publications
Publications
|
|
Completeness of Seiller's Abstract Machine2025
Pré-publication, Document de travail
(working paper)
hal-05137612
v1
|
|
|
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
Communication dans un congrès
inria-00455373
v1
|
On the expressive power of Loop language17th Nordic Workshop on Programming Theory, 2005, Copenhaguen, Denmark
Communication dans un congrès
hal-00083374
v1
|
|
About implementation of primitive recursive algorithmsInternational Workshop on Abstract State Machine, 2005, Paris, France
Communication dans un congrès
hal-00083380
v1
|
|
Call-by-name vs call-by-value in primitive recursion : storage operator5th International Workshop on Reduction Strategies in Rewriting and Programming, 2005, Nara, Japan
Communication dans un congrès
hal-00083376
v1
|
|
HFE and BDDs: A Practical Attempt at Cryptanalysis2004, pp.11
Communication dans un congrès
hal-00081338
v1
|
|
Analysis of HFE from a BDD point of viewCCC'03, 2003, China
Communication dans un congrès
hal-00081341
v1
|
|
Intensional semantics of systel T of Godel2000, pp.230-243
Communication dans un congrès
hal-00083382
v1
|
|
On the expressive power of system T of Godel: intensional behaviourIV Brasilium Symposium on Programming Language, 2000, Recife, Brazil
Communication dans un congrès
hal-00083381
v1
|
|
Intensionality and Extenstionality and primitive recursion1996, pp.142-151
Communication dans un congrès
hal-00083383
v1
|
|
|
Extending the loop language with higher-order procedural variablesACM Transactions on Computational Logic, 2009, 10 (4), pp.1--37. ⟨10.1145/1555746.1555750⟩
Article dans une revue
hal-00422158
v1
|
Mahler's expansion and boolean functionsJournal of Integer Sequences, 2007, 10 (3), pp.07.3.4
Article dans une revue
hal-00139041
v1
|
|
On the Expressive Power of the Loop LanguageNordic Journal of Computing, 2006, 13, http://www.cs.helsinki.fi/njc
Article dans une revue
hal-00089848
v1
|
|
On Maximal QROBDD's of Boolean FunctionsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2005, 39, pp.ITA0442
Article dans une revue
hal-00081326
v1
|
|
|
Extending the Loop Language with Higher-Order Procedural Variables2008
Autre publication scientifique
hal-00385411
v1
|
Sequence of Enumeration of QROBDD2004
Autre publication scientifique
hal-00081330
v1
|
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
Ouvrages
hal-00131767
v1
|
|
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
Ouvrages
hal-00139042
v1
|
|
Boolean Functions: Cryptography and Applications.Presses Universitaires de Rouen et du Havre, pp.204, 2005
Ouvrages
hal-00081317
v1
|
Chargement...
Chargement...