Skip to Main content Skip to Navigation


...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
hal-00524758v1  Journal articles
Julien ForestDelia Kesner. Expression Reduction Systems with Patterns
Journal of Automated Reasoning, Springer Verlag, 2007, 39 (4), pp.513-541
hal-01262275v1  Journal articles
Yacine BoufkhadThomas Hugel. Estimating satisfiability
Discrete Applied Mathematics, Elsevier, 2012, 160 (1-2), pp.19. ⟨10.1016/j.dam.2011.10.005⟩
hal-01423053v1  Journal articles
Vincent Cohen-AddadMichel HabibFabien de Montgolfier. Algorithmic aspects of switch cographs
Discrete Applied Mathematics, Elsevier, 2016, 200, pp.23 - 42. ⟨10.1016/j.dam.2015.07.008⟩
...
hal-01708137v2  Conference papers
Mohamed KhemakhemAxel HeroldLaurent Romary. Enhancing Usability for Automatically Structuring Digitised Dictionaries
GLOBALEX workshop at LREC 2018, May 2018, Miyazaki, Japan
...
hal-01888750v1  Journal articles
Damir DzhafarovLudovic PateyReed SolomonLinda Brown Westrick. Ramsey's theorem for singletons and strong computable reducibility
Proceedings of the American Mathematical Society, American Mathematical Society, 2017, 145 (3), pp.1343 - 1355. ⟨10.1090/proc/13315⟩
...
hal-01888596v1  Journal articles
Ludovic Patey. Ramsey-type graph coloring and diagonal non-computability
Archive for Mathematical Logic, Springer Verlag, 2015, 54 (7-8), pp.899 - 914. ⟨10.1007/s00153-015-0448-5⟩
...
tel-01888675v1  Theses
Ludovic Patey. The reverse mathematics of Ramsey-type theorems
Logic [math.LO]. Université Paris Diderot (Paris 7) Sorbonne Paris Cité, 2016. English
...
hal-01888620v1  Journal articles
Ludovic Patey. Open questions about Ramsey-type statements in reverse mathematics
Bulletin of Symbolic Logic, Association for Symbolic Logic, 2016, 22 (02), pp.151 - 169. ⟨10.1017/bsl.2015.40⟩
...
hal-01888777v1  Journal articles
Damir DzhafarovLudovic Patey. Coloring trees in reverse mathematics
Advances in Mathematics, Elsevier, 2017, 318, pp.497 - 514. ⟨10.1016/j.aim.2017.08.009⟩
...
hal-01888614v1  Journal articles
Ludovic Patey. The strength of the tree theorem for pairs in reverse mathematics
The Journal of Symbolic Logic, Association for Symbolic Logic, 2016, 81 (04), pp.1481 - 1499. ⟨10.1017/jsl.2015.80⟩
...
hal-01888601v1  Journal articles
Ludovic Patey. Iterative forcing and hyperimmunity in reverse mathematics
Computability, IOS Press, 2017, 6 (3), pp.209 - 221. ⟨10.3233/COM-160062⟩
...
hal-01888599v1  Journal articles
Ludovic Patey. Degrees bounding principles and universal instances in reverse mathematics
Annals of Pure and Applied Logic, Elsevier Masson, 2015, 166 (11), pp.1165 - 1185. ⟨10.1016/j.apal.2015.07.003⟩
...
hal-01888756v1  Journal articles
Emanuele FrittaionLudovic Patey. Coloring the rationals in reverse mathematics
Computability, IOS Press, 2017, 6 (4), pp.319 - 331. ⟨10.3233/COM-160067⟩
...
tel-01274140v1  Theses
Xavier Koegler. Population protocols, games, and large populations
Networking and Internet Architecture [cs.NI]. Paris Diderot Unviersity, 2012. English
...
tel-01274130v1  Theses
Hervé Baumann. Diffusion décentralisée d'information dans les systèmes distribués
Réseaux et télécommunications [cs.NI]. Paris Diderot University, 2012. Français
...
tel-01274154v1  Theses
Heger Arfaoui. Local Distributed Decision and Verification
Networking and Internet Architecture [cs.NI]. Paris Diderot University, 2014. English
hal-00668512v1  Conference papers
Fabien Mathieu. Self-Stabilization in Preference-Based Networks
P2P 2007 - Seventh IEEE International Conference on Peer-to-Peer Computing, Sep 2007, Galway, Ireland. pp.203 -210, ⟨10.1109/P2P.2007.16⟩