Skip to Main content Skip to Navigation


hal-01271678v1  Directions of work or proceedings
Miguel E. AndrésGeoffrey SmithCatuscia Palamidessi. Special Issue on Quantitative Information Flow
Andrés, Miguel; Palamidessi, Catuscia; Smith, Geoffrey. Cambridge University Press, 2015, ⟨10.1017/S0960129513000583⟩
hal-01425305v1  Reports
Maria Paola BonacinaStéphane Graham-LengrandNatarajan Shankar. A model-constructing framework for theory combination
[Research Report] RR-99/2016, Universita degli Studi di Verona. 2016
hal-02345048v1  Conference papers
Amir-Hossein BateniThibault MannevilleVincent Pilaud. On quadrangulations and Stokes complexes
The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17), Aug 2017, Vienne, Austria. pp.107-113, ⟨10.1016/j.endm.2017.06.027⟩
hal-01178437v2  Conference papers
Filippo BonchiFabio ZanasiPawel Sobocinski. Full Abstraction for Signal Flow Graphs
Proceedings of the 42nd Annual Symposium on Principles of Programming Languages, 2015,, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676993⟩
hal-01284912v1  Journal articles
Filippo BonchiFabio GadducciPaolo BaldanValentina Monreale. Concurrency cannot be observed, asynchronously
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, ⟨10.1017/S0960129513000108⟩
hal-02344034v1  Conference papers
Maribel FernándezIan MackieBhavani Thuraisingham. Specification and Analysis of ABAC Policies via the Category-Based Metamodel
CODASPY 2019, 9th ACM Conference on Data and Application Security and Privacy, Mar 2019, Dallas, United States
hal-01205967v1  Conference papers
Sonia CafieriAlberto CostaPierre Hansen. Modularity maximization clustering with cohesion conditions
EUROPT 2015 - 13th EUROPT Workshop on Advances in Continuous Optimization, Jul 2015, Edinburgh, United Kingdom
cea-01834972v1  Conference papers
A. DjoudiS. BardinÉ. Goubault. Recovering high-level conditions from binary programs
FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, Nov 2016, Limassol, Cyprus. pp.235-253, ⟨10.1007/978-3-319-48989-6_15⟩
cea-01834974v1  Conference papers
O. BouissouE. GoubaultS. PutotA. ChakarovS. Sankaranarayanan. Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Lecture Notes in Computer Science, Apr 2016, Eindhoven, Netherlands. pp.225-243, ⟨10.1007/978-3-662-49674-9_13⟩
cea-01836513v1  Conference papers
F. ClercS. Mimram. Presenting a category modulo a rewriting system
26th International Conference on Rewriting Techniques and Applications (RTA 2015), Jun 2015, Varsovie, Poland. pp.89-105, ⟨10.4230/LIPIcs.RTA.2015.89⟩
hal-02882161v1  Journal articles
Samuel DobsonSteven GalbraithBenjamin Smith. Trustless unknown-order groups
Mathematical Cryptology, Florida Online Journals, In press
hal-01257171v1  Directions of work or proceedings
Martin LeuckerCamilo RuedaFrank Valencia. Theoretical Aspects of Computing - ICTAC 2015
France. 9399, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-25149-3. ⟨10.1007/978-3-319-25150-9⟩
hal-02633117v1  Book sections
Eric GoubaultS. Putot. Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
HSCC '17: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, ACM, pp.1-10, 2017, ⟨10.1145/3049797.3049811⟩
hal-01668257v1  Book sections
Benjamin DoerrCarola DoerrMichael Gnewuch. Probabilistic Lower Discrepancy Bounds for Latin Hypercube Samples
Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan, 2018, 978-3-319-72455-3
hal-02304806v1  Book sections
Nicolas DupinFrank NielsenEl-Ghazali Talbi. K-Medoids Clustering Is Solvable in Polynomial Time for a 2d Pareto Front
Optimization of Complex Systems: Theory, Models, Algorithms and Applications, Springer, pp.790-799, 2020, ⟨10.1007/978-3-030-21803-4_79⟩
hal-03031107v1  Conference papers
Tarmo UustaluNiccolò VeltriNoam Zeilberger. Deductive systems and coherence for skew prounital closed categories
LFMTP 2020 - 15th International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, Jun 2020, Paris, France. pp.35-53, ⟨10.4204/eptcs.332.3⟩
hal-03104617v1  Conference papers
Aunn RazaPeriklis ChrysogelosAngelos AnadiotisAnastasia Ailamaki. Adaptive HTAP through Elastic Resource Scheduling
SIGMOD/PODS '20 - International Conference on Management of Data, Jun 2020, Portland OR USA, United States. pp.2043-2054, ⟨10.1145/3318464.3389783⟩
hal-02632550v1  Book sections
Eric GoubaultS. Putot. Inner and outer reachability for the verification of control systems
Proceedings of the 22th ACM International Conference on Hybrid Systems: Computation and Control, ACM, pp.11-22, 2019, ⟨10.1145/3302504.3311794⟩
hal-01338652v1  Conference papers
Olivier SchwanderFranck Nielsen. Bag-of-Components: An Online Algorithm for Batch Learning of Mixture Models
Geometric Science of Information GSI 2015, Oct 2015, Palaiseau, France. pp.387-395, ⟨10.1007/978-3-319-25040-3_42⟩
hal-01104078v1  Conference papers
Alain CouvreurAyoub OtmaniJean-Pierre TillichValérie Gauthier-Umana. A Polynomial-Time Attack on the BBCRS Scheme
Practice and Theory in Public-Key Cryptography - PKC 2015, Mar 2015, Washington, United States