- The Hairy Ball problem is PPAD-complete Paul W. Goldberg Alexandros Hollender Fri 02 March 2012
- Integrals, partitions and MacMahontextquotesingles Theorem George Andrews Henrik Eriksson Fedor Petrov Dan Romik Fri 02 March 2012
- An aperiodic hexagonal tile Joshua E.S. Socolar Joan M. Taylor Fri 02 March 2012
- Weighted lattice walks and universality classes J. Courtiel S. Melczer M. Mishna K. Raschel Fri 02 March 2012
- Polynomial equations with one catalytic variable, algebraic series and map enumeration Mireille Bousquet-Mélou Arnaud Jehanne Fri 02 March 2012
- Proper minor-closed families are small Serguei Norine Paul Seymour Robin Thomas Paul Wollan Fri 02 March 2012
- Vertex-minors, monadic second-order logic, and a conjecture by Seese Bruno Courcelle Sang-il Oum Fri 02 March 2012
- Counting colored planar maps: Algebraicity results Olivier Bernardi Mireille Bousquet-Mélou Fri 02 March 2012
- Towards tight(er) bounds for the Excluded Grid Theorem Julia Chuzhoy Zihan Tan Fri 02 March 2012
- Obstructions for bounded shrub-depth and rank-depth O-joung Kwon Rose McCarty Sang-il Oum Paul Wollan Fri 02 March 2012
- A fully linear-time approximation algorithm for grammar-based compression Hiroshi Sakamoto Fri 02 March 2012
- On the nonemptiness of the alpha-core of discontinuous games: Transferable and nontransferable utilities Metin Uyanik Fri 02 March 2012
- On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra Peter W. OtextquotesingleHearn Rasmus L. Petersen Jules Villard Akbar Hussain Fri 02 March 2012
- Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases Jean Goubault-Larrecq Fri 02 March 2012
- Termination criteria for tree automata completion Thomas Genet Fri 02 March 2012
- Algorithms for Kleene algebra with converse Paul Brunet Damien Pous Fri 02 March 2012
- Inputtextendashoutput conformance testing for software product lines Harsh Beohar Mohammad Reza Mousavi Fri 02 March 2012
- On clock-aware LTL parameter synthesis of timed automata Peter Bezděk Nikola Beneš Ivana Černá Jiří Barnat Fri 02 March 2012
- Finding models through graph saturation Sebastiaan J.C. Joosten Fri 02 March 2012
- Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours Nick Fischer Rob van Glabbeek Fri 02 March 2012
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
