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-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⟩
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-00769671v1  Book sections
Pietro BelottiSonia CafieriJon LeeLeo LibertiAndrew J. Miller. On the composition of convex envelopes for quadrilinear terms
Optimization, Simulation, and Control, Springer Verlag, pp 1-16, 2013, Springer Optimization and Its Applications, Volume 76, 978-1-4614-5130-3. ⟨10.1007/978-1-4614-5131-0_1⟩
hal-01622564v2  Master thesis
Maxime Buron. Grouping Answers in Ontology-Based Query Answering
Logic in Computer Science [cs.LO]. 2017
tel-00672699v1  Theses
Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
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-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-00772557v1  Conference papers
Dale Miller. Finding Unity in Computational Logic
ACM-BCS Visions of Computer Science, 2010, Edinburgh, United Kingdom
hal-00772599v1  Conference papers
Dale Miller. Reasoning about computations using two-levels of logic
APLAS 2010: Eighth Asian Symposium on Programming Languages and Systems, 2010, Shanghai, China
hal-00768566v1  Conference papers
Morgan BarbierClément PernetGuillaume Quintin. On the decoding of quasi-BCH codes
WCC - International Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway
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-00766780v1  Conference papers
Evan SenterSaad SheikhIvan DotuYann PontyPeter Clote. Using the Fast Fourier Transform to accelerate the computational search for RNA conformational switches (extended abstract)
RECOMB - 17th Annual International Conference on Research in Computational Molecular Biology - 2013, Apr 2013, Beijing, China