Jael Kriener

According to our database, Jael Kriener authored at least 7 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2014

Semantics for Prolog with Cut - Revisited.

Jael Kriener, Andy King

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014

2013

Proofs you can believe in: proving equivalences between Prolog semantics in Coq.

Jael Kriener, Andy King, Sandrine Blazy

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

Mutual Exclusion by Interpolation.

Jael Kriener, Andy King

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

RedAlert: Determinacy inference for Prolog.

Jael Kriener, Andy King

Theory Pract. Log. Program., 2011

Correct Reasoning about Logic Programs.

Jael Kriener

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Existential Quantification as Incremental SAT.

Jörg Brauer, Andy King, Jael Kriener

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011