| 301 |
The phases of large networks with edge and triangle constraints
Richard Kenyon, Charles Radin, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
31 |
9 years ago |
| 302 |
A Converse to Banach's Fixed Point Theorem and its CLS Completeness
Constantinos Daskalakis, Christos Tzamos, Manolis Zampetakis
|
🔮
The Ethereal
|
cs.CC
|
31 |
9 years ago |
| 303 |
On the lengths of divisible codes
Michael Kiermaier, Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
31 |
9 years ago |
| 304 |
The Bang Calculus and the Two Girard's Translations
Giulio Guerrieri, Giulio Manzonetto
|
🔮
The Ethereal
|
cs.LO
|
31 |
7 years ago |
| 305 |
Assignment and Pricing of Shared Rides in Ride-Sourcing using Combinatorial Double Auctions
Renos Karamanis, Eleftherios Anastasiadis, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
31 |
6 years ago |
| 306 |
Sublinear Algorithms for Gap Edit Distance
Elazar Goldenberg, Robert Krauthgamer, Barna Saha
|
🔮
The Ethereal
|
cs.CC
|
31 |
6 years ago |
| 307 |
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
|
🔮
The Ethereal
|
cs.LO
|
31 |
6 years ago |
| 308 |
Monochromatic Triangles, Intermediate Matrix Products, and Convolutions
Andrea Lincoln, Adam Polak, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
31 |
5 years ago |
| 309 |
Flip-width: Cops and Robber on dense graphs
Szymon Toruńczyk
|
🔮
The Ethereal
|
math.CO
|
31 |
3 years ago |
| 310 |
Estimation of Laplacian spectra of direct and strong product graphs
Hiroki Sayama
|
🔮
The Ethereal
|
cs.DM
|
30 |
11 years ago |
| 311 |
Bipodal structure in oversaturated random graphs
Richard Kenyon, Charles Radin, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
30 |
10 years ago |
| 312 |
On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy
Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli
|
🔮
The Ethereal
|
cs.CC
|
30 |
10 years ago |
| 313 |
Formalization of Quantum Protocols using Coq
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
|
🔮
The Ethereal
|
cs.LO
|
30 |
10 years ago |
| 314 |
New extremal binary self-dual codes of length 68 via short kharaghani array over f_2 + uf_2
Abidin Kaya
|
🔮
The Ethereal
|
math.CO
|
30 |
10 years ago |
| 315 |
Designing a semantic model for a wide-spectrum language with concurrency
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
|
🔮
The Ethereal
|
cs.LO
|
30 |
9 years ago |
| 316 |
The Advantage of Truncated Permutations
Shoni Gilboa, Shay Gueron
|
🔮
The Ethereal
|
math.CO
|
30 |
9 years ago |
| 317 |
How hard is it to satisfy (almost) all roommates?
Jiehua Chen, Danny Hermelin, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
9 years ago |
| 318 |
Bounded Quantifier Instantiation for Checking Inductive Invariants
Yotam M. Y. Feldman, Oded Padon, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
30 |
8 years ago |
| 319 |
Computational Complexity of Motion Planning of a Robot through Simple Gadgets
Erik D. Demaine, Isaac Grosof, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
8 years ago |
| 320 |
Shepherding Hordes of Markov Chains
Milan Ceska, Nils Jansen, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
30 |
7 years ago |
| 321 |
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
|
🔮
The Ethereal
|
cs.LO
|
30 |
7 years ago |
| 322 |
Simple Strategies in Multi-Objective MDPs (Technical Report)
Florent Delgrange, Joost-Pieter Katoen, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
30 |
6 years ago |
| 323 |
Fine-grained hardness of CVP(P) -- Everything that we can prove (and nothing else)
Divesh Aggarwal, Huck Bennett, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
6 years ago |
| 324 |
A Note on Double Pooling Tests
Andrei Z. Broder, Ravi Kumar
|
🔮
The Ethereal
|
cs.DM
|
30 |
6 years ago |
| 325 |
Conjunctive Queries: Unique Characterizations and Exact Learnability
Balder ten Cate, Victor Dalmau
|
🔮
The Ethereal
|
cs.LO
|
30 |
5 years ago |
| 326 |
Range Avoidance for Constant-Depth Circuits: Hardness and Algorithms
Karthik Gajulapalli, Alexander Golovnev, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
3 years ago |
| 327 |
A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation
Omar Alrabiah, Venkatesan Guruswami, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
30 |
2 years ago |
| 328 |
Canonizing Graphs of Bounded Tree Width in Logspace
Michael Elberfeld, Pascal Schweitzer
|
🔮
The Ethereal
|
cs.CC
|
29 |
11 years ago |
| 329 |
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea
|
🔮
The Ethereal
|
cs.LO
|
29 |
10 years ago |
| 330 |
Approximating permanents and hafnians
Alexander Barvinok
|
🔮
The Ethereal
|
math.CO
|
29 |
10 years ago |
| 331 |
A general lower bound for collaborative tree exploration
Yann Disser, Frank Mousset, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
29 |
9 years ago |
| 332 |
Dichotomy for Digraph Homomorphism Problems
Tomás Feder, Jeff Kinne, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
29 |
9 years ago |
| 333 |
Low-Rank Matrix Approximation in the Infinity Norm
Nicolas Gillis, Yaroslav Shitov
|
🔮
The Ethereal
|
cs.CC
|
29 |
9 years ago |
| 334 |
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Pavel Dvořák, Eduard Eiben, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
29 |
9 years ago |
| 335 |
Computer-aided proofs for multiparty computation with active security
Helene Haagh, Aleksandr Karbyshev, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
29 |
8 years ago |
| 336 |
On the specification and verification of atomic swap smart contracts
Ron van der Meyden
|
🔮
The Ethereal
|
cs.LO
|
29 |
7 years ago |
| 337 |
Reconstructing Trees from Traces
Sami Davies, Miklos Z. Racz, Cyrus Rashtchian
|
🔮
The Ethereal
|
cs.CC
|
29 |
7 years ago |
| 338 |
Fast uniform generation of random graphs with given degree sequences
Andrii Arman, Pu Gao, Nicholas Wormald
|
🔮
The Ethereal
|
math.CO
|
29 |
7 years ago |
| 339 |
Treewidth versus clique number. I. Graph classes with a forbidden structure
Clément Dallard, Martin Milanič, Kenny Štorgel
|
🔮
The Ethereal
|
math.CO
|
29 |
6 years ago |
| 340 |
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Dan Frumin, Robbert Krebbers, Lars Birkedal
|
🔮
The Ethereal
|
cs.LO
|
29 |
6 years ago |
| 341 |
Counting Subgraphs in Degenerate Graphs
Suman K. Bera, Lior Gishboliner, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
29 |
5 years ago |
| 342 |
Relatively Complete Verification of Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
29 |
5 years ago |
| 343 |
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
Ian Cassar, Adrian Francalanza
|
🔮
The Ethereal
|
cs.LO
|
28 |
11 years ago |
| 344 |
Towards Formal Fault Tree Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
|
🔮
The Ethereal
|
cs.LO
|
28 |
11 years ago |
| 345 |
Quantitative information flow under generic leakage functions and adaptive adversaries
M. Boreale, Francesca Pampaloni
|
🔮
The Ethereal
|
cs.LO
|
28 |
11 years ago |
| 346 |
The Minrank of Random Graphs
Alexander Golovnev, Oded Regev, Omri Weinstein
|
🔮
The Ethereal
|
cs.CC
|
28 |
10 years ago |
| 347 |
Non interactive simulation of correlated distributions is decidable
Anindya De, Elchanan Mossel, Joe Neeman
|
🔮
The Ethereal
|
cs.CC
|
28 |
9 years ago |
| 348 |
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
Ondrej Lengal, Anthony W. Lin, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
28 |
8 years ago |
| 349 |
A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings
Anna R. Karlin, Shayan Oveis Gharan, Robbie Weber
|
🔮
The Ethereal
|
cs.DM
|
28 |
8 years ago |
| 350 |
Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
|
🔮
The Ethereal
|
cs.LO
|
28 |
7 years ago |