Skip to Main content Skip to Navigation

hal-00987578v2  Journal articles
Thomas Given-WilsonDaniele GorlaBarry Jay. A Concurrent Pattern Calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3), pp.1-46. ⟨10.2168/LMCS-10(3:10)2014⟩
hal-01837891v1  Directions of work or proceedings
Martin LeuckerJorge PérezCamilo RuedaFrank D. Valencia. Special Issue: Best Papers Presented at ICTAC 2015
Cambridge University Press, 2018, Mathematical Structures in Computer Science
hal-01248760v2  Journal articles
Benjamin AudouxAlain Couvreur. On tensor products of CSS Codes
Annales de l’Institut Henri Poincaré (D) Combinatorics, Physics and their Interactions, European Mathematical Society, 2019, 6 (2), pp.239-287. ⟨10.4171/AIHPD/71⟩
hal-01646765v1  Journal articles
Olivier FlückigerGabriel SchererMing-Ho YeeAviral GoelAmal Ahmed et al.  Correctness of Speculative Optimizations with Dynamic Deoptimization
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), ⟨10.1145/3158137⟩
hal-01929178v1  Journal articles
James KoppelGabriel SchererArmando Solar-Lezama. Capturing the Future by Replaying the Past Functional Pearl
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 29. ⟨10.1145/3236771⟩
hal-01959590v1  Journal articles
Luca Castelli AleardiOlivier DevillersEric Fusy. Canonical Ordering for Graphs on the Cylinder with Applications to Periodic Straight-line Drawings on the Flat Cylinder and Torus
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2018, 9 (1), pp.391 - 429. ⟨10.20382/jocg.v9i1a14⟩
hal-01846652v1  Journal articles
Luca Castelli AleardiOlivier Devillers. Array-based Compact Data Structures for Triangulations: Practical Solutions with Theoretical Guarantees
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2018, 9 (1), pp.247-289. ⟨10.20382/jocg.v9i1a8⟩
inria-00112838v1  Journal articles
Sylvain GellyOlivier Teytaud. Bayesian Networks: a Non-Frequentist Approach for Parametrization, and a more Accurate Structural Complexity Measure
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006
hal-01483768v1  Journal articles
Craig CostelloBenjamin Smith. Montgomery curves and their arithmetic
Journal of Cryptographic Engineering, Springer, 2017, Special issue on Montgomery arithmetic, ⟨10.1007/s13389-017-0157-6⟩
tel-01243295v1  Theses
Marco Stronati. Designing Location Privacy Mechanisms for flexibility over time and space
Cryptography and Security [cs.CR]. Ecole Polytechnique, 2015. English
hal-00780319v1  Journal articles
Beniamino AccattoliDelia Kesner. Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, Logical Methods in Computer Science, 8 (1), pp.44. ⟨10.2168/LMCS-8(1:28)2012⟩
pastel-00780446v1  Theses
Cyril Cohen. Formalized algebraic numbers: construction and first-order theory.
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English
hal-00761611v1  Conference papers
Andrés AristizábalFilippo BonchiLuis PinoFrank D. Valencia. Reducing Weak to Strong Bisimilarity in CCP
Fifth Interaction and Concurrency Experience, Jun 2012, Stockholm, Sweden. pp.2-16, ⟨10.4204/EPTCS.104⟩
hal-00641408v3  Conference papers
Andrés AristizábalFilippo BonchiLuis PinoFrank Valencia. Partition Refinement for Bisimilarity in CCP
27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93
hal-00761679v1  Conference papers
Andres Felipe Barco SantaSophia KnightFrank D. Valencia. K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter
21st Workshop on Functional and Constraint Logic Programming (WFLP2012), May 2012, Nagoya, Japan
hal-01183066v1  Conference papers
Pierre KarpmanThomas PeyrinMarc Stevens. Practical Free-Start Collision Attacks on 76-step SHA-1
35th International Cryptology Conference - CRYPTO 2015, IACR, Aug 2015, Santa Barbara, United States. pp.623-642, ⟨10.1007/978-3-662-47989-6_30⟩
hal-00760688v1  Conference papers
Catuscia PalamidessiMarco Stronati. Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems
QAPL - Tenth Workshop on Quantitative Aspects of Programming Languages, Apr 2012, Tallin, Estonia. pp.92-105, ⟨10.4204/EPTCS.85.7⟩
hal-00761118v1  Conference papers
Marco GiuntiCatuscia PalamidessiFrank D. Valencia. Hide and New in the Pi-Calculus
Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012), Sep 2012, New Castle upon Tyne, United Kingdom. pp.65-80, ⟨10.4204/EPTCS.89⟩
hal-00760445v2  Conference papers
Mu YangVladimiro SassoneSardaouna Hamadou. A Game-Theoretic Analysis of Cooperation in Anonymity Networks
Principles of Security and Trust - First International Conference, POST 2012, Mar 2012, Tallinn, Estonia. pp.269-289
hal-00691284v3  Conference papers
Lili Xu. Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus
7th International Symposium on Trustworthy Global Computing (TGC), Sep 2012, Newcastle upon Tyne, United Kingdom. pp.198-212
hal-00772420v1  Conference papers
Kaustuv ChaudhuriNicolas GuenotLutz Straßburger. The Focused Calculus of Structures
20th EACSL Annual Conference on Computer Science Logic, Sep 2011, Bergen, Norway. pp.159-173, ⟨10.4230/LIPIcs.CSL.2011.159⟩
hal-00767210v1  Conference papers
Konstantinos ChatzikokolakisMiguel AndrésNicolás BordenabeCatuscia Palamidessi. Broadening the Scope of Differential Privacy Using Metrics
The 13th Privacy Enhancing Technologies Symposium, Jul 2013, Bloomington, Indiana, United States. pp.82-102, ⟨10.1007/978-3-642-39077-7⟩
hal-00766821v1  Conference papers
Miguel AndrésNicolás BordenabeKonstantinos ChatzikokolakisCatuscia Palamidessi. Geo-Indistinguishability: Differential Privacy for Location-Based Systems
20th ACM Conference on Computer and Communications Security, ACM, Nov 2013, Berlin, Germany. pp.901-914, ⟨10.1145/2508859.2516735⟩
hal-00760628v1  Conference papers
Daniel DiazFlorian RichouxPhilippe CodognetYves CaniouSalvador Abreu. Constraint-Based Local Search for the Costas Array Problem
Learning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France