Skip to Main content Skip to Navigation

inria-00344349v1  Journal articles
Sylvain PionChee Yap. Constructive root bound for k-ary rational input numbers
Theoretical Computer Science, Elsevier, 2006, 369 (1-3), pp.361-376. ⟨10.1016/j.tcs.2006.09.010⟩
inria-00344355v1  Journal articles
Chen LiSylvain PionChee Yap. Recent progress in exact geometric computation
Journal of Logic and Algebraic Programming, Elsevier, 2005, Practical development of exact real number computation, 64 (1), pp.85-111. ⟨10.1016/j.jlap.2004.07.006⟩
inria-00348715v1  Conference papers
Sylvain PionChee Yap. Constructive Root Bound for k-Ary Rational Input Numbers
19th Annual ACM Symposium on Computational Geometry (SCG), Jun 2003, San Diego, California, United States. pp.256-263
inria-00344515v1  Conference papers
Lutz KettnerKurt MehlhornSylvain PionStefan SchirraChee Yap. Classroom Examples of Robustness Problems in Geometric Computations
European Symposium on Algorithms (ESA), Sep 2004, Bergen, Norway. pp.702-713
inria-00444797v1  Conference papers
Marc ShapiroNishith Krishna. The three dimensions of data consistency
Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), Nov 2005, Paris, France. pp.54--58
inria-00444799v1  Conference papers
Marc ShapiroKarthikeyan BhargavanNishith Krishna. A Constraint-based Formalism for Consistency in Replicated Systems
OPODIS 2004 - 8th International Conference on Principles of Distributed Systems, Dec 2004, Grenoble, France. pp.331--345, ⟨10.1007/11516798_24⟩
inria-00519591v1  Conference papers
Jihun YuChee YapZilin DuSylvain PionHervé Brönnimann. The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan
inria-00528611v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis and Verification of Aerospace Software by Abstract Interpretation
American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
inria-00528632v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis by Abstract Interpretation of Embedded Critical Software
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
hal-00531563v1  Conference papers
Liqian ChenAntoine MinéJi WangPatrick Cousot. An Abstract Domain to Discover Interval Linear Equalities
11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128
inria-00537499v1  Documents associated with scientific events
Ken PerlinFabrice Neyret. Flow Noise
28th International Conference on Computer Graphics and Interactive Techniques (Technical Sketches and Applications), Aug 2001, Los Angeles, United States. SIGGRAPH, Technical Sketches and Applications, pp.187, 2001
inria-00537450v1  Books
Marc AlexaAlexis AngelidisMarie-Paule CaniKaran SinghDenis Zorin. Interactive Shape Modelling
The Eurographics Association, Tutorial 5, pp.102, 2005, Tutorial series
inria-00547772v1  Conference papers
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  State of the Art in Procedural Noise Functions
31st annual conference of the European Association for Computer Graphics - Eurographics 2010, May 2010, Norrköping, Sweden
hal-00646816v1  Conference papers
Y-Lan BoureauNicolas Le RouxFrancis BachJean PonceYann Lecun. Ask the locals: multi-way local pooling for image recognition
ICCV'11 - The 13th International Conference on Computer Vision, Nov 2011, Barcelone, Spain
hal-00648039v1  Conference papers
Liqian ChenPatrick CousotAntoine MinéJi Wang. Linear Absolute Value Relation Analysis
ESOP 2011 : 20th European Symposium on Programming, Mar 2011, Saarbrücken, Germany. pp.156-175, ⟨10.1007/978-3-642-19718-5⟩
hal-00658664v1  Journal articles
Gérard Ben ArousYueyun HuStefano OllaOfer Zeitouni. Einstein relation for biased random walk on Galton--Watson trees
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2013, 49 (3), pp.698-721. ⟨10.1214/12-AIHP486⟩
hal-00804550v1  Conference papers
David BommesBruno LévyNico PietroniEnrico PuppoClaudio Silva et al.  State of the Art in Quad Meshing
Eurographics - 33rd Annual Conference of the European Association for Computer Graphics - 2012, May 2012, Cagliari, Italy
hal-00864284v1  Conference papers
Vadim LyubashevskyChris PeikertOded Regev. A toolkit for Ring-LWE cryptography
EUROCRYPT - 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques - 2013, May 2013, Athens, Greece. pp.35-54, ⟨10.1007/978-3-642-38348-9_3⟩
hal-00864431v1  Conference papers
Yevgeniy DodisDavid PointchevalSylvain RuhaultDamien VergnaudDaniel Wichs. Security Analysis of Pseudo-Random Number Generators with Input: /dev/random is not Robust
ACM CCS 2013 - 20th ACM Conference on Computer and Communications Security, Nov 2013, Berlin, Germany. ⟨10.1145/2508859.2516653⟩
hal-00905851v1  Journal articles
Erwan FaouPierre GermainZaher Hani. The weakly nonlinear large-box limit of the 2D cubic nonlinear Schrödinger equation
Journal of the American Mathematical Society, American Mathematical Society, 2016, 29 (4), pp.915-982. ⟨10.1090/jams/845⟩
hal-00911590v1  Directions of work or proceedings
Jocelyne ErhelMartin GanderLaurence HalpernGéraldine PichotTaoufik Sassi et al.  Domain Decomposition Methods in Science and Engineering XXI
Jocelyne Erhel and Martin Gander and Laurence Halpern and Géraldine Pichot and Taoufik Sassi and Olof Widlund. Springer, pp.800, 2014
hal-00920177v1  Journal articles
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  A Survey of Procedural Noise Functions
Computer Graphics Forum, Wiley, 2010, 29 (8), pp.2579-2600. ⟨10.1111/j.1467-8659.2010.01827.x⟩
hal-00921792v1  Journal articles
Vadim LyubashevskyChris PeikertOded Regev. On Ideal Lattices and Learning with Errors over Rings
Journal of the ACM (JACM), Association for Computing Machinery, 2013, 60 (6), ⟨10.1145/2535925⟩
hal-00922194v1  Conference papers
Zvika BrakerskiAdeline Roux-LangloisChris PeikertOded RegevDamien Stehlé. Classical Hardness of Learning with Errors
Proceedings of STOC, 2013, United States. pp.575-584
hal-00930070v1  Conference papers
Patrick CousotRadhia CousotManuel FähndrichFrancesco Logozzo. Automatic Inference of Necessary Preconditions
VMCAI 2013 - 14th Conference on Verification, Model Checking and Abstract Interpretation, Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni, Jan 2013, Rome, Italy. pp.128-148, ⟨10.1007/978-3-642-35873-9_10⟩
hal-00930096v1  Conference papers
Omer TrippMarco PistoiaPatrick CousotRadhia CousotSalvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications
FASE 2013 - International Conference Fundamental Approaches to Software Engineering, Vittorio Cortellessa and Dániel Varró, Mar 2013, Rome, Italy. pp.210-225, ⟨10.1007/978-3-642-37057-1_15⟩
hal-00930103v1  Conference papers
Patrick CousotRadhia Cousot. A galois connection calculus for abstract interpretation
POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Suresh Jagannathan and Peter Sewell, Jan 2014, San Diego, United States. pp.3-4, ⟨10.1145/2535838.2537850⟩
hal-01108790v1  Conference papers
Patrick CousotRadhia Cousot. Abstract interpretation: past, present and future
CSL-LICS '14 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603165⟩