 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01205822v1
Poster
Benjamin Bach, Nathalie Henry Riche, Roland Fernandez, Emmanoulis Giannisakis, Bongshin Lee et al. NetworkCube: Bringing Dynamic Network Visualizations to Domain Scientists Posters of the Conference on Information Visualization (InfoVis), Oct 2015, Chicago, United States. 2015 |
||
|
inria-00638536v2
Communication dans un congrès
Petra Isenberg, Danyel Fisher. Cambiera: Collaborative Tabletop Visual Analytics Videos of the ACM Conference on Computer Supported Cooperative Work (CSCW), Mar 2011, New York, NY, United States. ACM, 2011, <10.1145/1958824.1958916> |
||
|
inria-00246115v1
Communication dans un congrès
Juliana Belding, Reinier Bröker, Andreas Enge, Kristin Lauter. Computing Hilbert Class Polynomials Alfred J. van der Poorten, Andreas Stein. ANTS-VIII - Eighth Algorithmic Number Theory Symposium, May 2008, Banff, Canada. Springer-Verlag, 5011, pp.282-295, 2008, Lecture Notes in Computer Science; Algorithmic Number Theory, 8th International Symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008, Proceedings |
||
|
hal-00734450v2
Communication dans un congrès
Kristin Lauter, Damien Robert. Improved CRT Algorithm for Class Polynomials in Genus $2$ Everett W. Howe and Kiran S. Kedlaya. ANTS X - Algorithmic Number Theory 2012, Jul 2012, San Diego, United States. Mathematical Sciences Publisher, 1, pp.437-461, 2013, The Open Book Series. <10.2140/obs.2013.1.437> |
||
|
hal-00978860v1
Communication dans un congrès
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport. Allocation adaptative de registres en utilisant un nombre linéaire de registres ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4, 2014 |
||
|
hal-00935743v1
Communication dans un congrès
Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy et al. Probabilistic relational verification for cryptographic implementations The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. 2014 |
||
|
hal-01045036v1
Communication dans un congrès
Tomáš Kocák, Michal Valko, Rémi Munos, Branislav Kveton, Shipra Agrawal. Spectral Bandits for Smooth Graph Functions with Applications in Recommender Systems AAAI Workshop on Sequential Decision-Making with Big Data, Jul 2014, Québec City, Canada |
||
|
hal-00925837v1
Communication dans un congrès
Michael Barnett, Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich. A case for static analyzers in the cloud Miguel Gomez-Zamalloa and Germán Puebla. Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Mar 2013, Rome, Italy. Elsevier, 2014, ENTCS; Bytecode Semantics, Verification, Analysis, and Transformation |
||
|
inria-00331193v1
Communication dans un congrès
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca. Canonical Big Operators Theorem Proving in Higher Order Logics, Aug 2008, Montreal, Canada. 5170/2008, 2008, LNCS. <10.1007/978-3-540-71067-7> |
||
|
hal-00646214v1
Chapitre d'ouvrage
Nicolas Le Roux, Yoshua Bengio, Andrew Fitzgibbon. Improving First and Second-Order Methods by Modeling Uncertainty MIT Press. Optimization for Machine Learning, MIT Press, 2011, Neural Information Processing, 978-0-262-01646-9 |
||
|
hal-00780999v1
Communication dans un congrès
Basak Alper, Benjamin Bach, Nathalie Henry Riche, Tobias Isenberg, Jean-Daniel Fekete. Weighted Graph Comparison Techniques for Brain Connectivity Analysis Stephen Brewster and Susanne Bødker and Patrick Baudisch and Michel Beaudouin-Lafon. Proceedings of the 2013 Annual Conference on Human Factors in Computing Systems (CHI 2013, April 27-May 2, 2013, Paris, France), Apr 2013, New York, United States. ACM, pp.483-492, 2013, <10.1145/2470654.2470724> |
||
|
hal-00780803v1
Communication dans un congrès
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub et al. Fully Abstract Compilation to JavaScript 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'13 (2013), Jan 2013, Roma, Italy. 2013 |
||
|
inria-00628775v1
Communication dans un congrès
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen. Self-certification: Bootstrapping certified typecheckers in F* with Coq 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL'12, Jan 2012, Philadelphia, United States. 2012 |
||
|
inria-00338299v1
Communication dans un congrès
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz. A TLA+ Proof System Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA), 2008, Doha, Qatar. 2008 |
||
|
inria-00414948v1
Communication dans un congrès
Nikolaos Georgantas, Sonia Ben Mokhtar, Yérom-David Bromberg, Valérie Issarny, Jarmo Kalaoja et al. The Amigo Service Architecture for the Open Networked Home Environment Fifth Working IEEE / IFIP Conference on Software Architecture : WISCA 2005, 2005, Pittsburgh, Pennsylvania, United States. pp.295-296, 2005 |
||
|
hal-01102254v1
Communication dans un congrès
Antoine Delignat-Lavaud, Martin Abadí, Matthew Birrell, Ilya Mironov, Ted Wobber et al. Web PKI: Closing the Gap between Guidelines and Practices Network and Distributed System Security Symposium, Feb 2014, San Diego, United States. Internet Society, 2014, <10.14722/ndss.2014.23305> |
||
|
hal-01095535v1
Direction d'ouvrage, Proceedings
Kenneth Mcmillan, Xavier Rival. Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings VMCAI (Verification, Model Checking and Abstract Interpretation), Jan 2014, France. Springer, 2014, VMCAI 2014 Proceedings, 978-3-642-54012-7. <10.1007/978-3-642-54013-4> |
||
|
inria-00543874v1
Communication dans un congrès
Patrick Cousot, Radhia Cousot, Francesco Logozzo. A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis ACM Press. Proceedings of the 38$^}$ Annual ACM Symposium on Principles Of Programming Languages (POPL), Jan 2011, Austin, Texas, United States. 2011 |
||
|
inria-00543881v1
Communication dans un congrès
Patrick Cousot, Radhia Cousot, Logozzo Francesco. Precondition Inference from Intermittent Assertions and Application to Contracts on Collections Ranjit Jhala and David Schmidt. Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11), Jan 2011, Austin, Texas, United States. Springer-Verlag, 2011, Lecture Notes in Computer Science |
||
|
hal-01478317v1
Pré-publication, Document de travail
Kevin Scaman, Francis Bach, Sébastien Bubeck, Yin Tat Lee, Laurent Massoulié. Optimal algorithms for smooth and strongly convex distributed optimization in networks 2017 |
||
|
hal-01256099v1
Communication dans un congrès
Benjamin Bach, Natalie Kerracher, Kyle Wm. Hall, Sheelagh Carpendale, Jessie Kennedy et al. Telling Stories about Dynamic Networks with Graph Comics Proceedings of the Conference on Human Factors in Information Systems (CHI), May 2016, New York, United States. ACM, New York, United States, 2016, <10.1145/2858036.2858387> |
||
|
hal-01102803v1
Communication dans un congrès
Masoud Saeida Ardekani, Terry B. Douglas. A Self-Configurable Geo-Replicated Cloud Storage System 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), 2014, Broomfield, CO, United States. <https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ardekani> |
||
|
hal-01351512v1
Communication dans un congrès
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang et al. Specification and Complexity of Collaborative Text Editing ACM. Int. Symp. on Principles of Distributed Computing (PODC) 2016, Jul 2016, Chicago, IL, United States. Int. Symp. on Principles of Distributed Computing (PODC) 2016, PODC 2016, pp.10, 2016, Int. Symp. on Principles of Distributed Computing (PODC) 2016. <http://www.podc.org/podc2016/>. <10.1145/2933057.2933090> |
||
|
hal-00934311v1
Communication dans un congrès
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski. Replicated Data Types: Specification, Verification, Optimality POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, CA, United States. ACM, pp.271-284, 2014, <10.1145/2535838.2535848> |
||
|
hal-01095009v1
Communication dans un congrès
Clark Barrett, Leonardo De Moura, Pascal Fontaine. Proofs in satisfiability modulo theories APPA (All about Proofs, Proofs for All), Jul 2014, Vienna, Austria. 2014 |
||
|
hal-00671948v2
Communication dans un congrès
Razvan Barbulescu, Joppe Bos, Cyril Bouvier, Thorsten Kleinjung, Peter Montgomery. Finding ECM-friendly curves through a study of Galois properties ANTS-X 10th Algorithmic Number Theory Symposium - 2012, Jul 2012, San Diego, United States. 2012 |
||
|
inria-00444693v2
Communication dans un congrès
Thorsten Kleinjung, Kazumaro Aoki, Jens Franke, Arjen Lenstra, Emmanuel Thomé et al. Factorization of a 768-bit RSA modulus Tal Rabin. CRYPTO 2010, Aug 2010, Santa Barbara, United States. Springer Verlag, 6223, pp.333-350, 2010, Lecture Notes in Computer Science; Advances in Cryptology - CRYPTO 2010. <10.1007/978-3-642-14623-7_18> |
||
|
hal-01244623v1
Communication dans un congrès
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics Christoph Benzmüller and Jens Otten. Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Aug 2014, Vienna, Austria. 33, pp.1-16, 2015 |
||
|
hal-00726632v1
Communication dans un congrès
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts et al. TLA+ Proofs AI meets Formal Software Development, Jul 2012, Dagstuhl, Germany. 16 p., 2012, <http://arxiv.org/abs/1208.5933> |
||
|
|
||