| 1351 |
Provenance Analysis and Semiring Semantics for First-Order Logic
Erich Grädel, Val Tannen
|
🔮
The Ethereal
|
cs.LO
|
7 |
1 year ago |
| 1352 |
Bipartite Matching is in Catalytic Logspace
Aryan Agarwala, Ian Mertz
|
🔮
The Ethereal
|
cs.CC
|
7 |
1 year ago |
| 1353 |
Online Computation of Abelian Runs
Gabriele Fici, Thierry Lecroq, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
6 |
11 years ago |
| 1354 |
Confluence Detection for Transformations of Labelled Transition Systems
Anton Wijs
|
🔮
The Ethereal
|
cs.LO
|
6 |
11 years ago |
| 1355 |
On the readability of overlap digraphs
Rayan Chikhi, Paul Medvedev, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
6 |
11 years ago |
| 1356 |
On the complexity of computing prime tables
Martin Farach-Colton, Meng-Tsung Tsai
|
🔮
The Ethereal
|
cs.CC
|
6 |
11 years ago |
| 1357 |
Structure Formation in Large Theories
Serge Autexier, Dieter Hutter
|
🔮
The Ethereal
|
cs.LO
|
6 |
11 years ago |
| 1358 |
General Caching Is Hard: Even with Small Pages
Lukáš Folwarczný, Jiří Sgall
|
🔮
The Ethereal
|
cs.CC
|
6 |
11 years ago |
| 1359 |
An Efficient Parallel Algorithm for Spectral Sparsification of Laplacian and SDDM Matrix Polynomials
Gorav Jindal, Pavel Kolev
|
🔮
The Ethereal
|
cs.DM
|
6 |
10 years ago |
| 1360 |
Testing Consumer Rationality using Perfect Graphs and Oriented Discs
Shant Boodaghians, Adrian Vetta
|
🔮
The Ethereal
|
cs.CC
|
6 |
10 years ago |
| 1361 |
Fishing out Winners from Vote Streams
Arnab Bhattacharyya, Palash Dey
|
🔮
The Ethereal
|
cs.CC
|
6 |
10 years ago |
| 1362 |
There is exactly one Z2Z4-cyclic 1-perfect code
Joaquim Borges, Cristina Fernández-Córdoba
|
🔮
The Ethereal
|
math.CO
|
6 |
10 years ago |
| 1363 |
Forkable Regular Expressions
Martin Sulzmann, Peter Thiemann
|
🔮
The Ethereal
|
cs.FL
|
6 |
10 years ago |
| 1364 |
Multi-Clique-Width
Martin Fürer
|
🔮
The Ethereal
|
cs.DM
|
6 |
10 years ago |
| 1365 |
Linear Size Constant-Composition Codes Meeting the Johnson Bound
Yeow Meng Chee, Xiande Zhang
|
🔮
The Ethereal
|
math.CO
|
6 |
10 years ago |
| 1366 |
New Integrality Gap Results for the Firefighters Problem on Trees
Parinya Chalermsook, Daniel Vaz
|
🔮
The Ethereal
|
cs.DM
|
6 |
10 years ago |
| 1367 |
Fuzzy Maximum Satisfiability
Mohamed El Halaby, Areeg Abdalla
|
🔮
The Ethereal
|
cs.LO
|
6 |
10 years ago |
| 1368 |
The Salesman's Improved Paths: 3/2+1/34 Integrality Gap and Approximation Ratio
András Sebő, Anke van Zuylen
|
🔮
The Ethereal
|
cs.DM
|
6 |
10 years ago |
| 1369 |
Minimum distance of Line Orthogonal Grassmann Codes in even characteristic
Ilaria Cardinali, Luca Giuzzi
|
🔮
The Ethereal
|
math.CO
|
6 |
10 years ago |
| 1370 |
The parameterized complexity of finding secluded solutions to some classical optimization problems on graphs
René van Bevern, Till Fluschnik, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
10 years ago |
| 1371 |
Edge-Orders
Lena Schlipf, Jens M. Schmidt
|
🔮
The Ethereal
|
cs.DM
|
6 |
10 years ago |
| 1372 |
Solving Laplacian Systems in Logarithmic Space
François Le Gall
|
🔮
The Ethereal
|
cs.CC
|
6 |
9 years ago |
| 1373 |
Sound Probabilistic #SAT with Projection
Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth
|
🔮
The Ethereal
|
cs.LO
|
6 |
9 years ago |
| 1374 |
Compositional Reasoning for Shared-variable Concurrent Programs
Fuyuan Zhang, Yongwang Zhao, ... (+5 more)
|
🔮
The Ethereal
|
cs.FL
|
6 |
9 years ago |
| 1375 |
Well-Quasi-Ordering versus Clique-Width: New Results on Bigenic Classes
Konrad K. Dabrowski, Vadim V. Lozin, Daniël Paulusma
|
🔮
The Ethereal
|
math.CO
|
6 |
9 years ago |
| 1376 |
Symbolic BDD and ADD Algorithms for Energy Games
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
|
🔮
The Ethereal
|
cs.LO
|
6 |
9 years ago |
| 1377 |
On 1-factorizations of Bipartite Kneser Graphs
Kai Jin
|
🔮
The Ethereal
|
cs.DM
|
6 |
9 years ago |
| 1378 |
A Unification Algorithm for GP 2 (Long Version)
Ivaylo Hristakiev, Detlef Plump
|
🔮
The Ethereal
|
cs.LO
|
6 |
9 years ago |
| 1379 |
Concurrent Constraint Conditional-Branching Timed Interactive Scores
Mauricio Toro, Myriam Desainte-Catherine
|
🔮
The Ethereal
|
cs.LO
|
6 |
9 years ago |
| 1380 |
Power domination in maximal planar graphs
Paul Dorbec, Antonio González, Claire Pennarun
|
🔮
The Ethereal
|
cs.DM
|
6 |
9 years ago |
| 1381 |
Multiple Context-Free Tree Grammars: Lexicalization and Characterization
Joost Engelfriet, Andreas Maletti, Sebastian Maneth
|
🔮
The Ethereal
|
cs.FL
|
6 |
9 years ago |
| 1382 |
The Power of Constraint Grammars Revisited
Anssi Yli-Jyrä
|
🔮
The Ethereal
|
cs.FL
|
6 |
9 years ago |
| 1383 |
The complexity of general-valued CSPs seen from the other side
Clement Carbonnel, Miguel Romero, Stanislav Zivny
|
🔮
The Ethereal
|
cs.CC
|
6 |
8 years ago |
| 1384 |
Kernelization Lower Bounds for Finding Constant-Size Subgraphs
Till Fluschnik, George B. Mertzios, André Nichterlein
|
🔮
The Ethereal
|
cs.CC
|
6 |
8 years ago |
| 1385 |
Timed Concurrent State Machines
Wiktor B. Daszczuk
|
🔮
The Ethereal
|
cs.LO
|
6 |
8 years ago |
| 1386 |
Probabilistic Pursuits on Graphs
Michael Amir, Alfred M. Bruckstein
|
🔮
The Ethereal
|
cs.DM
|
6 |
8 years ago |
| 1387 |
Quantum versus Classical Online Streaming Algorithms with Logarithmic Size of Memory
Kamil Khadiev, Aliya Khadieva, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
8 years ago |
| 1388 |
Formal Feature Interpretation of Hybrid Systems
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
|
🔮
The Ethereal
|
cs.LO
|
6 |
8 years ago |
| 1389 |
What's in a game? A theory of game models
Clovis Eberhart, Tom Hirschowitz
|
🔮
The Ethereal
|
cs.LO
|
6 |
8 years ago |
| 1390 |
A Light Modality for Recursion
Paula Severi
|
🔮
The Ethereal
|
cs.LO
|
6 |
8 years ago |
| 1391 |
Generalizing the Kawaguchi-Kyan bound to stochastic parallel machine scheduling
Sven Jäger, Martin Skutella
|
🔮
The Ethereal
|
cs.DM
|
6 |
8 years ago |
| 1392 |
Embedding a $θ$-invariant code into a complete one
Jean Néraud, Carla Selmi
|
🔮
The Ethereal
|
cs.DM
|
6 |
8 years ago |
| 1393 |
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Bernhard Beckert, Timo Bingmann, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
6 |
8 years ago |
| 1394 |
The $b$-bibranching Problem: TDI System, Packing, and Discrete Convexity
Kenjiro Takazawa
|
🔮
The Ethereal
|
cs.DM
|
6 |
8 years ago |
| 1395 |
Minimum weight codewords in dual Algebraic-Geometric codes from the Giulietti-Korchmáros curve
Daniele Bartoli, Matteo Bonini
|
🔮
The Ethereal
|
math.CO
|
6 |
8 years ago |
| 1396 |
Counter Machines and Distributed Automata: A Story about Exchanging Space and Time
Olivier Carton, Bruno Guillon, Fabian Reiter
|
🔮
The Ethereal
|
cs.FL
|
6 |
8 years ago |
| 1397 |
Average Case Analysis of Leaf-Centric Binary Tree Sources
Louisa Seelbach Benkner, Markus Lohrey, Stephan Wagner
|
🔮
The Ethereal
|
cs.DM
|
6 |
8 years ago |
| 1398 |
Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
Ian J. Hayes, Larissa A. Meinicke
|
🔮
The Ethereal
|
cs.LO
|
6 |
8 years ago |
| 1399 |
Automatic Analysis of Expected Termination Time for Population Protocols
Michael Blondin, Javier Esparza, Antonín Kučera
|
🔮
The Ethereal
|
cs.LO
|
6 |
8 years ago |
| 1400 |
Reoptimization of Parameterized Problems
Hans-Joachim Böckenhauer, Elisabet Burjons, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
6 |
7 years ago |