- On the Weisfeiler-Leman Dimension of Finite Groups Jendrik Brachter Pascal Schweitzer Fri 02 March 2012
- Modal Logics with Composition on Finite Forests Bartosz Bednarczyk Stéphane Demri Raul Fervari Alessio Mansutti Fri 02 March 2012
- Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution Olaf Beyersdorff Joshua Blinkhorn Meena Mahajan Fri 02 March 2012
- A Constructive Model of Directed Univalence in Bicubical Sets Matthew Z. Weaver Daniel R. Licata Fri 02 March 2012
- Refinement-Based Game Semantics for Certified Abstraction Layers Jérémie Koenig Zhong Shao Fri 02 March 2012
- Coherence via Well-Foundedness Nicolai Kraus Jakob von Raumer Fri 02 March 2012
- Extended Kripke lemma and decidability for hypersequent substructural logics Revantha Ramanayake Fri 02 March 2012
- Modal Intuitionistic Logics as Dialgebraic Logics Jim de Groot Dirk Pattinson Fri 02 March 2012
- Sparse Hashing for Scalable Approximate Model Counting Kuldeep S. Meel S. Akshay Fri 02 March 2012
- Conjunctive Regular Path Queries with String Variables Markus L. Schmid Fri 02 March 2012
- How Good Is a Strategy in a Game with Nature Arnaud Carayol Olivier Serre Fri 02 March 2012
- A New Perspective on FO Model Checking of Dense Graph Classes Jakub Gajarský Petr Hliněný Jan Obdrżálek Daniel Lokshtanov M. S. Ramanujan Fri 02 March 2012
- Decidable verification under a causally consistent shared memory Ori Lahav Udi Boker Fri 02 March 2012
- Data-driven inference of representation invariants Anders Miltner Saswat Padhi Todd Millstein David Walker Fri 02 March 2012
- Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems Qinheping Hu John Cyphert Loris DtextquotesingleAntoni Thomas Reps Fri 02 March 2012
- Inductive sequentialization of asynchronous programs Bernhard Kragl Constantin Enea Thomas A. Henzinger Suha Orhun Mutluergil Shaz Qadeer Fri 02 March 2012
- Templates and recurrences: better together Jason Breck John Cyphert Zachary Kincaid Thomas Reps Fri 02 March 2012
- A Linear-Time Algorithm for Seeds Computation Tomasz Kociumaka Marcin Kubica Jakub Radoszewski Wojciech Rytter Tomasz Waleń Fri 02 March 2012
- Consensus-Halving: Does It Ever Get Easier Aris Filos-Ratsikas Alexandros Hollender Katerina Sotiraki Manolis Zampetakis Fri 02 March 2012
- Dynamic Parameterized Problems and Algorithms Josh Alman Matthias Mnich Virginia Vassilevska Williams Fri 02 March 2012
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
