Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Burak Ekici
Researcher
PaperCertification of programs with computational effectsAuthorship / preprint / 2014PaperExtending SMTCoq, a Certified Checker for SMT (Extended Abstract)Authorship / preprint / 2016PaperFormal verification in Coq of program properties involving the global state effectAuthorship / preprint / 2013PaperCertified proofs in programs involving exceptionsAuthorship / preprint / 2014PaperProgram certification with computational effectsAuthorship / preprint / 2014PaperHilbert-Post completeness for the state and the exception effectsAuthorship / preprint / 2015PaperProcedural and Non-Procedural Implementation of Search Strategies in Control Network ProgrammingAuthorship / preprint / 2014