Samuel Mimram
88%
Libre accès
50
Documents
Affiliations actuelles
- 2071
Identifiants chercheurs
smimram-
0000-0002-0767-2569
- IdRef : 130630039
- Arxiv : mimram_s_1
- Google Scholar : https://scholar.google.fr/citations?user=317FQxEAAAAJ
Publications
|
|
Rewriting in Gray categories with applications to coherenceMathematical Structures in Computer Science, 2022, 32 (5), pp.574-647. ⟨10.1017/S0960129522000299⟩
Article dans une revue
hal-04244411v1
|
|
|
Tietze Equivalences as Weak EquivalencesApplied Categorical Structures, 2022, 30 (3), pp.453-483. ⟨10.1007/s10485-021-09662-w⟩
Article dans une revue
hal-04244388v1
|
|
|
Type theoretical approaches to opetopesHigher Structures, 2022, 6 (1), pp.80 - 181. ⟨10.21136/hs.2022.02⟩
Article dans une revue
hal-04244406v1
|
|
|
Directed Homotopy in Non-Positively Curved SpacesLogical Methods in Computer Science, 2020, ⟨10.23638/LMCS-16(3:4)2020⟩
Article dans une revue
hal-04244375v1
|
|
|
Geometric and combinatorial views on asynchronous computabilityDistributed Computing, 2018, 31 (4), pp.289-316. ⟨10.1007/s00446-018-0328-4⟩
Article dans une revue
hal-02155487v1
|
|
|
Coherent Presentations of Monoidal CategoriesLogical Methods in Computer Science, 2017, 13 (3), pp.1-38. ⟨10.23638/LMCS-13(3:31)2017⟩
Article dans une revue
hal-01662524v1
|
|
|
Iterated chromatic subdivisions are collapsibleApplied Categorical Structures, 2015, 23, pp.777 - 818. ⟨10.1007/s10485-014-9383-6⟩
Article dans une revue
cea-01822918v1
|
|
|
Towards 3-Dimensional Rewriting TheoryLogical Methods in Computer Science, 2014, 10, pp.1-47. ⟨10.2168/LMCS-10(2:1)2014⟩
Article dans une revue
cea-01822999v1
|
|
|
Formal Relationships Between Geometrical and Classical Models for ConcurrencyElectronic Notes in Theoretical Computer Science, 2012, Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO), 283, pp.77-109. ⟨10.1016/j.entcs.2012.05.007⟩
Article dans une revue
inria-00473765v2
|
|
|
The Structure of First-Order Causality (extended version)Mathematical Structures in Computer Science, 2011, 21 (01), pp.65-110. ⟨10.1017/S0960129510000459⟩
Article dans une revue
inria-00559240v1
|
|
|
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-04244520v1
|
|
|
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-04244509v1
|
|
|
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-04337467v1
|
|
|
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-04244384v1
|
|
|
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-03345938v1
|
|
|
Describing free ω-categories2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada
Communication dans un congrès
hal-03879498v1
|
|
|
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-04244357v1
|
|
|
A Sequent Calculus for OpetopesLICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
Communication dans un congrès
hal-02406569v1
|
|
|
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-04470455v1
|
|
|
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-02154822v1
|
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-02155500v1
|
|
|
|
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-02155495v1
|
|
|
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-02154846v1
|
|
|
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-01678175v1
|
|
|
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-01207146v1
|
|
|
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-01290286v1
|
|
|
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-02272045v1
|
|
|
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-00818253v1
|
|
|
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-00904156v1
|
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-00819377v1
|
|
|
|
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-00684615v1
|
|
|
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-00616968v1
|
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
cea-01809015v1
|
|
|
|
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-00585728v1
|
|
|
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-00473983v1
|
|
|
Focusing in Asynchronous Games6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Portugal. pp.331-341
Communication dans un congrès
inria-00473967v1
|
|
|
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-00411399v1
|
|
|
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-00202813v1
|
|
|
De la webradio lambda à la λ-webradioJournées Francophones des Langages Applicatifs, Jan 2008, Étretat, France. pp.47-61
Communication dans un congrès
hal-00223902v1
|
Polygraphs: From Rewriting to Higher CategoriesIn press, London Mathematical Society Lecture Note Series
Ouvrages
hal-04322821v1
|
|
The Liquidsoap book2021, 979-8748717717
Ouvrages
hal-04244392v1
|
|
PROGRAM = PROOF2020, 979-8615591839
Ouvrages
hal-04244364v1
|
|
Directed Algebraic Topology and ConcurrencySpringer International Publishing, 2016, 978-3-319-15397-1. ⟨10.1007/978-3-319-15398-8⟩
Ouvrages
hal-04244534v1
|
|
|
Free precategories as presheaf categories2022
Pré-publication, Document de travail
hal-03877507v1
|
|
|
Syntactical approaches to opetopes2019
Pré-publication, Document de travail
hal-02064784v1
|
|
|
Presentation of a Game Semantics for First-Order Propositional Logic2008
Pré-publication, Document de travail
hal-00277652v1
|
|
|
Asynchronous games: innocence without alternation2007
Pré-publication, Document de travail
hal-00152707v1
|
|
|
Sémantique des jeux asynchrones et réécriture 2-dimensionnelleInformatique [cs]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩
Thèse
tel-00338643v2
|
|
|
Geometric Models of Concurrent ComputationsLogic in Computer Science [cs.LO]. Université Paris 7, 2016
HDR
tel-01783442v1
|