I'm interested in far too many things for my own good, some of which have academic relevance: formal proofs, logic and proof assistants in general, rewriting, cryptography, security, ...

I'm currently pursuing document-proof assistants integration as part of my employment by the Radboud University Nijmegen. In my free time, I'm pursuing some cryptography-related interests, under the auspices of the cypherpunks.lu group.

In general, external services such as dblp keep better track than I do, although I have multiple aliases on them...

- Alias 1: Lionel Elie Mamane
- Alias 2: Lionel Mamane

Also, they don't have my theses, nor my technical reports.

- Master Thesis: Surreal Numbers in Coq, Technische Universiteit Eindhoven, The Netherlands.
- PhD Thesis: Interactive Mathematical Documents: Creation and Presentation, Radboud Universiteit Nijmegen, The Netherlands.

- Lionel Elie Mamane, Herman Geuvers, James McKinna, A Saturated Extension of λ̄μμ̃ (Lambda-Bar-Mu-Mu-Tilde), technical report ICIS-R09002, Radboud University Nijmegen, 2009. Extended version of the MKM2009 article.

- Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Licensing the Mizar Mathematical Library, in proceedings of Intelligent Computer Mathematics, 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, volume 6824/2011 of Lecture Notes in Computer Science, Springer Verlag, pages 149 - 163. arXiv version
- Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban, Large Formal Wikis: Issues and Solutions, in proceedings of Intelligent Computer Mathematics, 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, volume 6824/2011 of Lecture Notes in Computer Science, Springer Verlag, pages 133 - 148. arXiv version
- Lionel Elie Mamane, Herman Geuvers, James McKinna, A Logically Saturated Extension of λ̅μμ̃ (lambda-bar-mu-mu-tilde), in proceedings of 8th International Conference (MKM2009), held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Intelligent Computer Mathematics, volume 5625/2009 of Lecture Notes in Computer Science, Springer Verlag, pages 405 - 421. Extended version published as technical report ICIS-R09002, Radboud University Nijmegen, 2009
- Lionel Elie Mamane, Herman Geuvers, A Document-Oriented Coq Plugin for TeXmacs, MKM 2007 - Work in Progress, in Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.), Technical report no. 07-06 in RISC Report Series, University of Linz, Austria. 2007, pages 47-60.
- Herman Geuvers, Lionel Elie Mamane, A Document-Oriented Coq Plugin for TeXmacs, to appear in proceedings of the MathUI workshop at the MKM 2006 conference, Wokingham, UK, 10 August 2006.
- Lionel Elie Mamane, Surreal Numbers in Coq, in Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner, editors, Lecture Notes in Computer Science, Volume 3839, Jan 2006, Pages 170 - 185. Published by Springer Verlag. Local Copy.
- Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen, An Interactive Algebra Course with Formalised Proofs and Definitions, in Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, Michael Kohlhase, editor, Lecture Notes in Computer Science, Volume 3863, Jan 2006, Pages 315 - 329. Published by Springer Verlag. Local Copy

- Thoughts on the process of producing mathematical documents, an early collection of thoughts.

As far as I know, my Erdős number is 4, as Herman Geuvers is a 3.

Lost to the mists of time and the vaguaries of archived seminar / conference programs.