Nombre de documents

19

CV de Samuel Mimram


Communication dans un congrès13 documents

  • Éric Goubault, Samuel Mimram, Christine Tasson. From Geometric Semantics to Asynchronous Computability. Yoram Moses; Matthieu Roy. DISC 2015, Oct 2015, Tokyo, Japan. Springer-Verlag Berlin Heidelberg, LNCS 9363, 29th International Symposium on Distributed Computing. <10.1007/978-3-662-48653-5_29>. <hal-01207146>
  • Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models. Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 2014. <hal-01290286>
  • Samuel Mimram, Cinzia Di Giusto. A Categorical Theory of Patches. Dexter Kozen and Michael Mislove. MFPS - Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. Elsevier, 298, pp.283-307, 2013, Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. <http://www.sciencedirect.com/science/article/pii/S1571066113000649>. <10.1016/j.entcs.2013.09.018>. <hal-00904156>
  • Yves Guiraud, Philippe Malbos, Samuel Mimram. A Homotopical Completion Procedure with Applications to Coherence of Monoids. Van Raamsdonk, Femke. RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 21, pp.223-238, 2013, Leibniz International Proceedings in Informatics (LIPIcs). <10.4230/LIPIcs.RTA.2013.223>. <hal-00818253>
  • Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen. Trace Spaces: an Efficient New Technique for State-Space Reduction. Helmut Seidl. ESOP - 21st European Symposium on Programming, Mar 2012, Tallinn, Estonia. Springer, 7211, pp.274-294, 2012, Lecture Notes in Computer Science; Programming Languages and Systems. <http://www.springerlink.com/content/9q223737w333j551/>. <10.1007/978-3-642-28869-2_14>. <hal-00684615>
  • Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram. HySon: Set-based simulation of hybrid systems. 23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, 2012, <10.1109/RSP.2012.6380694>. <hal-00819377>
  • David Baelde, Romain Beauxis, Samuel Mimram. Liquidsoap: a High-Level Programming Language for Multimedia Streaming. Cerná, Ivana and Gyimóthy, Tibor and Hromkovic, Juraj and Jefferey, Keith and Královic, Rastislav and Vukolic, Marko and Wolf, Stefan. SOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. Springer Berlin / Heidelberg, 6543, pp.99-110, 2011, Lecture Notes in Computer Science; SOFSEM 2011: Theory and Practice of Computer Science. <10.1007/978-3-642-18381-2_8>. <inria-00585728>
  • Romain Beauxis, Samuel Mimram. A Non-Standard Semantics for Kahn Networks in Continuous Time. Marc Bezem. Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL, Sep 2011, Bergen, Norway. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 12, pp.35--50, 2011, Leibniz International Proceedings in Informatics (LIPIcs); Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. <http://drops.dagstuhl.de/opus/volltexte/2011/3221>. <10.4230/LIPIcs.CSL.2011.35>. <inria-00616968>
  • Samuel Mimram. Focusing in Asynchronous Games. Fernando Ferreira and Benedikt Löwe and Elvira Mayordomo and Luís Mendes Gomes. 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Portugal. 6158, pp.331-341, 2010, LNCS; Programs, Proofs, Processes. <inria-00473967>
  • Samuel Mimram. Computing Critical Pairs in 2-Dimensional Rewriting Systems. Christopher Lynch. Rewriting Theory and Applications, 2010, Edinburgh, United Kingdom. 6, pp.227-242, 2010, Leibniz International Proceedings in Informatics (LIPIcs); Proceedings of the 21st International Conference on Rewriting Techniques and Applications. <http://drops.dagstuhl.de/opus/volltexte/2010/2655>. <10.4230/LIPIcs.RTA.2010.227>. <inria-00473983>
  • Samuel Mimram. The Structure of First-Order Causality. Logic in Computer Science, Aug 2009, Los Angeles, United States. IEEE Computer Society, p. 212-221, 2009, Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science. <10.1109/LICS.2009.19>. <inria-00411399>
  • David Baelde, Samuel Mimram. De la webradio lambda à la lambda-webradio. JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.47-62, 2008. <inria-00202813>
  • David Baelde, Samuel Mimram. De la webradio lambda à la λ-webradio. Journées Francophones des Langages Applicatifs, Jan 2008, Étretat, France. pp.47-61, 2008. <hal-00223902>

Rapport1 document

  • Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram. Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. 2013. <hal-00831438>

Thèse1 document

  • Samuel Mimram. Sémantique des jeux asynchrones et réécriture 2-dimensionnelle. Informatique [cs]. Université Paris-Diderot - Paris VII, 2008. Français. <tel-00338643v2>

Pré-publication, Document de travail2 documents

  • Samuel Mimram. Presentation of a Game Semantics for First-Order Propositional Logic. 2008. <hal-00277652>
  • Paul-André Melliès, Samuel Mimram. Asynchronous games: innocence without alternation. 2007. <hal-00152707>

Article dans une revue2 documents