 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00177224v1
Communication dans un congrès
Stefan Canzar, Ernst Althaus. A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem Combinatorial Optimization and Applications, First International Conference, COCOA 2007, Aug 2007, Xi'an, China. 4616, pp.267-278, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73556-4> |
||
|
hal-00308261v2
Communication dans un congrès
Xavier Granier, M. Goesele, W. Heidrich, H.-P. Seidel. Interactive Visualization of Complex Real-World Light Sources Proceedings of Pacific Graphics 2003, 2003, Canada. pp.59- 66, 2003, <10.1109/PCCGA.2003.1238247> |
||
|
hal-00876492v1
Communication dans un congrès
Oliver Klehm, Ivo Ihrke, Hans-Peter Seidel, Elmar Eisemann. Volume Stylizer: Tomography-based Volume Painting Symposium on Interactive 3D Graphics and Games (i3D'13), 2013, Unknown, Afghanistan. pp.161--168, 2013 |
||
|
hal-00877255v1
Direction d'ouvrage, Proceedings
Otfried Cheong, Kurt Mehlhorn, Monique Teillaud. Proceedings of Computational Geometry (Dagstuhl Seminar 13101) Otfried Cheong and Kurt Mehlhorn and Monique Teillaud. 3 - Nr 3 (3), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp.1--23, 2013, Dagstuhl Reports, <10.4230/DagRep.3.3.1> |
||
|
hal-01122666v1
Communication dans un congrès
Yafang Wang, Bin Yang, Spyros Zoupanos, Marc Spaniol, Gerhard Weikum. Scalable Spatio-temporal Knowledge Harvesting Proceedings of the 20th World Wide Web Conference (www2011), Bangalore, India, March 28 - April 1, 2011, pp. 143-144, 2011, Bangalore, India |
||
|
hal-01122664v1
Communication dans un congrès
Gerhard Weikum, Nikos Ntarmos, Marc Spaniol, Peter Triantafillou, András Benczúr et al. Longitudinal Analytics on Web Archive Data: It's About Time! Proceedings of the 5th biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 9 - 12, pp. 199-202, 2011, 2011, Asilomar, United States. 2011 |
||
|
hal-01122699v1
Article dans une revue
Gerhard Weikum, Johannes Hoffart, Ndapa Nakashole, Marc Spaniol, Fabian M. Suchanek et al. Big Data Methods for Computational Linguistics IEEE Data Engineering Bulletin, IEEE Computer Society, 2012, pp.10 |
||
|
hal-00824955v1
Rapport
François Boulier, Anne J. Shiu, Andreas Weber, Thomas Sturm. Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462) [Research Report] Dagstuhl. 2013, pp.66--86 |
||
|
inria-00099710v1
Communication dans un congrès
Harald Ganzinger, Jürgen Stuber. Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation Franz Baader. 19th International Conference on Automated Deduction - CADE-19, 2003, Miami Beach, FL, United States. Springer Berlin / Heidelberg, 2741, pp.335-349, 2003, Lecture notes in Computer Science; Automated Deduction – CADE-19. <10.1007/978-3-540-45085-6_31> |
||
|
hal-01363955v1
Communication dans un congrès
Alexander Kobel, Fabrice Rouillier, Michael Sagraloff. Computing Real Roots of Real Polynomials ... and now For Real! ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.7, 2016, ISSAC '16 Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation. <10.1145/2930889.2930937> |
||
|
hal-00863919v1
Communication dans un congrès
Ilya Reshtouski, Alkhazur Manakov, Ayush Bhandari, Ramesh Raskar, Hans-Peter Seidel et al. Discovering the Structure of a Planar Mirror System from Multiple Observations of a Single Point CVPR - Conference on Computer Vision and Pattern Recognition, Jun 2013, Portland, Oregon, United States. 2013 |
||
|
hal-01088328v1
Chapitre d'ouvrage
Gábor Horváth, Miklós Blahó, Ádám Egri, Ramón Hegedüs, Győző Szél. Circular Polarization Vision of Scarab Beetles Gábor Horváth. Polarized Light and Polarization Vision in Animal Sciences, Springer Berlin Heidelberg, pp.147-170, 2014, 978-3-642-54717-1. <10.1007/978-3-642-54718-8_6> |
||
|
inria-00537545v1
Chapitre d'ouvrage
Eric Berberich, Michael Hemmer, Sylvain Lazard, Luis Peñaranda, Monique Teillaud. Algebraic kernel CGAL Editorial board. CGAL User and Reference Manual, 3.6 edition, CGAL Editorial board, 2010 |
||
|
hal-00644679v3
Rapport
Konstantinos Karanasos, Asterios Katsifodimos, Ioana Manolescu, Spyros Zoupanos. The ViP2P Platform: XML Views in P2P [Research Report] RR-7812, INRIA. 2011, pp.41 |
||
|
hal-01101044v1
Direction d'ouvrage, Proceedings
Pankaj K. Agarwal, Kurt Mehlhorn, Monique Teillaud. Proceedings of Computational Geometry (Dagstuhl Seminar 11111) Pankaj Kumar Agarwal; Kurt Mehlhorn; Monique Teillaud. Mar 2011, Germany. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011, <10.4230/DagRep.1.3.19>. <http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=11111> |
||
|
inria-00345899v1
Communication dans un congrès
Cyril Crassin, Fabrice Neyret, Sylvain Lefebvre, Elmar Eisemann. GigaVoxels: Ray-Guided Streaming for Efficient and Detailed Voxel Rendering ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games (I3D), Feb 2009, Boston, United States. ACM Press, pp.15-22, 2009, Proceedings of the 2009 symposium on Interactive 3D graphics and games. <10.1145/1507149.1507152> |
||
|
hal-01395576v1
Communication dans un congrès
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak. Fast, Robust, Quantizable Approximate Consensus * Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), <http://www.easyconferences.eu/icalp2016/>. <10.4230/LIPIcs.ICALP.2016.137> |
||
|
inria-00348711v1
Communication dans un congrès
Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion. The Boost Interval Arithmetic Library Real Numbers and Computers, 2003, Lyon, France. pp.65-80, 2003 |
||
|
hal-01088458v1
Communication dans un congrès
Konstantin Korovin, Marek Kosta, Thomas Sturm. Towards Conflict-Driven Learning for Virtual Substitution 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, Jul 2014, Vienna, Austria. CEUR Workshop Proceedings |
||
|
inria-00540811v1
Communication dans un congrès
Tianxiang Lu, Stephan Merz, Christoph Weidenbach. Model Checking the Pastry Routing Protocol Jens Bendisposto and Michael Leuschel and Markus Roggenbach. 10th International Workshop Automated Verification of Critical Systems, Sep 2010, Düsseldorf, Germany. Universität Düsseldorf, pp.19-21, 2010, 10th International Workshop Automated Verification of Critical Systems |
||
|
hal-01322342v1
Communication dans un congrès
Noran Azmy, Stephan Merz, Christoph Weidenbach. A Rigorous Correctness Proof for Pastry Michael J. Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, 2016, Linz, Austria. Springer, 9675, pp.86-101, 2016, <10.1007/978-3-319-33600-8_5> |
||
|
hal-01098078v1
Communication dans un congrès
Daniel Wand. Polymorphic+Typeclass Superposition Konev, Boris and de Moura, Leonardo and Schulz, Stephan. 4th Workshop on Practical Aspects of Automated Reasoning (PAAR 2014), Jul 2014, Vienna, Austria. pp.15 |
||
|
hal-01098072v1
Direction d'ouvrage, Proceedings
Stéphane Demri, Deepak Kapur, Christoph Weidenbach. Automated Reasoning – Seventh International Joint Conference (IJCAR 2014) Stéphane Demri; Deepak Kapur; Christoph Weidenbach. 7th International Joint Conference - IJCAR 2014, Jun 2014, Vienna, Austria. 8562, Springer, 2014, LNCS - Lecture Notes in Computer Science, 978-3-319-08586-9. <10.1007/978-3-319-08587-6>. <http://link.springer.com/book/10.1007%2F978-3-319-08587-6> |
||
|
hal-01336074v1
Communication dans un congrès
Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality 8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. <10.1007/978-3-319-40229-1_4> |
||
|
hal-01336082v1
Communication dans un congrès
Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli. Model Finding for Recursive Functions in SMT 8th International Joint Conference on Automated Reasoning (IJCAR 2016), Jun 2016, Coimbra, Portugal. Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. <10.1007/978-3-319-40229-1_10> |
||
|
hal-01356464v1
Direction d'ouvrage, Proceedings
Jasmin Christian Blanchette, Stephan Merz. Interactive Theorem Proving Nancy, France. 9807, Springer, 2016, Lecture Notes in Computer Science, <10.1007/978-3-319-43144-4> |
||
|
hal-01247991v1
Communication dans un congrès
Gábor Alagi, Christoph Weidenbach. {NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment Carsten Lutz and Silvio Ranise. Frontiers of Combining Systems, 10th International Symposium (FroCos 2015), 2015, Wroclaw, Poland. Springer, Lecture Notes in Computer Science, 9322, pp.69-84, <10.1007/978-3-319-24246-0_5> |
||
|
hal-01114767v2
Rapport
Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier et al. Improved algorithms for solving bivariate systems via Rational Univariate Representations [Research Report] Inria. 2015 |
||
|
hal-00747271v1
Communication dans un congrès
Pascal Fontaine, Stephan Merz, Christoph Weidenbach. Combination of disjoint theories: beyond decidability Bernhard Gramlich and Dale Miller and Uli Sattler. IJCAR - 6th International Joint Conference on Automated Reasoning - 2012, Jun 2012, Manchester, United Kingdom. Springer, 7364, pp.256-270, 2012, Lecture Notes in Computer Science; Automated Reasoning 6th International Joint Conference, IJCAR 2012. <10.1007/978-3-642-31365-3_21> |
||
|
hal-00760392v1
Communication dans un congrès
Jasmin Blanchette, Andrei Popescu, Daniel Wand, Christoph Weidenbach. More SPASS with Isabelle -- Superposition with Hard Sorts and Configurable Simplification Lennart Beringer and Amy Felty. Interactive Theorem Proving (ITP 2012), Aug 2012, Princeton, New Jersey, United States. Springer, 7406, pp.345-360, 2012, LNCS; Interactive Theorem Proving |
||
|
|
||