|
|
SCSS 2014: Author Index| Author | 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 |
|
|
|
