- POLY Michael Monagan Roman Pearce Fri 02 March 2012
- Modeling and verifying hierarchical real-time systems using stateful timed CSP Jun Sun Yang Liu Jin Song Dong Yan Liu Ling Shi Étienne André Fri 02 March 2012
- Survey of local algorithms Jukka Suomela Fri 02 March 2012
- Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values Matthew T. Comer Erich L. Kaltofen Clément Pernet Fri 02 March 2012
- On the complexity of multivariate blockwise polynomial multiplication Joris van der Hoeven Grégoire Lecerf Fri 02 March 2012
- On optimum left-to-right strategies for active context-free games Henrik Björklund Martin Schuster Thomas Schwentick Joscha Kulbatzki Fri 02 March 2012
- Querying graph databases with XPath Leonid Libkin Wim Martens Domagoj Vrgoč Fri 02 March 2012
- The Tapenade automatic differentiation tool Laurent Hascoet Valérie Pascual Fri 02 March 2012
- Algebraic laws for nondeterminism and concurrency Matthew Hennessy Robin Milner Fri 02 March 2012
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets Matthias Althoff Fri 02 March 2012
- Flowpipe approximation and clustering in space-time Goran Frehse Rajat Kateja Colas Le Guernic Fri 02 March 2012
- Querying graph databases Pablo Barceló Baeza Fri 02 March 2012
- Flag & check Sebastian Rudolph Markus Krötzsch Fri 02 March 2012
- Verification of database-driven systems via amalgamation Mikołaj Bojańczyk Luc Segoufin Szymon Toruńczyk Fri 02 March 2012
- Foundations of data-aware process analysis Diego Calvanese Giuseppe De Giacomo Marco Montali Fri 02 March 2012
- Hermite reduction and creative telescoping for hyperexponential functions Alin Bostan Shaoshi Chen Frédéric Chyzak Ziming Li Guoce Xin Fri 02 March 2012
- Probabilistic Temporal Logic Falsification of Cyber-Physical Systems Houssam Abbas Georgios Fainekos Sriram Sankaranarayanan Franjo Ivančić Aarti Gupta Fri 02 March 2012
- Universal properties of impure programming languages Sam Staton Paul Blain Levy Fri 02 March 2012
- Logical relations for fine-grained concurrency Aaron J. Turon Jacob Thamsborg Amal Ahmed Lars Birkedal Derek Dreyer Fri 02 March 2012
- Hybrid learning: interface generation through static, dynamic, and symbolic analysis Falk Howar Dimitra Giannakopoulou Zvonimir Rakamarić Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
