- Elaborator reflection: extending Idris in Idris David Christiansen Edwin Brady Fri 02 March 2012
- Higher-order ghost state Ralf Jung Robbert Krebbers Lars Birkedal Derek Dreyer Fri 02 March 2012
- Patterns in property specifications for finite-state verification Matthew B. Dwyer George S. Avrunin James C. Corbett Fri 02 March 2012
- Conjunctive Queries on Probabilistic Graphs Antoine Amarilli Mikaël Monet Pierre Senellart Fri 02 March 2012
- Monadic Decomposition Margus Veanes Nikolaj Bjørner Lev Nachmanson Sergey Bereg Fri 02 March 2012
- On the Polytope Escape Problem for Continuous Linear Dynamical Systems Joel Ouaknine Joao Sousa-Pinto James Worrell Fri 02 March 2012
- Forward Inner-Approximated Reachability of Non-Linear Continuous Systems Eric Goubault Sylvie Putot Fri 02 March 2012
- Tight Lower Bounds on Graph Embedding Problems Marek Cygan Fedor V. Fomin Alexander Golovnev Alexander S. Kulikov Ivan Mihajlin Jakub Pachocki Arkadiusz Socała Fri 02 March 2012
- Settling the complexity of Leontief and PLC exchange markets under exact and approximate equilibria Jugal Garg Ruta Mehta Vijay V. Vazirani Sadra Yazdanbod Fri 02 March 2012
- Succinct hitting sets and barriers to proving algebraic circuits lower bounds Michael A. Forbes Amir Shpilka Ben Lee Volk Fri 02 March 2012
- Faster Statistical Model Checking for Unbounded Temporal Properties Przemysław Daca Thomas A. Henzinger Jan Křetínský Tatjana Petrov Fri 02 March 2012
- Levity polymorphism Richard A. Eisenberg Simon Peyton Jones Fri 02 March 2012
- Source Sets Parosh Aziz Abdulla Stavros Aronis Bengt Jonsson Konstantinos Sagonas Fri 02 March 2012
- Bounds for Substituting Algebraic Functions into D-finite Functions Manuel Kauers Gleb Pogudin Fri 02 March 2012
- Fast Algorithm for Border Bases of Artinian Gorenstein Algebras Bernard Mourrain Fri 02 March 2012
- Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction Erich L. Kaltofen Clément Pernet Arne Storjohann Cleveland Waddell Fri 02 March 2012
- Clocked Population Protocols James Aspnes Fri 02 March 2012
- A computational model for TensorFlow: an introduction Martín Abadi Michael Isard Derek G. Murray Fri 02 March 2012
- Dyna: toward a self-optimizing declarative language for machine learning applications Tim Vieira Matthew Francis-Landau Nathaniel Wesley Filardo Farzad Khorasani Jason Eisner Fri 02 March 2012
- Model learning and model checking of SSH implementations Paul Fiterău-Broştean Toon Lenaerts Erik Poll Joeri de Ruiter Frits Vaandrager Patrick Verleg Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
