- A converse to Banachtextquotesingles fixed point theorem and its CLS-completeness Constantinos Daskalakis Christos Tzamos Manolis Zampetakis Fri 02 March 2012
- Dynamic control flow in large-scale machine learning Yuan Yu Martín Abadi Paul Barham Eugene Brevdo Mike Burrows Andy Davis Jeff Dean Sanjay Ghemawat Tim Harley Peter Hawkins Michael Isard Manjunath Kudlur Rajat Monga Derek Murray Xiaoqiang Zheng Fri 02 March 2012
- Certified concurrent abstraction layers Ronghui Gu Zhong Shao Jieung Kim Xiongnan (Newman) Wu Jérémie Koenig Vilhelm Sjöberg Hao Chen David Costanzo Tahina Ramananandro Fri 02 March 2012
- Program synthesis using conflict-driven learning Yu Feng Ruben Martins Osbert Bastani Isil Dillig Fri 02 March 2012
- Bounded expectations: resource analysis for probabilistic programs Van Chan Ngo Quentin Carbonneaux Jan Hoffmann Fri 02 March 2012
- Certain Answers Meet Zero-One Laws Leonid Libkin Fri 02 March 2012
- Concurrent manipulation of binary search trees H. T. Kung Philip L. Lehman Fri 02 March 2012
- The Importance of Being Zero Tomás Recio J. Rafael Sendra Carlos Villarino Fri 02 March 2012
- Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions Alin Bostan Frédéric Chyzak Pierre Lairez Bruno Salvy Fri 02 March 2012
- On Computing the Resultant of Generic Bivariate Polynomials Gilles Villard Fri 02 March 2012
- A modal mu perspective on solving parity games in quasi-polynomial time Karoliina Lehtinen Fri 02 March 2012
- Degrees of Relatedness Andreas Nuyts Dominique Devriese Fri 02 March 2012
- A theory of linear typings as flows on 3-valent graphs Noam Zeilberger Fri 02 March 2012
- Probabilistic Böhm Trees and Probabilistic Separation Thomas Leventis Fri 02 March 2012
- Ribbon Tensorial Logic Paul-André Melliès Fri 02 March 2012
- A Generalized Modality for Recursion Adrien Guatto Fri 02 March 2012
- Compositional Game Theory Neil Ghani Jules Hedges Viktor Winschel Philipp Zahn Fri 02 March 2012
- The State Complexity of Alternating Automata Nathanaël Fijalkow Fri 02 March 2012
- Sound up-to techniques and Complete abstract domains Filippo Bonchi Pierre Ganty Roberto Giacobazzi Dusko Pavlovic Fri 02 March 2012
- Satisfiability in multi-valued circuits Paweł M. Idziak Jacek Krzaczkowski Fri 02 March 2012
Library Size: 13G (12945 entries),
Last Updated: Apr 08, 2026, 08:53:29,
Build Time: N/A
