Showing 1 - 5 results of 5 for search 'Burak Ekici', query time: 0.03s Refine Results
  1. 1
    A Sound Definitional Interpreter for a Simply Typed Functional Language

    A Sound Definitional Interpreter for a Simply Typed Functional Language by Burak Ekici

    Published 2022-12-01
    Get full text
    Article
  2. 2
    IMP with exceptions over decorated logic

    IMP with exceptions over decorated logic by Burak Ekici

    Published 2018-10-01
    Get full text
    Article
  3. 3
    Find the piriformis muscle easily: From anatomical landmark to sonographic target

    Find the piriformis muscle easily: From anatomical landmark to sonographic target by Mustafa Turgut Yildizgoren, Burak Ekici, Fatih Bagcier

    Published 2023-01-01
    Get full text
    Article
  4. 4
    Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)

    Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract) by Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark Barrett, Cesare Tinelli

    Published 2019-08-01
    Get full text
    Article
  5. 5
    Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)

    Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) by Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli

    Published 2016-06-01
    Get full text
    Article

Search Tools: