
Samuel Mimram
90%
Libre accès
50
Documents
Affiliation actuelle
- Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX)
Identifiants chercheurs
Publications
Publications
|
Categorical Coherence from Term Rewriting Systems8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.16, ⟨10.4230/LIPIcs.FSCD.2023.16⟩
Communication dans un congrès
hal-04244520
v1
|
|
Division by Two, in Homotopy Type Theory7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. pp.10, ⟨10.4230/LIPIcs.FSCD.2022.11⟩
Communication dans un congrès
hal-04244509
v1
|
|
A cartesian bicategory of polynomial functors in homotopy type theory37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021), Aug 2021, Salzburg, Austria
Communication dans un congrès
hal-03345938
v1
|
|
Syntactic Regions for Concurrent ProgramsProceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Aug 2021, Salzburg, Austria. pp.184-199, ⟨10.4204/EPTCS.351.12⟩
Communication dans un congrès
hal-04244384
v1
|
|
Globular weak ω-categories as models of a type theoryWorkshop on Homotopy Type Theory / Univalent Foundations, Jul 2021, The Internet, Argentina
Communication dans un congrès
hal-04337467
v1
|
|
Describing free ω-categories2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada
Communication dans un congrès
hal-03879498
v1
|
|
A Sound Foundation for the Topological Approach to Task Solvability30th International Conference on Concurrency Theory (CONCUR 2019), Aug 2019, Amsterdam, Netherlands. ⟨10.4230/LIPIcs.CONCUR.2019.34⟩
Communication dans un congrès
hal-04244357
v1
|
|
A Sequent Calculus for OpetopesLICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
Communication dans un congrès
hal-02406569
v1
|
|
Brief Announcement: On the Impossibility of Detecting ConcurrencyDISC, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.50⟩
Communication dans un congrès
hal-04470455
v1
|
|
Coherence of Gray Categories via Rewriting3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.15⟩
Communication dans un congrès
hal-02154822
v1
|
|
On the Impossibility of Detecting Concurrency32nd International Symposium on Distributed Computing (DISC 2018), 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.50⟩
Communication dans un congrès
hal-02155495
v1
|
Concurrent specifications beyond linearizability22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2016.23⟩
Communication dans un congrès
hal-02155500
v1
|
|
|
A type-theoretical definition of weak ω-categoriesLICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005124⟩
Communication dans un congrès
hal-02154846
v1
|
|
Homological computations for term rewriting systems1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. pp.27:1-27:17
Communication dans un congrès
hal-01678175
v1
|
|
From Geometric Semantics to Asynchronous ComputabilityDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_29⟩
Communication dans un congrès
hal-01207146
v1
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Communication dans un congrès
hal-02272045
v1
|
|
Set-based Simulation for Design and Verification of Simulink ModelsEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France
Communication dans un congrès
hal-01290286
v1
|
|
A Categorical Theory of PatchesMFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.283-307, ⟨10.1016/j.entcs.2013.09.018⟩
Communication dans un congrès
hal-00904156
v1
|
|
A Homotopical Completion Procedure with Applications to Coherence of MonoidsRTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩
Communication dans un congrès
hal-00818253
v1
|
|
Trace Spaces: an Efficient New Technique for State-Space ReductionESOP - 21st European Symposium on Programming, Mar 2012, Tallinn, Estonia. pp.274-294, ⟨10.1007/978-3-642-28869-2_14⟩
Communication dans un congrès
hal-00684615
v1
|
HySon: Set-based simulation of hybrid systems23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩
Communication dans un congrès
hal-00819377
v1
|
|
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control SoftwareComputer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, 2011, Unknown, Unknown Region. pp.85--98, ⟨10.1007/978-3-642-24270-0_7⟩
Communication dans un congrès
istex
cea-01809015
v1
|
|
|
A Non-Standard Semantics for Kahn Networks in Continuous TimeComputer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, Sep 2011, Bergen, Norway. pp.35--50, ⟨10.4230/LIPIcs.CSL.2011.35⟩
Communication dans un congrès
inria-00616968
v1
|
|
Liquidsoap: a High-Level Programming Language for Multimedia StreamingSOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. pp.99-110, ⟨10.1007/978-3-642-18381-2_8⟩
Communication dans un congrès
inria-00585728
v1
|
|
Computing Critical Pairs in 2-Dimensional Rewriting SystemsRewriting Theory and Applications, 2010, Edinburgh, United Kingdom. pp.227-242, ⟨10.4230/LIPIcs.RTA.2010.227⟩
Communication dans un congrès
inria-00473983
v1
|
|
Focusing in Asynchronous Games6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Portugal. pp.331-341
Communication dans un congrès
inria-00473967
v1
|
|
The Structure of First-Order CausalityLogic in Computer Science, Aug 2009, Los Angeles, United States. p. 212-221, ⟨10.1109/LICS.2009.19⟩
Communication dans un congrès
inria-00411399
v1
|
|
De la webradio lambda à la λ-webradioJournées Francophones des Langages Applicatifs, Jan 2008, Étretat, France. pp.47-61
Communication dans un congrès
hal-00223902
v1
|
|
De la webradio lambda à la lambda-webradioJFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.47-62
Communication dans un congrès
inria-00202813
v1
|
|
Polygraphs: From Rewriting to Higher CategoriesIn press, London Mathematical Society Lecture Note Series
Ouvrages
hal-04322821
v1
|
The Liquidsoap book2021, 979-8748717717
Ouvrages
hal-04244392
v1
|
|
PROGRAM = PROOF2020, 979-8615591839
Ouvrages
hal-04244364
v1
|
|
Directed Algebraic Topology and ConcurrencySpringer International Publishing, 2016, 978-3-319-15397-1. ⟨10.1007/978-3-319-15398-8⟩
Ouvrages
hal-04244534
v1
|
|
Free precategories as presheaf categories2022
Pré-publication, Document de travail
hal-03877507
v1
|
|
Syntactical approaches to opetopes2019
Pré-publication, Document de travail
hal-02064784
v1
|
|
Presentation of a Game Semantics for First-Order Propositional Logic2008
Pré-publication, Document de travail
hal-00277652
v1
|
|
Asynchronous games: innocence without alternation2007
Pré-publication, Document de travail
hal-00152707
v1
|
|
Sémantique des jeux asynchrones et réécriture 2-dimensionnelleInformatique [cs]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00338643
v2
|
|
Geometric Models of Concurrent ComputationsLogic in Computer Science [cs.LO]. Université Paris 7, 2016
HDR
tel-01783442
v1
|
Chargement...
Chargement...