|
||
---|---|---|
hal-03103455v1
Conference papers
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
Protein similarity search with subset seeds on a dedicated reconfigurable hardware Parallel Bio-Computing, Sep 2007, Gdansk,, Poland |
||
hal-00637847v1
Conference papers
biomanycores.org: a repository of interoperable open-source code for many-core bioinformatics JOBIM 2011, Jul 2011, Paris, France |
||
hal-01201743v2
Conference papers
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
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
Biomanycores, open-source parallel code for many-core bioinformatics Bioinformatics Open Source Conference (BOSC 2011), 2011, Vienne, Austria |
||
inria-00000983v1
Conference papers
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
Towards Synthesis of Distributed Algorithms with {SMT} Solvers NETYS 2019 - International conference on networked systems, Jun 2019, Marrakech, Morocco |
||
hal-01951176v3
Conference papers
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
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
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-01422215v1
Conference papers
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
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
A Sequent Calculus for Opetopes LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada |
||
hal-01632947v1
Conference papers
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
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-00644834v1
Conference papers
Uniform Monte-Carlo Model Checking FASE 2011, 2011, Saarbrücken, Germany |
||
hal-01087659v1
Conference papers
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
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
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
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
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
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
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
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
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
Compositional belief merging KR'2012 -- Roma (Italy) -- 10-14 June 2012, 2012, Italy. pp.603-607 |
||
hal-00732027v1
Conference papers
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
The epistemic view of belief merging: can we track the truth? ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010, 2010, Portugal. pp.621-626 |
||
|