|
|
SCSS 2014: Author IndexAuthor | Papers |
---|
A | Aspinall, David | Towards an amortized type system for JavaScript | B | Bjorner, Nikolaj | νZ - Maximal Satisfaction with Z3 | F | Farmer, William | Meaning Formulas for Syntax-Based Mathematical Algorithms | Franzen, Daniel | Towards an amortized type system for JavaScript | G | Gawlitza, Thomas Martin | Parametric Strategy Iteration | K | Kaliszyk, Cezary | Machine Learning of Coq Proof Guidance: First Experiments | M | Mamane, Lionel | Machine Learning of Coq Proof Guidance: First Experiments | Martiny, Karsten | PDT Logic for Stream Reasoning in Multi-agent Systems | Moeller, Ralf | PDT Logic for Stream Reasoning in Multi-agent Systems | N | Navarro, Marisa | A refutation procedure for proving satisfiability of constraint specifications on XML documents | O | Orejas, Fernando | A refutation procedure for proving satisfiability of constraint specifications on XML documents | P | Phan, Anh-Dung | νZ - Maximal Satisfaction with Z3 | S | Schwarz, Martin | Parametric Strategy Iteration | Seidl, Helmut | Parametric Strategy Iteration | U | Urban, Josef | Machine Learning of Coq Proof Guidance: First Experiments |
|
|
|