- Exact bounds for lengths of reductions in typed łambda-calculus Arnold Beckmann Fri 02 March 2012
- Random Serial Dictatorship and the Core from Random Endowments in House Allocation Problems Atila Abdulkadiroglu Tayfun Sonmez Fri 02 March 2012
- Irreducible Quartic Polynomials with Factorizations modulo p Eric Driver Philip A. Leonard Kenneth S. Williams Fri 02 March 2012
- Continued Fractions (In Russian) G. H. A. Y. Khinchin Fri 02 March 2012
- On sound relative error bounds for floating-point arithmetic Anastasiia Izycheva Eva Darulova Fri 02 March 2012
- Theta: A framework for abstraction refinement-based model checking Tamas Toth Akos Hajdu Andras Vorcos Zoltan Micskei Istvan Majzik Fri 02 March 2012
- Semantic-based Automated Reasoning for AWS Access Policies using SMT John Backes Pauline Bolignano Byron Cook Catherine Dodge Andrew Gacek Kasper Luckow Neha Rungta Oksana Tkachuk Carsten Varming Fri 02 March 2012
- Trau: SMT solver for string constraints Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Bui Phi Diep Lukas Holik Ahmed Rezine Philipp Rummer Fri 02 March 2012
- The ELDARICA Horn Solver Hossein Hojjat Philipp Rummer Fri 02 March 2012
- Learning Linear Temporal Properties Daniel Neider Ivan Gavran Fri 02 March 2012
- Choice functions and well-orderings over the infinite binary tree Arnaud Carayol Christof Löding Damian Niwinski Igor Walukiewicz Fri 02 March 2012
- Verification of Flexray Start-Up Mechanism by Timed Automata Jan Malinský Jiří Novák Fri 02 March 2012
- Algebraic tools for the analysis of state space models Nicolette Meshkat Zvi Rosen Seth Sullivant Fri 02 March 2012
- Nonaffine differential-algebraic curves do not exist O. V. Gerasimova Yu. P. Razmyslov Fri 02 March 2012
- Parameter estimation for probabilistic finite-state transducers Jason Eisner Fri 02 March 2012
- BLEU Kishore Papineni Salim Roukos Todd Ward Wei-Jing Zhu Fri 02 March 2012
- The structure of shared forests in ambiguous parsing Sylvie Billot Bernard Lang Fri 02 March 2012
- ALGORITHMS FOR THE REDUCTION OF THE NUMBER OF POINTS REQUIRED TO REPRESENT A DIGITIZED LINE OR ITS CARICATURE DAVID H DOUGLAS THOMAS K PEUCKER Fri 02 March 2012
- PDL for ordered trees Loredana Afanasiev Patrick Blackburn Ioanna Dimitriou Bertrand Gaiffe Evan Goris Maarten Marx Maarten de Rijke Fri 02 March 2012
- mu-programs, uniform interpolation and bisimulation quantifiers for modal logics Giovanna D'Agostino Giacomo Lenzi Tim French Fri 02 March 2012
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
