Skip to Main content Skip to Navigation

tel-01555591v1  Habilitation à diriger des recherches
Maks Ovsjanikov. Functional View of Geometry Processing: Operator-based Techniques for Shape Analysis
Computer Vision and Pattern Recognition [cs.CV]. Université Paris-Sud Orsay, 2017
hal-02872053v2  Conference papers
Abhishek SharmaMaks Ovsjanikov. Weakly Supervised Deep Functional Map for Shape Matching
Neurips 2020, Dec 2020, Vancouver (Virtual Conference), Canada
tel-02326948v1  Theses
Mathias Lepoutre. Blossoming bijections, multitriangulations : What about other surfaces?
Combinatorics [math.CO]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX067⟩
hal-01330414v1  Conference papers
Mário AlvimKonstantinos ChatzikokolakisAnnabelle MciverCarroll MorganCatuscia Palamidessi et al.  Axioms for Information Leakage
29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16
hal-02350777v1  Book sections
Konstantinos ChatzikokolakisGeoffrey Smith. Refinement Metrics for Quantitative Information Flow
Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., 11760, Springer, pp.397-416, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_23⟩
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⟩
tel-01206016v1  Theses
Abraham Cherfi. Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses
Computer Science [cs]. Ecole Doctorale Polytechnique, 2015. English
hal-01615830v1  Conference papers
Maria BonacinaStéphane Graham-LengrandNatarajan Shankar. Satisfiability Modulo Theories and Assignments
CADE 2017 - 26th International Conference on Automated Deduction, Aug 2017, Gothenburg, Sweden. ⟨10.1007/978-3-319-63046-5_4⟩
hal-02307575v1  Journal articles
Simone MelziJing RenKaust RodolàAbhishek SharmaMaks Ovsjanikov et al.  ZoomOut: Spectral Upsampling for Efficient Shape Correspondence
ACM Transactions on Graphics, Association for Computing Machinery, In press, ⟨10.1145/3355089.3356524⟩
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-01935595v1  Conference papers
Maria Paola BonacinaStéphane Graham-LengrandNatarajan Shankar. Proofs in conflict-driven theory combination
Proceedings of the 7th International Conference on Certified Programs and Proofs (CPP'18), Jan 2018, Los Angeles, United States. ⟨10.1145/3167096⟩
hal-02173385v1  Conference papers
Clement DervieuxDominique PoulalhonGilles Schaeffer. The number of corner polyhedra graphs
28-th International Conference on Formal Power Series and Algebraic Combinatorics, Simon Fraser University, Jul 2016, Vancouver, Canada
hal-01188333v1  Journal articles
Eric FusyEmmanuel Guitter. The two-point function of bicolored planar maps
Annales de l’Institut Henri Poincaré (D) Combinatorics, Physics and their Interactions, European Mathematical Society, 2015, 2 (4), pp.335-412. ⟨10.4171/AIHPD/21⟩
hal-02495623v1  Conference papers
Amal Dev ParakkatPrudhviraj MadipallyHari Hara GowthamMarie-Paule Cani. Interactive Flat Coloring of Minimalist Neat Sketches
Eurographics 2020 short paper proceedings, May 2020, Norrköping, Sweden
tel-01429492v1  Habilitation à diriger des recherches
Emmanuel Haucourt. Some Invariants of Directed Topology towards a Theoretical Base for a Static Analyzer Dealing with Fine-Grain Concurrency
Computer Science [cs]. Université Paris 7 - Denis Diderot, 2016
tel-03106197v1  Theses
Thibaut Benjamin. A type theoretic approach to weak w-categories and related higher structures
Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩
hal-03329005v1  Conference papers
Miki Hermann. How to Find the Exit from a 3-Dimensional Maze *
19th Symposium on Experimental Algorithms, Jun 2021, Nice, France. ⟨10.4230/LIPIcs.SEA.2021.21⟩