Assia Mahboubi
Orcid: 0000-0002-0312-5461
According to our database1,
Assia Mahboubi
authored at least 40 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
1
1
1
1
1
2
1
1
1
4
2
1
2
1
1
1
1
2
4
1
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Proceedings of the Programming Languages and Systems, 2024
Proceedings of the Programming Languages and Systems, 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023
2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
J. Autom. Reason., 2020
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019
2018
Dagstuhl Reports, 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
2017
2015
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015
2014
CoRR, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Proceedings of the Intelligent Computer Mathematics, 2013
A bisimulation between DPLL(<i>T</i>) and a proof-search strategy for the focused sequent calculus.
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
2012
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
Log. Methods Comput. Sci., 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Math. Struct. Comput. Sci., 2011
2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
2007
Math. Struct. Comput. Sci., 2007
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007
2006
Contributions à la certification des calculs dans R : théorie, preuves, programmation. (Contributions to the certification of computations in R : theory, proofs, implementation).
PhD thesis, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005