According to our database1, Jael Kriener authored at least 7 papers between 2011 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Semantics for Prolog with Cut - Revisited.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014
Proofs you can believe in: proving equivalences between Prolog semantics in Coq.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Mutual Exclusion by Interpolation.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
RedAlert: Determinacy inference for Prolog.
Correct Reasoning about Logic Programs.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
Existential Quantification as Incremental SAT.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011