Filtrer vos résultats
- 17
- 15
- 20
- 4
- 3
- 3
- 2
- 1
- 32
- 1
- 1
- 3
- 3
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 2
- 1
- 4
- 1
- 25
- 7
- 17
- 9
- 9
- 9
- 8
- 8
- 7
- 6
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 32
- 10
- 10
- 10
- 8
- 7
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
32 résultats
|
|
triés par
|
A Geometric Approach to the Problem of Unique Decomposition of ProcessesCONCUR5 2010 - Concurrency Theory, Aug 2010, Paris, France. pp.132-146
Communication dans un congrès
hal-00527878v1
|
|||
|
Type Soundness and Race Freedom for MezzoFLOPS 2014: 12th International Symposium on Functional and Logic Programming, Jun 2014, Kanazawa, Japan. pp.253 - 269, ⟨10.1007/978-3-319-07151-0_16⟩
Communication dans un congrès
hal-01081194v1
|
||
Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. TerminaleEllipses, pp.526, 2020, 9782340038554
Ouvrages
hal-03023099v1
|
|||
Axiomatic Sharing-via-Labelling23rd International Conference on Rewriting Techniques and Applications, RTA 2012, May 2012, Japan. pp.Unknown
Communication dans un congrès
hal-00698569v1
|
|||
|
Calculs avec Motifs Dynamiques2008
Pré-publication, Document de travail
hal-00476940v1
|
||
|
A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩
Communication dans un congrès
hal-01583815v1
|
||
|
Towards a formal semantics of the TESL specification language3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès
hal-01239669v1
|
||
Optimality for Dynamic PatternsPrinciples and Practice of Declarative Programming 2010, Jul 2010, Hagenberg, Austria. pp.231-241
Communication dans un congrès
hal-00527824v1
|
|||
A Foundational Framework for Certified Impossibility Results with Mobile Robots on GraphsICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩
Communication dans un congrès
hal-01753439v1
|
|||
Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première.Ellipses, 2019
Ouvrages
hal-02379073v1
|
|||
Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problemsFormal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩
Communication dans un congrès
hal-01549942v1
|
|||
A Unified Approach to Fully Lazy Sharing39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Jan 2012, United States. pp.469-480
Communication dans un congrès
hal-00698566v1
|
|||
|
On the Semantics of Polychronous Polytimed Specifications18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩
Communication dans un congrès
hal-02931403v1
|
||
|
Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots[Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12
Rapport
hal-01762962v1
|
||
|
Foundations of strong call by needProceedings of the ACM on Programming Languages, 2017, 1 (ICFP), pp.1 - 29. ⟨10.1145/3110264⟩
Article dans une revue
hal-01766206v1
|
||
Informatique - MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigésEllipses, pp.1116, 2022, 9782340070349
Ouvrages
hal-03886751v1
|
|||
|
Du discrètement continu au continûment discretALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Communication dans un congrès
hal-02871295v1
|
||
|
Manuel de savoir-prouver à l’usage des roboteux et des distributeuxALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
Communication dans un congrès
hal-02115611v1
|
||
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile RobotsStabilization, Safety, and Security of Distributed Systems. SSS 2018., Xavier Defago, Toshimitsu Masuzawa, Koichi Wada, Nov 2018, Tokyo, Japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩
Communication dans un congrès
hal-01937420v1
|
|||
Common compiler optimisations are invalid in the C11 memory model and what we can do about itPOPL 2015 - 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India
Communication dans un congrès
hal-01089047v1
|
|||
|
A strong call-by-need calculusFSCD 2021 - 6th International Conference on Formal Structures for Computation and Deduction, Jul 2021, Buenos Aires, Argentina. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2021.9⟩
Communication dans un congrès
hal-03149692v2
|
||
|
A strong call-by-need calculusLogical Methods in Computer Science, 2023, 19 (1), pp.39. ⟨10.46298/lmcs-19(1:21)2023⟩
Article dans une revue
hal-03409681v3
|
||
|
The Design and Formalization of Mezzo, a Permission-Based Programming LanguageACM Transactions on Programming Languages and Systems (TOPLAS), 2016, 38 (4), pp.94. ⟨10.1145/2837022⟩
Article dans une revue
hal-01246534v1
|
||
|
Optimality for Dynamic Patterns2010
Pré-publication, Document de travail
hal-00508393v1
|
||
On the Implementation of Dynamic PatternsInternational Workshop on Higher-Order Rewriting 2010, Jul 2010, Edinburgh, United Kingdom. pp.29-33
Communication dans un congrès
hal-00527866v1
|
|||
Synchronous Gathering Without Multiplicity Detection: A Certified AlgorithmInternational Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.7-19, ⟨10.1007/978-3-319-49259-9_2⟩
Communication dans un congrès
hal-01491813v1
|
|||
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩
Communication dans un congrès
hal-02115599v1
|
|||
Weak Optimality, and the Meaning of SharingInternational Conference on Functional Programming (ICFP), Sep 2013, Boston, United States. pp.263-274, ⟨10.1145/2500365.2500606⟩
Communication dans un congrès
hal-00907056v1
|
|||
|
A Unified Approach to Fully Lazy Sharing2011
Rapport
hal-00637048v1
|
||
|
Comment s'assurer de garder le contact (et nos distances)ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
Communication dans un congrès
hal-03219933v1
|
- 1
- 2