Skip to Main content Skip to Navigation

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-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⟩
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-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⟩
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-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
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
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-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-00538098v1  Books
Mario BotschLeif KobbeltMark PaulyPierre AlliezBruno Lévy. Polygon Mesh Processing
AK Peters / CRC Press, pp.250, 2010, 9781568814261
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⟩
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
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⟩
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-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⟩
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-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⟩