| 1551 |
Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
|
🔮
The Ethereal
|
cs.FL
|
5 |
7 years ago |
| 1552 |
On the Parameterized Complexity of $k$-Edge Colouring
Esther Galby, Paloma T. Lima, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
5 |
7 years ago |
| 1553 |
PML 2 : Integrated Program Verification in ML
Rodolphe Lepigre
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1554 |
Abstract I/O Specification
Willem Penninckx, Amin Timany, Bart Jacobs
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1555 |
Data Consistency in Transactional Storage Systems: a Centralised Approach
Shale Xiong, Andrea Cerone, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1556 |
On the Complexity of Exact Pattern Matching in Graphs: Determinism and Zig-Zag Matching
Massimo Equi, Roberto Grossi, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1557 |
Statistical Model Checking for Hyperproperties
Yu Wang, Siddhartha Nalluri, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1558 |
CSPs with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations
Joshua Brakensiek, Sivakanth Gopi, Venkatesan Guruswami
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1559 |
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems
Yoshiaki Kanazawa, Naoki Nishida
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1560 |
Induction, Coinduction, and Fixed Points in PL Type Theory
Moez A. AbdelGawad
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1561 |
Regular Expressions with Backreferences: Polynomial-Time Matching Techniques
Markus L. Schmid
|
🔮
The Ethereal
|
cs.FL
|
5 |
7 years ago |
| 1562 |
Proportionally dense subgraph of maximum size: complexity and approximation
Cristina Bazgan, Janka Chlebíková, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1563 |
Complexity Thresholds in Inclusion Logic
Miika Hannula, Lauri Hella
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1564 |
Fast Commutative Matrix Algorithm
Andreas Rosowski
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1565 |
A Lower Bound for Relaxed Locally Decodable Codes
Tom Gur, Oded Lachish
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1566 |
A Conditional Lower Bound on Graph Connectivity in MapReduce
Sungjin Im, Benjamin Moseley
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1567 |
Quantifying information flow in interactive systems
David Mestel
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1568 |
Complexity of fall coloring for restricted graph classes
Juho Lauri, Christodoulos Mitillos
|
🔮
The Ethereal
|
cs.CC
|
5 |
7 years ago |
| 1569 |
A concatenation construction for propelinear perfect codes from regular subgroups of GA(r,2)
I. Yu. Mogilnykh, F. I. Solov'eva
|
🔮
The Ethereal
|
math.CO
|
5 |
7 years ago |
| 1570 |
The ${[46,9,20]_2}$ code is unique
Sascha Kurz
|
🔮
The Ethereal
|
math.CO
|
5 |
7 years ago |
| 1571 |
Extensions of Generic DOL for Generic Ontology Design Patterns
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
|
🔮
The Ethereal
|
cs.LO
|
5 |
7 years ago |
| 1572 |
Injective envelopes of transition systems and Ferrers languages
Mustapha Kabil, Maurice Pouzet
|
🔮
The Ethereal
|
math.CO
|
5 |
7 years ago |
| 1573 |
Graph Motif Problems Parameterized by Dual
Guillaume Fertin, Christian Komusiewicz
|
🔮
The Ethereal
|
cs.CC
|
5 |
6 years ago |
| 1574 |
Controlling a Random Population is EXPTIME-hard
Corto Mascle, Mahsa Shirmohammadi, Patrick Totzke
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1575 |
On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal
Konrad K. Dabrowski, Matthew Johnson, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
6 years ago |
| 1576 |
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
Katrin M. Dannert, Erich Grädel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1577 |
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Christoph Benzmüller, David Fuenmayor
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1578 |
Improved Approximation for Maximum Edge Colouring Problem
L Sunil Chandran, Abhiruk Lahiri, Nitin Singh
|
🔮
The Ethereal
|
cs.DM
|
5 |
6 years ago |
| 1579 |
Shannon capacity and the categorical product
Gábor Simonyi
|
🔮
The Ethereal
|
math.CO
|
5 |
6 years ago |
| 1580 |
Pliability and Approximating Max-CSPs
Miguel Romero, Marcin Wrochna, Stanislav Živný
|
🔮
The Ethereal
|
cs.DM
|
5 |
6 years ago |
| 1581 |
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
Emanuele D'Osualdo, Felix Stutz
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1582 |
On the query complexity of estimating the distance to hereditary graph properties
Carlos Hoppen, Yoshiharu Kohayakawa, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
6 years ago |
| 1583 |
Graph fractal dimension and structure of fractal networks: a combinatorial perspective
Pavel Skums, Leonid Bunimovich
|
🔮
The Ethereal
|
math.CO
|
5 |
6 years ago |
| 1584 |
A group induced four-circulant construction for self-dual codes and new extremal binary self-dual codes
Joe Gildea, Abidin Kaya, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
6 years ago |
| 1585 |
Grundy Coloring & friends, Half-Graphs, Bicliques
Pierre Aboulker, Édouard Bonnet, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
5 |
6 years ago |
| 1586 |
Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs
Farzaneh Derakhshan, Frank Pfenning
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1587 |
A Categorical Semantics for Guarded Petri Nets
Fabrizio Genovese, David I. Spivak
|
🔮
The Ethereal
|
math.CT
|
5 |
6 years ago |
| 1588 |
Directed Graph Hashing
Caleb Helbling
|
🔮
The Ethereal
|
cs.DM
|
5 |
6 years ago |
| 1589 |
Eccentricity terrain of $δ$-hyperbolic graphs
Feodor F. Dragan, Heather M. Guarnera
|
🔮
The Ethereal
|
cs.DM
|
5 |
6 years ago |
| 1590 |
Well-partitioned chordal graphs: obstruction set and disjoint paths
Jungho Ahn, Lars Jaffke, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
6 years ago |
| 1591 |
Enumeration of Irredundant Forests
Florian Ingels, Romain Azaïs
|
🔮
The Ethereal
|
cs.DM
|
5 |
6 years ago |
| 1592 |
A formula on the weight distribution of linear codes with applications to AMDS codes
Alessio Meneghetti, Marco Pellegrini, Massimiliano Sala
|
🔮
The Ethereal
|
math.CO
|
5 |
6 years ago |
| 1593 |
Nucleus I: Adjunction spectra in recommender systems and descent
Dusko Pavlovic, Dominic J. D. Hughes
|
🔮
The Ethereal
|
math.CT
|
5 |
6 years ago |
| 1594 |
An Algorithm for the Exact Treedepth Problem
James Trimble
|
🔮
The Ethereal
|
cs.DM
|
5 |
6 years ago |
| 1595 |
Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)
Yutaka Nagashima
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1596 |
Coloring Problems on Bipartite Graphs of Small Diameter
Victor A. Campos, Guilherme C. M. Gomes, ... (+4 more)
|
🔮
The Ethereal
|
math.CO
|
5 |
6 years ago |
| 1597 |
An Epistemic Approach to the Formal Specification of Statistical Machine Learning
Yusuke Kawamoto
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1598 |
Concurrent Separation Logic Meets Template Games
Paul-André Melliès, Léo Stefanesco
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1599 |
Automated Requirements-Based Testing of Black-Box Reactive Systems
Massimo Narizzano, Luca Pulina, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
5 |
6 years ago |
| 1600 |
A Note on the Concrete Hardness of the Shortest Independent Vectors Problem in Lattices
Divesh Aggarwal, Eldon Chung
|
🔮
The Ethereal
|
cs.CC
|
5 |
6 years ago |