Burak Ekici

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)	2019	Burak Ekici Arjun Viswanathan Yoni Zohar Clark Barrett Cesare Tinelli
+ PDF Chat	IMP with exceptions over decorated logic	2018	Burak Ekici
+	Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq.	2018	Burak Ekici
+ PDF Chat	Concrete Semantics with Coq and CoqHammer	2018	Łukasz Czajka Burak Ekici Cezary Kaliszyk
+ PDF Chat	Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)	2016	Burak Ekici Guy Katz Chantal Keller Alain Mebsout Andrew Reynolds Cesare Tinelli
+ PDF Chat	Relative Hilbert-Post Completeness for Exceptions	2016	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous Jean-Claude Reynaud
+	Certification of programs with computational effects	2015	Burak Ekici
+	IMP with exceptions over decorated logic	2015	Burak Ekici
+	Hilbert-Post completeness for the state and the exception effects	2015	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous Jean-Claude Reynaud
+	IMP with exceptions over decorated logic	2015	Burak Ekici
+	Hilbert-Post completeness for the state and the exception effects	2015	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous Jean-Claude Reynaud
+	Program certification with computational effects.	2014	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous
+	Certification of programs with computational effects	2014	Burak Ekici
+	Program certification with computational effects	2014	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous
+	Formal verification in Coq of program properties involving the global state effect	2013	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous
+	Certified proofs in programs involving exceptions	2013	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Jean-Claude Reynaud

Common Coauthors

Coauthor	Papers Together
Dominique Duval	7
Jean‐Guillaume Dumas	7
Damien Pous	6
Jean-Claude Reynaud	4
Cesare Tinelli	2
Alain Mebsout	1
Cezary Kaliszyk	1
Arjun Viswanathan	1
Andrew Reynolds	1
Yoni Zohar	1
Clark Barrett	1
Guy Katz	1
Łukasz Czajka	1
Chantal Keller	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Decorated proofs for computational effects: States	2012	Jean‐Guillaume Dumas Dominique Duval Laurent Fousse Jean-Claude Reynaud	5
+	Cartesian effect categories are Freyd-categories	2010	Jean‐Guillaume Dumas Dominique Duval Jean-Claude Reynaud	4
+ PDF Chat	Diagrammatic logic applied to a parameterisation process	2010	César Domínguez Dominique Duval	4
+ PDF Chat	A duality between exceptions and states	2012	Jean‐Guillaume Dumas Dominique Duval Laurent Fousse Jean-Claude Reynaud	4
+	Formal verification in Coq of program properties involving the global state effect	2013	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous	3
+ PDF Chat	Relative Hilbert-Post Completeness for Exceptions	2016	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Damien Pous Jean-Claude Reynaud	2
+	Certified proofs in programs involving exceptions	2013	Jean‐Guillaume Dumas Dominique Duval Burak Ekici Jean-Claude Reynaud	2
+	Patterns for computational effects arising from a monad or a comonad	2013	Jean‐Guillaume Dumas Dominique Duval Jean-Claude Reynaud	2
+ PDF Chat	Breaking a monad-comonad symmetry between computational effects	2014	Jean‐Guillaume Dumas Dominique Duval Jean-Claude Reynaud	2
+ PDF Chat	Programming with algebraic effects and handlers	2014	Andrej Bauer Matija Pretnar	2
+ PDF Chat	An Effect System for Algebraic Effects and Handlers	2014	Andrej Bauer Matija Pretnar	1
+	Diagrammatic logic applied to a parameterization process	2009	César Domínguez Dominique Duval	1
+	Category Theory in Coq 8.5	2016	Amin Timany Bart Jacobs	1
+ PDF Chat	Towards Bit-Width-Independent Proofs in SMT Solvers	2019	Aina Niemetz Mathias Preiner Andrew Reynolds Yoni Zohar Clark Barrett Cesare Tinelli	1
+	Premonoidal categories and notions of computation	1997	John Power E. Powell Robinson	1
+	None	2003	Gordon Plotkin John Power	1
+	Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms	2003	Jean‐Guillaume Dumas Frank Heckenbach David Saunders Volkmar Welker	1
+	On Efficient Sparse Integer Matrix Smith Normal Form Computations	2001	Jean‐Guillaume Dumas B. David Saunders Gilles Villard	1
+ PDF Chat	Inferring Algebraic Effects	2014	Matija Pretnar	1
+ PDF Chat	Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description	2014	Cezary Kaliszyk Josef Urban J Vyskočil Herman Geuvers	1
+ PDF Chat	Segal Condition Meets Computational Effects	2010	Paul-André Melliès	1
+ PDF Chat	Handling Algebraic Effects	2013	Gordon Plotkin Matija Pretnar	1
+ PDF Chat	Experience Implementing a Performant Category-Theory Library in Coq	2014	Jason Gross Adam Chlipala David I. Spivak	1
+ PDF Chat	Goal Translation for a Hammer for Coq (Extended Abstract)	2016	Łukasz Czajka Cezary Kaliszyk	1