Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01989726v1 Journal articles Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu, Dmitriy Traytel. 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 Zhenhua Liu, R. Tavares, Evan Forsythe, François André, Raphaël Lugan et al. 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 Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel. 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 Alexander Bentkamp, Jasmin Blanchette, Dietrich Klakow. 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 Jakob Ruess, Heinz Koeppl, Christoph Zechner. 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 Jasmin Blanchette, Stephan Merz. 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 Ulrike von Luxburg, Sébastien Bubeck, Stefanie Jegelka, Michael Kaufmann. Consistent Minimization of Clustering Objective Functions Neural Information Processing Systems, Dec 2007, Vancouver, Canada
	inria-00185780v3 Preprints, Working Papers, ... Sébastien Bubeck, Ulrike von Luxburg. Nearest Neighbor Clustering: A Baseline Method for Consistent Clustering with Arbitrary Objective Functions 2011
	hal-00760398v1 Conference papers Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach. 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 Stephan Merz, Hernán Vanzetto. 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 Tianxiang Lu, Stephan Merz, Christoph Weidenbach. Formal Verification Of Pastry Using TLA+ International Workshop on the TLA+ Method and Tools, Aug 2012, Paris, France
	hal-01205501v1 Conference papers Roberto Calandra, Serena Ivaldi, Marc Peter Deisenroth, Jan Peters. 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 Jasmin Blanchette, Andrei Popescu, Daniel Wand, Christoph Weidenbach. 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 Manamiary Bruno Andriamiarina, Hayat Daoud, Mostefa Belarbi, Dominique Méry, Camel Tanougast. 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 Douglas W. Cunningham, Tobias Isenberg, S. Spencer. 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 Tobias Isenberg, Douglas W. Cunningham. 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 Hélène Barucq, Florian Faucher, Damien Fournier, Laurent Gizon, Ha Pham. 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 Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate Schmidt. 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 Peter Baumgartner, Uwe Waldmann. 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, ... Stephan Merz, Hernán Vanzetto. Encoding TLA+ set theory into many-sorted first-order logic 2015
	inria-00540811v1 Conference papers Tianxiang Lu, Stephan Merz, Christoph Weidenbach. 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 Laurent Candillier, Isabelle Tellier, Fabien Torre, Olivier Bousquet. SSC : Statistical Subspace Clustering 4th International Conference on Machine Learning and Data Mining in Pattern Recognition, 2005, Leipzig, Georgia. pp.100--109
	hal-01661230v1 Preprints, Working Papers, ... Jean-Daniel Boissonnat, Ramsay Dyer, Arijit Ghosh, Mathijs Wintraecken. Local criteria for triangulation of manifolds * 2017
	hal-00760387v1 Journal articles Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch et al. 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 Gerald Lüttgen, Stephan Merz. 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 Mathias Fleury. 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 Pierre Lairez, Emre Can Sertöz. 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 Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun et al. 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 Mikhail Roytberg, Anna Gambin, Laurent Noé, Slawomir Lasota, Eugenia Furletova et al. 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 El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean et al. 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⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize