Burak Ekici

Most-cited papers

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq
Burak Ekici, Alain Mebsout, Cesare Tinelli, C. Keller +3 more
2017International Conference on Computer Aided Verification110 citations Open access
Semantic Scholar
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Burak Ekici, Guy Katz, C. Keller, Alain Mebsout +2 more
2016HaTT@IJCAR16 citations Open access
Semantic Scholar
Completeness of Asynchronous Session Tree Subtyping in Coq
Burak Ekici, Nobuko Yoshida
2024International Conference on Interactive Theorem Proving14 citations
Semantic Scholar
Formal verification in Coq of program properties involving the global state effect
J. Dumas, D. Duval, Burak Ekici, D. Pous
2013Journées francophones des langages applicatifs14 citations
Semantic Scholar
Certified Proofs in Programs Involving Exceptions
J. Dumas, D. Duval, Burak Ekici, J. Reynaud
2013CICM Workshops10 citations
Semantic Scholar
Formalising Subject Reduction and Progress for Multiparty Session Processes
Burak Ekici, Tadayoshi Kamegai, Nobuko Yoshida
2025International Conference on Interactive Theorem Proving7 citations
Semantic Scholar
Data Cleaning for Process Mining with Smart Contract
Burak Ekici, Ayça Tarhan, Adnan Ozsoy
20192019 4th International Conference on Computer Science and Engineering (UBMK)5 citations
Semantic Scholar
Relative Hilbert-Post Completeness for Exceptions
J. Dumas, D. Duval, Burak Ekici, D. Pous +1 more
2015International Conference on Mathematical Aspects of Computer and Information Sciences5 citations Open access
Semantic Scholar
Formalising Asynchronous Session Subtyping
Burak Ekici, Nobuko Yoshida
2026ACM Transactions on Computational Logic4 citations Open access
Semantic Scholar
Spam Tespitinde Word2Vec ve TF-IDF Yöntemlerinin Karşılaştırılması ve Başarı Oranının Artırılması Üzerine Bir Çalışma
Burak Ekici, Hidayet Takçi
2021Bilecik şeyh edebali üniversİtesi fen bilimleri dergisi4 citations Open access
Semantic Scholar
Concrete Semantics with Coq and CoqHammer
Lukasz Czajka, Burak Ekici, C. Kaliszyk
2018International Conference on Intelligent Computer Mathematics4 citations Open access
Semantic Scholar
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett +1 more
2019International Workshop on Proof Exchange for Theorem Proving3 citations Open access
Semantic Scholar
Formal Verification of Bit-Vector Invertibility Conditions in Coq
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli +1 more
2023International Symposium on Frontiers of Combining Systems2 citations Open access
Semantic Scholar
Certification de programmes avec des effets calculatoires
Burak Ekici
20152 citations
Semantic Scholar
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires)
Burak Ekici
20152 citations
Semantic Scholar
Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming
K. Kratchanov, E. Golemanova, T. Golemanov, T. Ercan +1 more
2014arXiv.org2 citations
Semantic Scholar
BPMN Data Model for Multi-Perspective Process Mining on Blockchain
Burak Ekici, T. Erdogan, Ayça Kolukısa Tarhan
2022International journal of software engineering and knowledge engineering1 citations
Semantic Scholar
A Sound Definitional Interpreter for a Simply Typed Functional Language
Burak Ekici
2022Axioms1 citations Open access
Semantic Scholar
Intrusion Detection on Computer Networks Using Anomaly Detection Approach
Burak Ekici, Hidayet Takçi
2022Afyon Kocatepe University Journal of Sciences and Engineering1 citations Open access
Semantic Scholar
Formal categorical reasoning
Burak Ekici
2022Turkish Journal of Mathematics1 citations Open access
Semantic Scholar
Mac Lane’s Comparison Theorem for the Kleisli Construction Formalized in Coq
Burak Ekici, C. Kaliszyk
2020Mathematics and Computer Science1 citations Open access
Semantic Scholar
Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq
Burak Ekici
2018CICM Workshops1 citations
Semantic Scholar
Hilbert-Post completeness for the state and the exception effects
J. Dumas, D. Duval, Burak Ekici, D. Pous +1 more
2015arXiv.org1 citations
Semantic Scholar
Formal veriﬁcation in Coq of program properties involving the global state effect
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
1 citations
Semantic Scholar
Exploring Concepts of Interactive Theorem Proving
Burak Ekici
2026Balkan Journal of Electrical and Computer Engineering0 citations Open access
Semantic Scholar
A Straightforward 3‐Step Method for Identifying the Sacroiliac Joint Using Ultrasonography
Burak Ekici, M. Yildizgoren
2023Journal of ultrasound in medicine0 citations
Semantic Scholar
SMTCoq Proof witness Certi fi cate Formula Coq goal Legend : Coq checker + Soundess Preprocessor SMT solver
Burak Ekici, Alain Mebsout, Cesare Tinelli, C. Keller +3 more
20180 citations
Semantic Scholar
Certified Satisfiability Modulo Theories (SMT) Solving for System Verification
Clark W. Barrett, Burak Ekici, Liana Hadarean, Guy Katz +4 more
20170 citations
Semantic Scholar
IMP with exceptions over decorated logic
Burak Ekici
2015Discrete Mathematics & Theoretical Computer Science0 citations Open access
Semantic Scholar
IMP + Exc over decorated logic
Burak Ekici, J. Dumas, D. Duval, D. Pous
20140 citations
Semantic Scholar
Program certification with computational effects
J. Dumas, D. Duval, Burak Ekici, D. Pous
2014arXiv.org0 citations
Semantic Scholar
Certification of programs with computational effects
Burak Ekici
2014arXiv.org0 citations Open access
Semantic Scholar
University Joseph Fourier , Grenoble-I Certification of programs with computational effects
Burak Ekici
20140 citations
Semantic Scholar
Proc edural and N on-Proc edural Impl ementation of Search Strat egi es in Control Ne twor k Programming
K. Kratchanov, E. Gol, Tzanko Gol, T. Ercan +1 more
20100 citations
Semantic Scholar
Formal Veriﬁcation of Bit-vector Invertibility Conditions in Coq
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli +1 more
0 citations
Semantic Scholar