| 2001 |
Proceedings 16th International Conference on Quantum Physics and Logic
Bob Coecke, Matthew Leifer
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 2002 |
On embedding Lambek calculus into commutative categorial grammars
Sergey Slavnov
|
🔮
The Ethereal
|
math.LO
|
3 |
6 years ago |
| 2003 |
Verification of the IBOS Browser Security Properties in Reachability Logic
Stephen Skeirik, José Meseguer, Camilo Rocha
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 2004 |
Compaction for two models of logarithmic-depth trees: Analysis and Experiments
Olivier Bodini, Antoine Genitrini, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
6 years ago |
| 2005 |
Common equivalence and size after forgetting
Paolo Liberatore
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 2006 |
Efficient enumeration of maximal split subgraphs and induced sub-cographs and related classes
Caroline Brosse, Aurélie Lagoutte, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
6 years ago |
| 2007 |
A Classification of Weak Asynchronous Models of Distributed Computing
Javier Esparza, Fabian Reiter
|
🔮
The Ethereal
|
cs.FL
|
3 |
6 years ago |
| 2008 |
The uncertainty principle over finite fields
Martino Borello, Patrick Solé
|
🔮
The Ethereal
|
math.CO
|
3 |
6 years ago |
| 2009 |
Vertex distinction with subgraph centrality: a proof of Estrada's conjecture and some generalizations
Francesco Ballini, Nikita Deniskin
|
🔮
The Ethereal
|
math.CO
|
3 |
6 years ago |
| 2010 |
On the Number of Affine Equivalence Classes of Boolean Functions
Xiang-dong Hou
|
🔮
The Ethereal
|
math.CO
|
3 |
6 years ago |
| 2011 |
Automated Verification of Reactive and Concurrent Programs by Calculation
Simon Foster, Kangfeng Ye, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
5 years ago |
| 2012 |
Uniquely optimal codes of low complexity are symmetric
Emily J. King, Dustin G. Mixon, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
5 years ago |
| 2013 |
Improving on Best-of-Many-Christofides for $T$-tours
Vera Traub
|
🔮
The Ethereal
|
cs.DM
|
3 |
5 years ago |
| 2014 |
Singularity of random integer matrices with large entries
Sankeerth Rao Karingula, Shachar Lovett
|
🔮
The Ethereal
|
cs.CC
|
3 |
5 years ago |
| 2015 |
On the restricted isometry property of the Paley matrix
Shohei Satake
|
🔮
The Ethereal
|
math.CO
|
3 |
5 years ago |
| 2016 |
On the Complexity of Symbolic Finite-State Automata
Dana Fisman, Hadar Frenkel, Sandra Zilles
|
🔮
The Ethereal
|
cs.FL
|
3 |
5 years ago |
| 2017 |
Hardness of Approximate Nearest Neighbor Search under L-infinity
Young Kun Ko, Min Jae Song
|
🔮
The Ethereal
|
cs.CC
|
3 |
5 years ago |
| 2018 |
Comparing computational entropies below majority (or: When is the dense model theorem false?)
Russell Impagliazzo, Sam McGuire
|
🔮
The Ethereal
|
cs.CC
|
3 |
5 years ago |
| 2019 |
Reversibility and Composition of Rewriting in Hierarchies
Russ Harmer, Eugenia Oshurko
|
🔮
The Ethereal
|
cs.LO
|
3 |
5 years ago |
| 2020 |
Lions and contamination, triangular grids, and Cheeger constants
Henry Adams, Leah Gibson, Jack Pfaffinger
|
🔮
The Ethereal
|
math.CO
|
3 |
5 years ago |
| 2021 |
Constructing minimally 3-connected graphs
J. P. Costalonga, R. J. Kingan, S. R. Kingan
|
🔮
The Ethereal
|
math.CO
|
3 |
5 years ago |
| 2022 |
On partial information retrieval: the unconstrained 100 prisoner problem
Ivano Lodato, Snehal M. Shekatkar, Tian An Wong
|
🔮
The Ethereal
|
math.CO
|
3 |
5 years ago |
| 2023 |
Learning algorithms from circuit lower bounds
Ján Pich
|
🔮
The Ethereal
|
cs.CC
|
3 |
5 years ago |
| 2024 |
The Sherali-Adams Hierarchy for Promise CSPs through Tensors
Lorenzo Ciardo, Stanislav Živný
|
🔮
The Ethereal
|
cs.CC
|
3 |
4 years ago |
| 2025 |
Quantum and Classical Algorithms for Bounded Distance Decoding
Richard Allen, Ratip Emin Berker, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
4 years ago |
| 2026 |
Mirror Games Against an Open Book Player
Roey Magen, Moni Naor
|
🔮
The Ethereal
|
cs.CC
|
3 |
4 years ago |
| 2027 |
Maximum-utility popular matchings with bounded instability
Ildikó Schlotter, Ágnes Cseh
|
🔮
The Ethereal
|
cs.DM
|
3 |
4 years ago |
| 2028 |
A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2
Alessandro Coglio
|
🔮
The Ethereal
|
cs.LO
|
3 |
4 years ago |
| 2029 |
Computing homomorphisms in hereditary graph classes: the peculiar case of the 5-wheel and graphs with no long claws
Michał Dębski, Zbigniew Lonc, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
4 years ago |
| 2030 |
An Improved Algorithm for Finding the Shortest Synchronizing Words
Marek Szykuła, Adam Zyzik
|
🔮
The Ethereal
|
cs.FL
|
3 |
4 years ago |
| 2031 |
On the Complexity of Identifying Strongly Regular Graphs
Michael Levet
|
🔮
The Ethereal
|
cs.CC
|
3 |
4 years ago |
| 2032 |
On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model?
Ho Tuan Dung, Tran Cao Son
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2033 |
A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Maximiliano Cristiá, Gianfranco Rossi
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2034 |
Combinatorial Optimization via the Sum of Squares Hierarchy
Goutham Rajendran
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2035 |
Avoider-Enforcer Game is NP-hard
Tillmann Miltzow, Miloš Stojaković
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2036 |
An improved lower bound on the length of the longest cycle in random graphs
Michael Anastos
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2037 |
Structured $(\min,+)$-Convolution And Its Applications For The Shortest Vector, Closest Vector, and Separable Nonlinear Knapsack Problems
D. V. Gribanov, I. A. Shumilov, D. S. Malyshev
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2038 |
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied $π$-Calculus
Clément Aubert, Ross Horne, Christian Johansen
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2039 |
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
Giann Karlo Aguirre-Samboní, Stefan Haar, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
3 |
3 years ago |
| 2040 |
Nearly optimal independence oracle algorithms for edge estimation in hypergraphs
Holger Dell, John Lapinskas, Kitty Meeks
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2041 |
Computing Well-Covered Vector Spaces of Graphs using Modular Decomposition
Martin Milanič, Nevena Pivač
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2042 |
Solving Quantified Modal Logic Problems by Translation to Classical Logics
Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2043 |
On Knuth's conjecture for back and forward arcs in Depth First Search in a random digraph with geometric outdegree distribution
Svante Janson
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2044 |
On the graph of non-degenerate linear $[n,2]_2$ codes
Mark Pankov
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2045 |
C-SAR: SAT Attack Resistant Logic Locking for RSFQ Circuits
Junyao Zhang, Paul Bogdan, Shahin Nazarian
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2046 |
Complexity of Solo Chess with Unlimited Moves
Josh Brunner, Lily Chung, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
3 years ago |
| 2047 |
Languages with Decidable Learning: A Meta-theorem
Paul Krogmeier, P. Madhusudan
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2048 |
Improved Bounds for Permutation Arrays Under Chebyshev Distance
Sergey Bereg, Mohammadreza Haghpanah, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |
| 2049 |
A Formal Analysis of RANKING
Mohammad Abdulaziz, Christoph Madlener
|
🔮
The Ethereal
|
cs.LO
|
3 |
3 years ago |
| 2050 |
Cops and Robbers on Multi-Layer Graphs
Jessica Enright, Kitty Meeks, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
3 years ago |