sign in · help · news · about ·

BibSonomy :: author :: Rauzy ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(49)

<< < 1 | 2 | 3 > >>

Can Code Polymorphism Limit Information Leakage?
Antoine Amarilli, Sascha Müller, David Naccache, Daniel Page, Pablo Rauzy, and Michael Tunstall IACR Cryptology ePrint Archive (2011)
to dblp by dblp and 1 other user on Jan 13, 2012, 12:00 AM
URL | BibTeX
Can a Program Reverse-Engineer Itself?
Antoine Amarilli, David Naccache, Pablo Rauzy, and Emil Simion IACR Cryptology ePrint Archive (2011)
to dblp by dblp and 1 other user on Jan 13, 2012, 12:00 AM
URL | BibTeX
Measuring Speakers Similarity in Speech by Means of Prosodic Cues: Methods and Potential.
Céline De Looze, and Stéphane Rauzy INTERSPEECH, page 1393-1396. ISCA, (2011)
to dblp by dblp on Dec 21, 2011, 12:00 AM
URL | BibTeX
Can a Program Reverse-Engineer Itself?
Antoine Amarilli, David Naccache, Pablo Rauzy, and Emil Simion IMA Int. Conf., volume 7089 of Lecture Notes in Computer Science, page 1-9. Springer, (2011)
to dblp by dblp and 1 other user on Dec 7, 2011, 12:00 AM
URL | BibTeX
Utilisation des grammaires probabilistes dans les tâches de segmentation et d'annotation prosodique
Irina Nesterenko, and Stéphane Rauzy CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The "Corpus of Interactional Data" CID - Multimodal annotation of conversational speech".
Roxane Bertrand, Philippe Blache, Robert Espesser, Gaëlle Ferré, Christine Meunier, Béatrice Priego-Valverde, and Stéphane Rauzy TAL 49(3):105-134 (2008)
to dblp by dblp on Sep 14, 2011, 12:00 AM
URL | BibTeX
The AltaRica Formalism for Describing Concurrent Systems.
André Arnold, Gérald Point, Alain Griffault, and Antoine Rauzy Fundam. Inform. 40(2-3):109-124 (1999)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure?
Antoine Rauzy CP, volume 976 of Lecture Notes in Computer Science, page 515-532. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Revision in Extended Propositional Calculus.
Odile Papini, and Antoine Rauzy ECSQARU, volume 946 of Lecture Notes in Computer Science, page 328-335. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods.
Macha Nikolskaïa, Antoine Rauzy, and David James Sherman FMCAD, volume 1522 of Lecture Notes in Computer Science, page 100-114. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Can Code Polymorphism Limit Information Leakage?
Antoine Amarilli, Sascha Müller, David Naccache, Dan Page, Pablo Rauzy, and Michael Tunstall WISTP, volume 6633 of Lecture Notes in Computer Science, page 1-21. Springer, (2011)
to dblp by dblp and 1 other user on Jun 6, 2011, 12:00 AM
URL | BibTeX
Toupie: The µ-calculus over Finite Domains as a Constraint Language.
Marc-Michel Corsini, and Antoine Rauzy J. Autom. Reasoning 19(2):143-171 (1997)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Intensive gestures in French and their multimodal correlates.
Gaëlle Ferré, Roxane Bertrand, Philippe Blache, Robert Espesser, and Stéphane Rauzy INTERSPEECH, page 690-693. ISCA, (2007)
to dblp by dblp on Mar 10, 2011, 12:00 AM
URL | BibTeX
Automatic detection and prediction of topic changes through automatic detection of register variations and pause duration.
Céline De Looze, and Stéphane Rauzy INTERSPEECH, page 2919-2922. ISCA, (2009)
to dblp by dblp on Mar 3, 2011, 12:00 AM
URL | BibTeX
New insight into the effects of covalency on the ligand field parameters: a DFT studies
M. Atanasov, C. A. Daul, and C. Rauzy Chem. Phys. Lett. (2003)
to imported by brouder on Oct 2, 2010, 6:22 PM
BibTeX
A DFT based ligand field theory
M. Atanasov, C. A. Daul, and C. Rauzy Optical Spectra and Chemical Bonding in Inorganic Chemistry, volume 106 of Structure and Bonding, Springer, Berlin, (2004)
to imported by brouder on Oct 2, 2010, 6:22 PM
BibTeX
Modeling the properties of open $d$-shell molecules with a multideterminantal DFT
C. Rauzy Ph.D. Thesis, University of Fribourg, (2005)
to imported by brouder on Oct 2, 2010, 6:22 PM
BibTeX
The OTIM Formal Annotation Model: A Preliminary Step before Annotation Scheme.
Philippe Blache, Roxane Bertrand, Mathilde Guardiola, Marie-Laure Guénot, Christine Meunier, Irina Nesterenko, Berthille Pallaud, Laurent Prévot, Béatrice Priego-Valverde, and Stéphane Rauzy LREC, European Language Resources Association, (2010)
to dblp by dblp on Jul 21, 2010, 4:07 PM
URL | BibTeX
Numbers and automata.
G. Rauzy Formal Properties of Finite Automata and Applications, volume 386 of Lecture Notes in Computer Science, page 176-185. Springer, (1988)
to dblp by dblp on Oct 14, 2009, 12:00 AM
URL | BibTeX
Mots infinis en arithmétique.
G. Rauzy Automata on Infinite Words, volume 192 of Lecture Notes in Computer Science, page 165-171. Springer, (1984)
to dblp by dblp on Oct 14, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper