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⟩
...
pastel-00927122v1  Theses
Zheng Qu. Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
hal-01959322v1  Journal articles
Gilles BartheThomas EspitauBenjamin GrégoireJustin HsuPierre-Yves Strub. Proving expected sensitivity of probabilistic programs
Proceedings of the ACM on Programming Languages, ACM, 2017, 2 (POPL), pp.1-29. ⟨10.1145/3158145⟩
...
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-01422174v1  Theses
Simona Schiavi. Homogenized and analytical models for the diffusion MRI signal
Analysis of PDEs [math.AP]. Université Paris Saclay; École Polytechnique X, 2016. English. ⟨NNT : 2016SACLX083⟩
...
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-00927358v1  Theses
Zhiping Rao. Hamilton-Jacobi-Bellman approach for optimal control problems with discontinuous coefficients
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
...
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⟩