| SMTCoq: A plug-in for integrating SMT solvers into Coq B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett International Conference on Computer Aided Verification, 126-133, 2017 | 70 | 2017 |
| Extending SMTCoq, a certified checker for SMT B Ekici, G Katz, C Keller, A Mebsout, AJ Reynolds, C Tinelli arXiv preprint arXiv:1606.05947, 2016 | 15 | 2016 |
| Formal verification in Coq of program properties involving the global state effect JG Dumas, D Duval, B Ekici, D Pous arXiv preprint arXiv:1310.0794, 2013 | 13 | 2013 |
| Certified proofs in programs involving exceptions JG Dumas, D Duval, B Ekici, JC Reynaud arXiv preprint arXiv:1310.2338, 2013 | 9 | 2013 |
| Relative hilbert-post completeness for exceptions JG Dumas, D Duval, B Ekici, D Pous, JC Reynaud International Conference on Mathematical Aspects of Computer and Information …, 2015 | 4 | 2015 |
| Certified proofs in programs involving exceptions. CICM 2014 JG Dumas, D Duval, B Ekici, JC Reynaud CEUR Workshop Proceedings 1186, 2014 | 4 | 2014 |
| Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming K Kratchanov, E Golemanova, T Golemanov, T Ercan, B Ekici arXiv preprint arXiv:1412.4184, 2014 | 3 | 2014 |
| Verifying bit-vector invertibility conditions in coq B Ekici, A Viswanathan, Y Zohar, C Barrett, C Tinelli arXiv preprint arXiv:1908.09478, 2019 | 2 | 2019 |
| IMP with exceptions over decorated logic B Ekici Discrete Mathematics & Theoretical Computer Science 20, 2018 | 2 | 2018 |
| Concrete Semantics with Coq and CoqHammer Ł Czajka, B Ekici, C Kaliszyk International Conference on Intelligent Computer Mathematics, 53-59, 2018 | 2 | 2018 |
| Certification de programmes avec des effets calculatoires B Ekici Université Grenoble Alpes (ComUE), 2015 | 2 | 2015 |
| Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq B Ekici, C Kaliszyk Mathematics in Computer Science 14 (3), 533-549, 2020 | 1 | 2020 |
| Towards Mac Lane's Comparison Theorem for the (co) Kleisli Construction in Coq. B Ekici CICM Workshops, 2018 | 1 | 2018 |
| Certification of programs with computational effects B Ekici Université Grenoble Alpes, 2015 | 1 | 2015 |
| Formal categorical reasoning B Ekici Turkish Journal of Mathematics 46 (4), 1538-1552, 2022 | | 2022 |
| CASYS team activities 2014-2018 N Bordes, A Breust, CC EC, R Coleman, JG Dumas, D Duval, B Ekici, ... | | 2019 |
| Certified Satisfiability Modulo Theories (SMT) Solving for System Verification C Barrett, B Ekici, L Hadarean, G Katz, C Keller, A Mebsout, A Reynolds, ... New York University New York United States, 2017 | | 2017 |
| IMP+ Exc over decorated logic B Ekici arXiv preprint arXiv:1503.05496, 2015 | | 2015 |
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
