Skip to Main content Skip to Navigation


...
inria-00547754v1  Journal articles
Sylvain LefebvreSamuel HornusAnass Lasram. By-example Synthesis of Architectural Textures
ACM Transactions on Graphics, Association for Computing Machinery, 2010, Proceedings of ACM SIGGRAPH 2010, 29 (4), pp.84:1-8. ⟨10.1145/1778765.1778821⟩
...
hal-01880306v1  Conference papers
Tomi KinnunenKong Aik LeeHéctor DelgadoNicholas EvansMassimiliano Todisco et al.  t-DCF: a Detection Cost Function for the Tandem Assessment of Spoofing Countermeasures and Automatic Speaker Verification
Speaker Odyssey 2018 The Speaker and Language Recognition Workshop, Jun 2018, Les Sables d’Olonne, France
...
inria-00578916v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Rewrite-Based Verification of XML Updates
12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
...
hal-01396291v1  Conference papers
Charlie JacommeSteve KremerGuillaume Scerri. Symbolic Models for Isolated Execution Environments
2nd IEEE European Symposium on Security and Privacy (EuroS&P'17), Apr 2017, Paris, France. ⟨10.1109/EuroSP.2017.16⟩
inria-00544503v1  Directions of work or proceedings
Guillaume HanrotFrançois MorainEmmanuel Thomé. Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings
Guillaume Hanrot and François Morain and Emmanuel Thomé. 6197, Springer-Verlag, pp.397, 2010, Lecture Notes in Computer Science, 978-3-642-14518-6. ⟨10.1007/978-3-642-14518-6⟩
...
hal-01624662v1  Conference papers
Laurent GrémyAurore GuillevicFrançois MorainEmmanuel Thomé. Computing discrete logarithms in $GF(p^6)$
Selected Areas in Cryptography – SAC 2017, Aug 2017, Ottawa, Canada. pp.85-105, ⟨10.1007/978-3-319-72565-9_5⟩
...
inria-00442751v2  Conference papers
Marc GlisseSylvain Lazard. On the Complexity of Sets of Free Lines and Line Segments Among Balls in Three Dimensions
26th annual symposium on Computational geometry - SoCG 2010, Jun 2010, Snowbird, Utah, United States
...
inria-00525784v1  Conference papers
Alain GiorgettiClaude MarchéElena TushkanovaOlga Kouchnarenko. Specifying Generic Java Programs: two case studies
11th International Workshop on Language Descriptions, Tools, and Applications - LDTA'2010, Mar 2010, Paphos, Cyprus. pp.92--106
...
inria-00502888v1  Conference papers
Gilles FedakJean-Patrick GelasThomas HeraultVictor IniestaDerrick Kondo et al.  DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey
...
hal-01568030v1  Reports
Olivier DevillersMarc Glisse. Delaunay triangulation of a random sample of a good sample has linear size
[Research Report] RR-9082, Inria Saclay Ile de France; Inria Nancy - Grand Est. 2017, pp.6
...
inria-00518060v1  Conference papers
Samuel Cruz-LaraGil FrancopouloLaurent RomaryNasredine Semar. MLIF: A Metamodel to Represent and Exchange Multilingual Textual Information
LREC (Language Resources and Evaluation Conference), May 2010, Valletta, Malta
...
inria-00534821v1  Conference papers
Kaustuv ChaudhuriDamien DoligezLeslie LamportStephan Merz. Verifying Safety Properties With the TLA+ Proof System
Fifth International Joint Conference on Automated Reasoning - IJCAR 2010, Jul 2010, Edinburgh, United Kingdom. pp.142--148, ⟨10.1007/978-3-642-14203-1_12⟩
inria-00521886v1  Conference papers
Kaustuv ChaudhuriDamien DoligezLeslie LamportStephan Merz. The TLA+ Proof System: Building a Heterogeneous Verification Platform
International Conference on Theoretical Aspects of Computing - ICTAC 2010, Sep 2010, Natal, Brazil. pp.44, ⟨10.1007/978-3-642-14808-8_3⟩
...
hal-01529154v2  Journal articles
David BremnerOlivier DevillersMarc GlisseSylvain LazardGiuseppe Liotta et al.  Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2018, 20 (1), pp.1-11. ⟨10.23638/DMTCS-20-1-1⟩
inria-00538098v1  Books
Mario BotschLeif KobbeltMark PaulyPierre AlliezBruno Lévy. Polygon Mesh Processing
AK Peters / CRC Press, pp.250, 2010, 9781568814261
inria-00537545v1  Book sections
Eric BerberichMichael HemmerSylvain LazardLuis PeñarandaMonique Teillaud. Algebraic kernel
CGAL Editorial board. CGAL User and Reference Manual, 3.6 edition, CGAL Editorial board, 2010
inria-00578884v1  Conference papers
Ryma AbassiFlorent JacquemardMichaël RusinowitchSihem Guemara El Fatmi. XML Access Control: from XACML to Annotated Schemas
Second International Conference on Communications and Networking (ComNet), Nov 2010, Tozeur, Tunisia. pp.1-8, ⟨10.1109/COMNET.2010.5699810⟩