|
||
---|---|---|
hal-01989726v1
Journal articles
Bindings as Bounded Natural Functors Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), pp.1-34. ⟨10.1145/3290335⟩ |
||
hal-02438031v1
Journal articles
Evolutionary interplay between sister cytochrome P450 genes shapes plasticity in plant metabolism Nature Communications, Nature Publishing Group, 2016, 7 (1), pp.13026. ⟨10.1038/ncomms13026⟩ |
||
hal-01643157v1
Journal articles
Soundness and Completeness Proofs by Coinductive Methods Journal of Automated Reasoning, Springer Verlag, 2017, 58 (1), pp.149 - 179. ⟨10.1007/s10817-016-9391-3⟩ |
||
hal-02296014v1
Journal articles
A Formal Proof of the Expressiveness of Deep Learning Journal of Automated Reasoning, Springer Verlag, 2019, 63 (2), pp.347-368. ⟨10.1007/s10817-018-9481-5⟩ |
||
hal-01547484v1
Journal articles
Sensitivity estimation for stochastic models of biochemical reaction networks in the presence of extrinsic variability Journal of Chemical Physics, American Institute of Physics, 2017, 146 (12), pp.124122. ⟨10.1063/1.4978940⟩ |
||
hal-02395177v1
Journal articles
Selected Extended Papers of ITP 2016: Preface Journal of Automated Reasoning, Springer Verlag, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩ |
||
inria-00185777v1
Conference papers
Consistent Minimization of Clustering Objective Functions Neural Information Processing Systems, Dec 2007, Vancouver, Canada |
||
inria-00185780v3
Preprints, Working Papers, ...
Nearest Neighbor Clustering: A Baseline Method for Consistent Clustering with Arbitrary Objective Functions 2011 |
||
hal-00760398v1
Conference papers
Automatic Generation of Invariants for Circular Derivations in SUP(LA) 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. pp.197-211 |
||
hal-00760579v1
Conference papers
Harnessing SMT Solvers for TLA+ Proofs 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012), Sep 2012, Bamberg, Germany |
||
hal-00768812v1
Conference papers
Formal Verification Of Pastry Using TLA+ International Workshop on the TLA+ Method and Tools, Aug 2012, Paris, France |
||
hal-01205501v1
Conference papers
Learning torque control in presence of contacts using tactile sensing from robot skin IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS), Nov 2015, Seoul, South Korea |
||
hal-00760392v1
Conference papers
More SPASS with Isabelle -- Superposition with Hard Sorts and Configurable Simplification Interactive Theorem Proving (ITP 2012), Aug 2012, Princeton, New Jersey, United States. pp.345-360 |
||
hal-00763092v1
Conference papers
Formal Verification of Fault Tolerant NoC-based Architecture First International Workshop on Mathematics and Computer Science (IWMCS2012), Mostefa BELARBI - University of Tiaret - Algeria, Dec 2012, Tiaret, Algeria |
||
hal-00781517v1
Directions of work or proceedings
Proceedings of the Seventh International Symposium on Computational Aesthetics in Graphics, Visualization, and Imaging (CAe 2011, August 5--7, 2011, Vancouver, Canada) Aug 2011, Vancouver, Canada. ACM, 2011, 978-1-4503-0908-0. ⟨10.1145/2030441⟩ |
||
hal-00783808v1
Journal articles
Event Report: Computational Aesthetics 2011 Computer Graphics Forum, Wiley, 2011, 30 (8), pp.2457-2458. ⟨10.1111/j.1467-8659.2011.02076.x⟩ |
||
hal-02544701v1
Reports
Efficient computation of the modal outgoing Green's kernel for the scalar wave equation in helioseismology [Research Report] RR-9338, Inria Bordeaux Sud-Ouest; Magique 3D; Max-Planck Institute for Solar System Research. 2020, pp.1-81 |
||
hal-03141064v1
Conference papers
Signature-Based Abduction for Expressive Description Logics 17th International Conference on Principles of Knowledge Representation and Reasoning , Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩ ![]() |
||
hal-00931919v1
Conference papers
Hierarchic Superposition With Weak Abstraction 24th International Conference on Automated Deduction (CADE-24), Jun 2013, Lake Placid, NY, United States. pp.39-57, ⟨10.1007/978-3-642-38574-2_3⟩ ![]() |
||
hal-01244627v1
Preprints, Working Papers, ...
Encoding TLA+ set theory into many-sorted first-order logic 2015 |
||
inria-00540811v1
Conference papers
Model Checking the Pastry Routing Protocol 10th International Workshop Automated Verification of Critical Systems, Sep 2010, Düsseldorf, Germany. pp.19-21 |
||
inria-00536697v1
Conference papers
SSC : Statistical Subspace Clustering 4th International Conference on Machine Learning and Data Mining in Pattern Recognition, 2005, Leipzig, Georgia. pp.100--109 |
||
|
||
hal-00760387v1
Journal articles
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces Science of Computer Programming, Elsevier, 2012, 77 (10-11), pp.1122-1150 |
||
hal-01084232v1
Journal articles
Editorial: Special Issue of Automated Verification of Critical Systems Science of Computer Programming, Elsevier, 2014, Special Issue: Automated Verification of Critical Systems, 96 (3), pp.277-278 |
||
tel-02963301v1
Theses
Formalization of Logical Calculi in Isabelle/HOL Logic in Computer Science [cs.LO]. Universität des Saarlandes Saarbrücken, 2020. English |
||
hal-01932147v2
Journal articles
A numerical transcendental method in algebraic geometry: Computation of Picard groups and related invarian SIAM Journal on Applied Algebra and Geometry, Society for Industrial and Applied Mathematics 2019, 3 (4), pp.559-584. ⟨10.1137/18M122861X⟩ |
||
hal-02512449v1
Journal articles
Automated synthesis of local time requirement for service composition Software and Systems Modeling, Springer Verlag, In press, ⟨10.1007/s10270-020-00787-5⟩ ![]() |
||
inria-00354773v1
Journal articles
On subset seeds for protein alignment IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2009, 6 (3), pp.483-494. ⟨10.1109/TCBB.2009.4⟩ |
||
hal-01933975v1
Directions of work or proceedings
New Trends in Model and Data Engineering MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science, Communications in Computer and Information Science (929), Springer, 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩ |
||
|