Research output per year
Research output per year
Personal profile
Research
Endowed Professor “Automated Verification of Mathematical Proof”
Stichting Computer Algebra Nederland
Department of Mathematics, Vrije Universiteit Amsterdam
Ancillary activities
- Inria | Nantes | onderzoeker | 2018-10-01 - present
Ancillary activities are updated daily
Fingerprint
Dive into the research topics where Assia Mahboubi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence
Cohen, C., Crance, E. & Mahboubi, A., 2024, Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, Vol. 1. p. 269-274 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14576 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory
Blot, V., Cousineau, D., Crance, E., De Prisque, L. D., Keller, C., Mahboubi, A. & Vial, P., 11 Jan 2023, CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 63-77Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
Gardening with the Pythia A Model of Continuity in a Dependent Setting
Baillon, M., Mahboubi, A. & Pédrot, P.-M., 1 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
Unsolvability of the quintic formalized in dependent type theory
Bernard, S., Cohen, C., Mahboubi, A. & Strub, P. Y., 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021): [Proceedings]. Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-18 18 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 193).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Avigad, J. & Mahboubi, A., Jun 2020, In: Journal of Automated Reasoning. 64, 5, p. 793-794 2 p.Research output: Contribution to Journal › Editorial › Academic › peer-review
Open AccessFile7 Downloads (Pure)