iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/136/5796.rss
dblp: Burak Ekici https://dblp.org/pid/136/5796.html dblp person page RSS feed Wed, 04 Sep 2024 00:28:15 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Burak Ekicihttps://dblp.org/pid/136/5796.html14451 Completeness of Asynchronous Session Tree Subtyping in Coq.https://doi.org/10.4230/LIPIcs.ITP.2024.13, :
Completeness of Asynchronous Session Tree Subtyping in Coq. ITP : 13:1-13:20]]>https://dblp.org/rec/conf/itp/EkiciY24Mon, 01 Jan 2024 00:00:00 +0100 A Sound Definitional Interpreter for a Simply Typed Functional Language.https://doi.org/10.3390/axioms12010043:
A Sound Definitional Interpreter for a Simply Typed Functional Language. Axioms 12(1): 43 ()]]>https://dblp.org/rec/journals/axioms/Ekici23Sun, 01 Jan 2023 00:00:00 +0100 Formal Verification of Bit-Vector Invertibility Conditions in Coq.https://doi.org/10.1007/978-3-031-43369-6_3, , , , :
Formal Verification of Bit-Vector Invertibility Conditions in Coq. FroCoS : 41-59]]>https://dblp.org/rec/conf/frocos/EkiciVZTB23Sun, 01 Jan 2023 00:00:00 +0100 Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq.https://doi.org/10.1007/s11786-020-00450-8, :
Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq. Math. Comput. Sci. 14(3): 533-549 ()]]>https://dblp.org/rec/journals/mics/EkiciK20Wed, 01 Jan 2020 00:00:00 +0100 Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract).https://doi.org/10.4204/EPTCS.301.4, , , , :
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract). PxTP : 18-26]]>https://dblp.org/rec/journals/corr/abs-1908-09478Tue, 01 Jan 2019 00:00:00 +0100 IMP with exceptions over decorated logic.https://doi.org/10.23638/DMTCS-20-2-11:
IMP with exceptions over decorated logic. Discret. Math. Theor. Comput. Sci. 20(2) ()]]>https://dblp.org/rec/journals/dmtcs/Ekici18Mon, 01 Jan 2018 00:00:00 +0100 Concrete Semantics with Coq and CoqHammer.https://doi.org/10.1007/978-3-319-96812-4_5, , :
Concrete Semantics with Coq and CoqHammer. CICM : 53-59]]>https://dblp.org/rec/conf/mkm/CzajkaEK18Mon, 01 Jan 2018 00:00:00 +0100 Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq.https://ceur-ws.org/Vol-2307/paper11.pdf:
Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq. CICM Workshops ]]>https://dblp.org/rec/conf/mkm/Ekici18Mon, 01 Jan 2018 00:00:00 +0100 Concrete Semantics with Coq and CoqHammer.http://arxiv.org/abs/1808.06413, , :
Concrete Semantics with Coq and CoqHammer. CoRR abs/1808.06413 ()]]>https://dblp.org/rec/journals/corr/abs-1808-06413Mon, 01 Jan 2018 00:00:00 +0100 SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.https://doi.org/10.1007/978-3-319-63390-9_7, , , , , , :
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. CAV (2) : 126-133]]>https://dblp.org/rec/conf/cav/EkiciMTKKRB17Sun, 01 Jan 2017 00:00:00 +0100 Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).https://doi.org/10.4204/EPTCS.210.5, , , , , :
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). HaTT@IJCAR : 21-29]]>https://dblp.org/rec/journals/corr/EkiciKKMRT16Fri, 01 Jan 2016 00:00:00 +0100 Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires).https://tel.archives-ouvertes.fr/tel-01250842:
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires). Grenoble Alpes University, France, ]]>https://dblp.org/rec/phd/hal/Ekici15Thu, 01 Jan 2015 00:00:00 +0100 Relative Hilbert-Post Completeness for Exceptions.https://doi.org/10.1007/978-3-319-32859-1_51, , , , :
Relative Hilbert-Post Completeness for Exceptions. MACIS : 596-610]]>https://dblp.org/rec/conf/macis/DumasDEPR15Thu, 01 Jan 2015 00:00:00 +0100 Hilbert-Post completeness for the state and the exception effects.http://arxiv.org/abs/1503.00948, , , , :
Hilbert-Post completeness for the state and the exception effects. CoRR abs/1503.00948 ()]]>https://dblp.org/rec/journals/corr/DumasDEPR15Thu, 01 Jan 2015 00:00:00 +0100 IMP with exceptions over decorated logic.http://arxiv.org/abs/1503.05496:
IMP with exceptions over decorated logic. CoRR abs/1503.05496 ()]]>https://dblp.org/rec/journals/corr/Ekici15Thu, 01 Jan 2015 00:00:00 +0100 Formal verification in Coq of program properties involving the global state effect.https://dblp.org/pid/136/5796.html, , , :
Formal verification in Coq of program properties involving the global state effect. JFLA : 1-16]]>https://dblp.org/rec/conf/jfla/DumasDEP14Wed, 01 Jan 2014 00:00:00 +0100 Certified Proofs in Programs Involving Exceptions.https://ceur-ws.org/Vol-1186/paper-20.pdf, , , :
Certified Proofs in Programs Involving Exceptions. CICM Workshops ]]>https://dblp.org/rec/conf/mkm/DumasDER14Wed, 01 Jan 2014 00:00:00 +0100 Certification of programs with computational effects.http://arxiv.org/abs/1411.7139:
Certification of programs with computational effects. CoRR abs/1411.7139 ()]]>https://dblp.org/rec/journals/corr/Ekici14Wed, 01 Jan 2014 00:00:00 +0100 Program certification with computational effects.http://arxiv.org/abs/1411.7140, , , :
Program certification with computational effects. CoRR abs/1411.7140 ()]]>https://dblp.org/rec/journals/corr/DumasDEP14Wed, 01 Jan 2014 00:00:00 +0100 Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming.http://arxiv.org/abs/1412.4184, , , , :
Procedural and Non-Procedural Implementation of Search Strategies in Control Network Programming. CoRR abs/1412.4184 ()]]>https://dblp.org/rec/journals/corr/KratchanovGGEE14Wed, 01 Jan 2014 00:00:00 +0100 Formal verification in Coq of program properties involving the global state effect.http://arxiv.org/abs/1310.0794, , , :
Formal verification in Coq of program properties involving the global state effect. CoRR abs/1310.0794 ()]]>https://dblp.org/rec/journals/corr/DumasDEP13Tue, 01 Jan 2013 00:00:00 +0100