Jael Kriener
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CADE | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. | Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz |
| 2014 | FLOPS | Semantics for Prolog with Cut - Revisited. | Jael Kriener, Andy King |
| 2013 | PPDP | Proofs you can believe in: proving equivalences between Prolog semantics in Coq. | Jael Kriener, Andy King, Sandrine Blazy |
| 2012 | FLOPS | Mutual Exclusion by Interpolation. | Jael Kriener, Andy King |
| 2011 | CAV | Existential Quantification as Incremental SAT. | Jrg Brauer, Andy King, Jael Kriener |
| 2011 | ICLP | Correct Reasoning about Logic Programs. | Jael Kriener |