| 701 |
Self-Driving Vehicle Verification Towards a Benchmark
Nima Roohi, Ramneet Kaur, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
7 years ago |
| 702 |
On the Complexity of Value Iteration
Nikhil Balaji, Stefan Kiefer, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
15 |
7 years ago |
| 703 |
Enumerating minimal dominating sets in $K_t$-free graphs and variants
Marthe Bonamy, Oscar Defrain, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
15 |
7 years ago |
| 704 |
Spectrum graph coloring to improve Wi-Fi channel assignment in a real-world scenario via edge contraction
David Orden, Ivan Marsa-Maestre, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
15 |
7 years ago |
| 705 |
Finding a planted clique by adaptive probing
Miklós Z. Rácz, Benjamin Schiffer
|
🔮
The Ethereal
|
math.CO
|
15 |
7 years ago |
| 706 |
Parameterized Complexity of Conflict-free Graph Coloring
Hans L. Bodlaender, Sudeshna Kolay, Astrid Pieterse
|
🔮
The Ethereal
|
cs.CC
|
15 |
7 years ago |
| 707 |
Doubly transitive lines II: Almost simple symmetries
Joseph W. Iverson, Dustin G. Mixon
|
🔮
The Ethereal
|
math.CO
|
15 |
6 years ago |
| 708 |
Correlation decay and partition function zeros: Algorithms and phase transitions
Jingcheng Liu, Alistair Sinclair, Piyush Srivastava
|
🔮
The Ethereal
|
cs.CC
|
15 |
6 years ago |
| 709 |
Provenance Analysis for Logic and Games
Erich Grädel, Val Tannen
|
🔮
The Ethereal
|
cs.LO
|
15 |
6 years ago |
| 710 |
Cubic bent functions outside the completed Maiorana-McFarland class
Alexandr Polujan, Alexander Pott
|
🔮
The Ethereal
|
math.CO
|
15 |
6 years ago |
| 711 |
Sequential metric dimension for random graphs
Gergely Ódor, Patrick Thiran
|
🔮
The Ethereal
|
math.CO
|
15 |
6 years ago |
| 712 |
Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep, Olaf Maathuis, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
15 |
6 years ago |
| 713 |
Exact and approximation algorithms for the expanding search problem
Ben Hermans, Roel Leus, Jannik Matuschke
|
🔮
The Ethereal
|
cs.DM
|
15 |
6 years ago |
| 714 |
The theory of concatenation over finite models
Dominik D. Freydenberger, Liat Peterfreund
|
🔮
The Ethereal
|
cs.LO
|
15 |
6 years ago |
| 715 |
Structural Decompositions of Epistemic Logic Programs
Markus Hecher, Michael Morak, Stefan Woltran
|
🔮
The Ethereal
|
cs.CC
|
15 |
6 years ago |
| 716 |
New bounds for perfect $k$-hashing
Simone Costa, Marco Dalai
|
🔮
The Ethereal
|
math.CO
|
15 |
6 years ago |
| 717 |
On girth and the parameterized complexity of token sliding and token jumping
Valentin Bartier, Nicolas Bousquet, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
15 |
5 years ago |
| 718 |
Thirty-seven years of relational Hoare logic: remarks on its principles and history
David A. Naumann
|
🔮
The Ethereal
|
cs.LO
|
15 |
5 years ago |
| 719 |
Explicit near-fully X-Ramanujan graphs
Ryan O'Donnell, Xinyu Wu
|
🔮
The Ethereal
|
math.CO
|
15 |
5 years ago |
| 720 |
Quantitative Strongest Post
Linpeng Zhang, Benjamin Lucien Kaminski
|
🔮
The Ethereal
|
cs.LO
|
15 |
4 years ago |
| 721 |
On Comparable Box Dimension
Zdenek Dvorák, Daniel Goncalves, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
15 |
4 years ago |
| 722 |
Explicit two-sided unique-neighbor expanders
Jun-Ting Hsieh, Theo McKenzie, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
15 |
3 years ago |
| 723 |
Geometric dual and sum-rank minimal codes
Martino Borello, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
15 |
3 years ago |
| 724 |
Certified Hardness vs. Randomness for Log-Space
Edward Pyne, Ran Raz, Wei Zhan
|
🔮
The Ethereal
|
cs.CC
|
15 |
3 years ago |
| 725 |
Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
Florent Foucaud, Esther Galby, ... (+5 more)
|
🔮
The Ethereal
|
cs.CC
|
15 |
2 years ago |
| 726 |
Barker sequences of odd length
Kai-Uwe Schmidt, Jürgen Willms
|
🔮
The Ethereal
|
math.CO
|
14 |
11 years ago |
| 727 |
Efficient Approximation Algorithms for Computing \emph{k} Disjoint Restricted Shortest Paths
Longkun Guo, Kewen Liao, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
14 |
11 years ago |
| 728 |
Approximation Algorithms for Generalized MST and TSP in Grid Clusters
Binay Bhattacharya, Ante Ćustić, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
14 |
10 years ago |
| 729 |
A Case Study on Logical Relations using Contextual Types
Andrew Cave, Brigitte Pientka
|
🔮
The Ethereal
|
cs.LO
|
14 |
10 years ago |
| 730 |
New self-dual additive $\mathbb{F}_4$-codes constructed from circulant graphs
Markus Grassl, Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
14 |
10 years ago |
| 731 |
Decoding Reed-Muller codes over product sets
John Kim, Swastik Kopparty
|
🔮
The Ethereal
|
cs.CC
|
14 |
10 years ago |
| 732 |
Fractals for Kernelization Lower Bounds
Till Fluschnik, Danny Hermelin, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
14 |
10 years ago |
| 733 |
Reasoning about Algebraic Data Types with Abstractions
Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen
|
🔮
The Ethereal
|
cs.LO
|
14 |
10 years ago |
| 734 |
An improved algorithm for the vertex cover $P_3$ problem on graphs of bounded treewidth
Zongwen Bai, Jianhua Tu, Yongtang Shi
|
🔮
The Ethereal
|
math.CO
|
14 |
10 years ago |
| 735 |
A symmetry breaking transition in the edge/triangle network model
Charles Radin, Kui Ren, Lorenzo Sadun
|
🔮
The Ethereal
|
math.CO
|
14 |
10 years ago |
| 736 |
Tight Sum-of-Squares lower bounds for binary polynomial optimization problems
Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli
|
🔮
The Ethereal
|
cs.CC
|
14 |
9 years ago |
| 737 |
Bent functions and line ovals
Kanat Abdukhalikov
|
🔮
The Ethereal
|
math.CO
|
14 |
9 years ago |
| 738 |
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Lihao Liang, Paul E. McKenney, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
9 years ago |
| 739 |
On the Compositionality of Quantitative Information Flow
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
|
🔮
The Ethereal
|
cs.LO
|
14 |
9 years ago |
| 740 |
From signatures to monads in UniMath
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
|
🔮
The Ethereal
|
cs.LO
|
14 |
9 years ago |
| 741 |
Dialectical Rough Sets, Parthood and Figures of Opposition-1
A. Mani
|
🔮
The Ethereal
|
math.LO
|
14 |
9 years ago |
| 742 |
A subspace code of size $333$ in the setting of a binary $q$-analog of the Fano plane
Daniel Heinlein, Michael Kiermaier, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
14 |
8 years ago |
| 743 |
Asymptotically optimal Boolean functions
Kai-Uwe Schmidt
|
🔮
The Ethereal
|
math.CO
|
14 |
8 years ago |
| 744 |
Monitoring Data Minimisation
Srinivas Pinisetty, Thibaud Antignac, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
14 |
8 years ago |
| 745 |
New LMRD bounds for constant dimension codes and improved constructions
Daniel Heinlein
|
🔮
The Ethereal
|
math.CO
|
14 |
8 years ago |
| 746 |
Colouring Square-Free Graphs without Long Induced Paths
Serge Gaspers, Shenwei Huang, Daniël Paulusma
|
🔮
The Ethereal
|
math.CO
|
14 |
7 years ago |
| 747 |
On Computing the Multiplicity of Cycles in Bipartite Graphs Using the Degree Distribution and the Spectrum of the Graph
Ali Dehghan, Amir H. Banihashemi
|
🔮
The Ethereal
|
cs.DM
|
14 |
7 years ago |
| 748 |
Regular omega-Languages with an Informative Right Congruence
Dana Angluin, Dana Fisman
|
🔮
The Ethereal
|
cs.FL
|
14 |
7 years ago |
| 749 |
Flip distances between graph orientations
Oswin Aichholzer, Jean Cardinal, ... (+5 more)
|
🔮
The Ethereal
|
math.CO
|
14 |
7 years ago |
| 750 |
Computational Petri Nets: Adjunctions Considered Harmful
Fabrizio Genovese, Alex Gryzlov, ... (+4 more)
|
🔮
The Ethereal
|
math.CT
|
14 |
7 years ago |