| 451 |
Cluster Editing with Vertex Splitting
Faisal N. Abu-Khzam, Emmanuel Arrighi, ... (+8 more)
|
🔮
The Ethereal
|
cs.CC
|
23 |
7 years ago |
| 452 |
How fast can we reach a target vertex in stochastic temporal graphs?
Eleni C. Akrida, George B. Mertzios, ... (+4 more)
|
🔮
The Ethereal
|
cs.CC
|
23 |
7 years ago |
| 453 |
Neural network identifiability for a family of sigmoidal nonlinearities
Verner Vlačić, Helmut Bölcskei
|
🔮
The Ethereal
|
math.CO
|
23 |
7 years ago |
| 454 |
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
Romain Péchoux, Simon Perdrix, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
23 |
6 years ago |
| 455 |
Open Diagrams via Coend Calculus
Mario Román
|
🔮
The Ethereal
|
math.CT
|
23 |
6 years ago |
| 456 |
Towards making formal methods normal: meeting developers where they are
Alastair Reid, Luke Church, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
23 |
5 years ago |
| 457 |
Graph Tikhonov Regularization and Interpolation via Random Spanning Forests
Yusuf Pilavci, Pierre-Olivier Amblard, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
23 |
5 years ago |
| 458 |
Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation
Amol Aggarwal, Josh Alman
|
🔮
The Ethereal
|
cs.CC
|
23 |
4 years ago |
| 459 |
Prophecy Variables for Hyperproperty Verification
Raven Beutner, Bernd Finkbeiner
|
🔮
The Ethereal
|
cs.LO
|
23 |
4 years ago |
| 460 |
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)
Upamanyu Sharma, Ralf Jung, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
23 |
2 years ago |
| 461 |
A natural counting of lambda terms
Maciej Bendkowski, Katarzyna Grygiel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
11 years ago |
| 462 |
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
11 years ago |
| 463 |
Symmetries of matrix multiplication algorithms. I
V. P. Burichenko
|
🔮
The Ethereal
|
cs.CC
|
22 |
10 years ago |
| 464 |
Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT
Bart M. P. Jansen, Astrid Pieterse
|
🔮
The Ethereal
|
cs.CC
|
22 |
10 years ago |
| 465 |
Motivating Time-Inconsistent Agents: A Computational Approach
Susanne Albers, Dennis Kraft
|
🔮
The Ethereal
|
cs.CC
|
22 |
10 years ago |
| 466 |
Concurrent Data Structures Linked in Time
Germán Andrés Delbianco, Ilya Sergey, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
10 years ago |
| 467 |
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston, Nikos Gorogiannis, Max Kanovich
|
🔮
The Ethereal
|
cs.LO
|
22 |
10 years ago |
| 468 |
Accounting for the Role of Long Walks on Networks via a New Matrix Function
Ernesto Estrada, Grant Silver
|
🔮
The Ethereal
|
math.CO
|
22 |
10 years ago |
| 469 |
Amplifiers and Suppressors of Selection for the Moran Process on Undirected Graphs
George Giakkoupis
|
🔮
The Ethereal
|
cs.DM
|
22 |
9 years ago |
| 470 |
Knapsack Problems: A Parameterized Point of View
Carolin Albrecht, Frank Gurski, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
22 |
9 years ago |
| 471 |
Conflict-Free Coloring of Planar Graphs
Zachary Abel, Victor Alvarez, ... (+6 more)
|
🔮
The Ethereal
|
cs.DM
|
22 |
9 years ago |
| 472 |
Dynamic Conjunctive Queries
Thomas Zeume, Thomas Schwentick
|
🔮
The Ethereal
|
cs.LO
|
22 |
9 years ago |
| 473 |
Uniform generation of random graphs with power-law degree sequences
Pu Gao, Nicholas Wormald
|
🔮
The Ethereal
|
math.CO
|
22 |
8 years ago |
| 474 |
Polynomial Cases for the Vertex Coloring Problem
T. Karthick, Frédéric Maffray, Lucas Pastor
|
🔮
The Ethereal
|
math.CO
|
22 |
8 years ago |
| 475 |
Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
8 years ago |
| 476 |
A complexity dichotomy for Matching Cut in (bipartite) graphs of fixed diameter
Hoang-Oanh Le, Van Bang Le
|
🔮
The Ethereal
|
cs.CC
|
22 |
8 years ago |
| 477 |
What is algebraic about algebraic effects and handlers?
Andrej Bauer
|
🔮
The Ethereal
|
cs.LO
|
22 |
8 years ago |
| 478 |
New lower bound on the Shannon capacity of C7 from circular graphs
Sven Polak, Alexander Schrijver
|
🔮
The Ethereal
|
math.CO
|
22 |
7 years ago |
| 479 |
Forman's Ricci curvature - From networks to hypernetworks
Emil Saucan, Melanie Weber
|
🔮
The Ethereal
|
cs.DM
|
22 |
7 years ago |
| 480 |
The hat guessing number of graphs
Noga Alon, Omri Ben-Eliezer, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
22 |
7 years ago |
| 481 |
Junta correlation is testable
Anindya De, Elchanan Mossel, Joe Neeman
|
🔮
The Ethereal
|
cs.CC
|
22 |
7 years ago |
| 482 |
Verified Optimization in a Quantum Intermediate Representation
Kesha Hietala, Robert Rand, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
7 years ago |
| 483 |
Quaternary Hermitian linear complementary dual codes
Makoto Araya, Masaaki Harada, Ken Saito
|
🔮
The Ethereal
|
math.CO
|
22 |
7 years ago |
| 484 |
Average-based Robustness for Continuous-Time Signal Temporal Logic
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
|
🔮
The Ethereal
|
cs.FL
|
22 |
6 years ago |
| 485 |
A Calculus for Modular Loop Acceleration
Florian Frohn
|
🔮
The Ethereal
|
cs.LO
|
22 |
6 years ago |
| 486 |
Common Complements of Linear Subspaces and the Sparseness of MRD Codes
Anina Gruica, Alberto Ravagnani
|
🔮
The Ethereal
|
math.CO
|
22 |
5 years ago |
| 487 |
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
Danilo Pianini, Roberto Casadei, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
22 |
5 years ago |
| 488 |
The Existential Theory of the Reals as a Complexity Class: A Compendium
Marcus Schaefer, Jean Cardinal, Tillmann Miltzow
|
🔮
The Ethereal
|
cs.CC
|
22 |
1 year ago |
| 489 |
Parameterized Algorithms for Deletion to (r,l)-graphs
Sudeshna Kolay, Fahad Panolan
|
🔮
The Ethereal
|
cs.CC
|
21 |
11 years ago |
| 490 |
LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners
Max Wisniewski, Alexander Steen, Christoph Benzmüller
|
🔮
The Ethereal
|
cs.LO
|
21 |
11 years ago |
| 491 |
Using Program Synthesis for Program Analysis
Cristina David, Daniel Kroening, Matt Lewis
|
🔮
The Ethereal
|
cs.LO
|
21 |
10 years ago |
| 492 |
The Complexity of Pattern Matching for $321$-Avoiding and Skew-Merged Permutations
Michael H. Albert, Marie-Louise Lackner, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
21 |
10 years ago |
| 493 |
Future-based Static Analysis of Message Passing Programs
Wytse Oortwijn, Stefan Blom, Marieke Huisman
|
🔮
The Ethereal
|
cs.LO
|
21 |
10 years ago |
| 494 |
An Abstract Semantics of the Global View of Choreographies
Roberto Guanciale, Emilio Tuosto
|
🔮
The Ethereal
|
cs.LO
|
21 |
9 years ago |
| 495 |
Homomorphism bounds and edge-colourings of $K_4$-minor-free graphs
Laurent Beaudou, Florent Foucaud, Reza Naserasr
|
🔮
The Ethereal
|
math.CO
|
21 |
9 years ago |
| 496 |
Certifying coloring algorithms for graphs without long induced paths
Marcin Kamiński, Anna Pstrucha
|
🔮
The Ethereal
|
math.CO
|
21 |
9 years ago |
| 497 |
The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Jess Banks, Robert Kleinberg, Cristopher Moore
|
🔮
The Ethereal
|
cs.CC
|
21 |
9 years ago |
| 498 |
Hardness Results for Structured Linear Systems
Rasmus Kyng, Peng Zhang
|
🔮
The Ethereal
|
cs.CC
|
21 |
9 years ago |
| 499 |
Some restrictions on weight enumerators of singly even self-dual codes II
Masaaki Harada, Akihiro Munemasa
|
🔮
The Ethereal
|
math.CO
|
21 |
9 years ago |
| 500 |
The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
|
🔮
The Ethereal
|
cs.LO
|
21 |
8 years ago |