Skip to Main content Skip to Navigation
  1. Search


...
hal-03103455v1  Conference papers
Kostia Chardonnet, Alexis Saurin, Benoît Valiron. Toward a Curry-Howard Equivalence for Linear, Reversible Computation
RC 2020 - 12th international conference on Reversible Computation, Jul 2020, Oslo / Virtual, Norway. pp.144-152, ⟨10.1007/978-3-030-52482-1_8⟩
...
inria-00178325v1  Conference papers
Pierre Peterlongo, Laurent Noé, Dominique Lavenier, Gilles Georges, Julien Jacques et al.  Protein similarity search with subset seeds on a dedicated reconfigurable hardware
Parallel Bio-Computing, Sep 2007, Gdansk,, Poland
...
hal-01201743v2  Conference papers
Adrien Abraham, Radoniaina Andriatsimandefitra, Adrien Brunelat, Jean-François Lalande, Valérie Viet Triem Tong. GroddDroid: a Gorilla for Triggering Malicious Behaviors
10th International Conference on Malicious and Unwanted Software, Oct 2015, Fajardo, Puerto Rico. pp.119-127, ⟨10.1109/MALWARE.2015.7413692⟩
inria-00471162v1  Conference papers
Sebastien Hillaire, Anatole Lécuyer, Rémi Cozot, Géry Casiez. Depth-of-Field Blur Effects for First-Person Navigation in Virtual Environments
Symposium on Virtual Reality Software and Technology, ACM, Nov 2007, NewPort Beach, United States
...
inria-00623390v1  Conference papers
Mathieu Giraud, Stéphane Janot, Jean-Frédéric Berthelot, Charles Deltel, Laetitia Jourdan et al.  Biomanycores, open-source parallel code for many-core bioinformatics
Bioinformatics Open Source Conference (BOSC 2011), 2011, Vienne, Austria
...
inria-00000983v1  Conference papers
Gabriel Antoniu, Luc Bougé, Mathieu Jan, Sébastien Monnet, Marin Bertier et al.  GDS: An Architecture Proposal for a grid Data-Sharing Service
Workshop on Future Generation Grids, Nov 2004, Dagstuhl, Germany. pp.133-152, ⟨10.1007/978-0-387-29445-2_8⟩
hal-02434364v1  Conference papers
Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier. Towards Synthesis of Distributed Algorithms with {SMT} Solvers
NETYS 2019 - International conference on networked systems, Jun 2019, Marrakech, Morocco
...
hal-01951176v3  Conference papers
Théo Zimmermann, Annalí Casanueva Artís. Impact of switching bug trackers: a case study on a medium-sized open source project
ICSME 2019 - International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States
hal-02001859v1  Conference papers
Lucas Boczkowski, Amos Korman, Emanuele Natale. Brief Announcement: Self-stabilizing Clock Synchronization with 3-bit Messages
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing (PODC'16), Jul 2016, Chicago, United States. pp.207-209
...
hal-01319066v1  Conference papers
Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau. The Definitional Side of the Forcing
Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩
...
hal-02446443v1  Conference papers
José Rouillard, Philippe Truillet. Enhanced VoiceXML
HCI International, 2005, Las Vegas, United States
...
hal-01422215v1  Conference papers
Ran Chen, Jean-Jacques Lévy. Une preuve formelle de l'algorithme de Tarjan-1972 pour trouver les composantes fortement connexes dans un graphe
JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
hal-00718157v1  Conference papers
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. Behavioural Modelling and Verification of Real-time Software Product Lines
16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil
...
hal-02406569v1  Conference papers
Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram. A Sequent Calculus for Opetopes
LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
...
hal-01632947v1  Conference papers
Ran Chen, Jean-Jacques Lévy. A Semi-automatic Proof of Strong connectivity
9th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2017, Heidelberg, Germany
...
hal-00715252v1  Conference papers
Matthieu Dorier, Gabriel Antoniu, Franck Cappello, Marc Snir, Leigh Orf. Damaris: How to Efficiently Leverage Multicore Parallelism to Achieve Scalable, Jitter-free I/O
CLUSTER 2012 - IEEE International Conference on Cluster Computing, Sep 2012, Beijing, China
...
hal-01087659v1  Conference papers
Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans et al.  Simulation-Based Abstractions for Software Product-Line Model Checking
ICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Zürich, Switzerland. pp.672 - 682, ⟨10.1109/ICSE.2012.6227150⟩
hal-00718216v1  Conference papers
Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. Managing Evolution in Software Product Lines : A Model-Checking Perspective
6th International Workshop on Variability Modelling of Software Intensive Systems, Jan 2012, Leipzig, Saxe, Germany. pp.183-191
...
hal-00726121v1  Conference papers
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens et al.  A Vision for Behavioural Model-Driven Validation of Software Product Lines
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece
hal-00718180v1  Conference papers
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens et al.  Towards Behavioural Model-Driven Validation of Software Product Lines
5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece
...
hal-02888504v1  Conference papers
Yannick Parmentier, Robert Reuter, Sarah Higuet, Lara Kataja, Yves Kreis et al.  PIAF: Developing Computational and Algorithmic Thinking in Fundamental Education
AACE 2020 - EdMedia + Innovate Learning, Jun 2020, Amsterdam / Virtual, Netherlands. pp.315-322
...
hal-02463940v1  Conference papers
Gilbert Busana, Brigitte Denis, Marie Duflot-Kremer, Sarah Higuet, Lara Kataja et al.  PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental
Didapro 8 – DidaSTIC – L'informatique, objets d’enseignements – enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France
hal-00732039v1  Conference papers
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. A diff-Based Merging Operator
Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), Sep 2008, Sidney, Australia. pp.19-25
hal-01249486v1  Conference papers
Hiba Yahyaoui, Saoussen Krichen, Bilel Derbel, El-Ghazali Talbi. A hybrid ILS-VND based hyper-heuristic for permutation flowshop scheduling problem
KES‘2015 19th Int. Conf. on Knowledge-based and Intelligent Information & Engineering Systems, 2015, Singapour, Singapore. pp.632-641, ⟨10.1016/j.procs.2015.08.199⟩
hal-00732036v1  Conference papers
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. Un point de vue épistémique sur la fusion de croyances : l'identification du monde réel
Actes des Cinquièmes Journées Francophones sur les Modèles Formels de l'Interaction (MFI'09), Jun 2009, Lannion, France. pp.135--145
hal-00826463v1  Conference papers
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. Compositional belief merging
KR'2012 -- Roma (Italy) -- 10-14 June 2012, 2012, Italy. pp.603-607
hal-00732027v1  Conference papers
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. Conflict-Based Merging Operators
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008, Sidney, Australia. pp.348--357
hal-00826392v1  Conference papers
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. The epistemic view of belief merging: can we track the truth?
ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010, 2010, Portugal. pp.621-626