pith. sign in

Burak Ekici (LJK)

Identifiers

  • name variant Burak Ekici (LJK) 0.60 · backfill

Papers (3)

  1. Hilbert-Post completeness for the state and the exception effects cs.LO · 2015 · author #3
  2. Certified proofs in programs involving exceptions cs.LO · 2013 · author #3
  3. Formal verification in Coq of program properties involving the global state effect cs.LO · 2013 · author #3

Mentions

  • 1503.00948 #3 · backfill · confidence 0.70 Burak Ekici (LJK)
  • 1310.2338 #3 · backfill · confidence 0.70 Burak Ekici (LJK)
  • 1310.0794 #3 · backfill · confidence 0.70 Burak Ekici (LJK)

Frequent Coauthors