| 801 |
Linear-Time Tree Containment in Phylogenetic Networks
Mathias Weller
|
🔮
The Ethereal
|
cs.CC
|
13 |
9 years ago |
| 802 |
Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
13 |
9 years ago |
| 803 |
Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
Antoine Genitrini, Bernhard Gittenberger, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
13 |
9 years ago |
| 804 |
More on additive triples of bijections
Sean Eberhard
|
🔮
The Ethereal
|
math.CO
|
13 |
9 years ago |
| 805 |
Binary extremal self-dual codes of length $60$ and related codes
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
13 |
9 years ago |
| 806 |
Boolean dimension and tree-width
Stefan Felsner, Tamás Mészáros, Piotr Micek
|
🔮
The Ethereal
|
math.CO
|
13 |
9 years ago |
| 807 |
Privacy by typing in the $π$-calculus
Dimitrios Kouzapas, Anna Philippou
|
🔮
The Ethereal
|
cs.LO
|
13 |
8 years ago |
| 808 |
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Bernardo Toninho, Nobuko Yoshida
|
🔮
The Ethereal
|
cs.LO
|
13 |
8 years ago |
| 809 |
Tensor network complexity of multilinear maps
Per Austrin, Petteri Kaski, Kaie Kubjas
|
🔮
The Ethereal
|
cs.CC
|
13 |
8 years ago |
| 810 |
Call-by-Need, Neededness and All That
Delia Kesner, Alejandro Ríos, Andrés Viso
|
🔮
The Ethereal
|
cs.LO
|
13 |
8 years ago |
| 811 |
On the Relative Succinctness of Sentential Decision Diagrams
Beate Bollig, Matthias Buttkus
|
🔮
The Ethereal
|
cs.CC
|
13 |
8 years ago |
| 812 |
Clique-Based Lower Bounds for Parsing Tree-Adjoining Grammars
Karl Bringmann, Philip Wellnitz
|
🔮
The Ethereal
|
cs.CC
|
13 |
8 years ago |
| 813 |
A theory of linear typings as flows on 3-valent graphs
Noam Zeilberger
|
🔮
The Ethereal
|
cs.LO
|
13 |
8 years ago |
| 814 |
Swendsen-Wang Dynamics for General Graphs in the Tree Uniqueness Region
Antonio Blanca, Zongchen Chen, Eric Vigoda
|
🔮
The Ethereal
|
cs.DM
|
13 |
8 years ago |
| 815 |
Is your function low-dimensional?
Anindya De, Elchanan Mossel, Joe Neeman
|
🔮
The Ethereal
|
cs.CC
|
13 |
8 years ago |
| 816 |
On the Enumeration and Counting of Bicriteria Temporal Paths
Petra Mutzel, Lutz Oettershagen
|
🔮
The Ethereal
|
cs.CC
|
13 |
7 years ago |
| 817 |
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic
Mohamed Yousri Mahmoud, Amy P. Felty
|
🔮
The Ethereal
|
cs.LO
|
13 |
7 years ago |
| 818 |
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Thomas Brihaye, Florent Delgrange, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
13 |
7 years ago |
| 819 |
Knowledge compilation languages as proof systems
Florent Capelli
|
🔮
The Ethereal
|
cs.CC
|
13 |
7 years ago |
| 820 |
Best-of-Three Voting on Dense Graphs
Nan Kang, Nicolas Rivera
|
🔮
The Ethereal
|
cs.DM
|
13 |
7 years ago |
| 821 |
Tracking Paths in Planar Graphs
David Eppstein, Michael T. Goodrich, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
13 |
6 years ago |
| 822 |
Compacted binary trees admit a stretched exponential
Andrew Elvey Price, Wenjie Fang, Michael Wallner
|
🔮
The Ethereal
|
math.CO
|
13 |
6 years ago |
| 823 |
On the k-synchronizability of systems
Cinzia Di Giusto, Cinzia Giusto, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
13 |
6 years ago |
| 824 |
Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema
Isabela Drămnesc, Tudor Jebelean
|
🔮
The Ethereal
|
cs.LO
|
13 |
6 years ago |
| 825 |
BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion
Ariyam Das, Youfu Li, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
13 |
6 years ago |
| 826 |
A Relational Program Logic with Data Abstraction and Dynamic Framing
Anindya Banerjee, Ramana Nagasamudram, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
13 |
6 years ago |
| 827 |
Interaction laws of monads and comonads
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
|
🔮
The Ethereal
|
cs.LO
|
13 |
6 years ago |
| 828 |
Codes with few weights arising from linear sets
Vito Napolitano, Ferdinando Zullo
|
🔮
The Ethereal
|
math.CO
|
13 |
6 years ago |
| 829 |
Combinatorial and computational investigations of Neighbor-Joining bias
Ruth Davidson, Abraham Martin del Campo
|
🔮
The Ethereal
|
math.CO
|
13 |
6 years ago |
| 830 |
Foundations of Reasoning with Uncertainty via Real-valued Logics
Ronald Fagin, Ryan Riegel, Alexander Gray
|
🔮
The Ethereal
|
cs.LO
|
13 |
5 years ago |
| 831 |
Reactive Synthesis from Extended Bounded Response LTL Specifications
Alessandro Cimatti, Luca Geatti, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
13 |
5 years ago |
| 832 |
On Hardness of Approximation of Parameterized Set Cover and Label Cover: Threshold Graphs from Error Correcting Codes
Karthik C. S., Inbal Livni-Navon
|
🔮
The Ethereal
|
cs.CC
|
13 |
5 years ago |
| 833 |
Strongly refuting all semi-random Boolean CSPs
Jackson Abascal, Venkatesan Guruswami, Pravesh K. Kothari
|
🔮
The Ethereal
|
cs.CC
|
13 |
5 years ago |
| 834 |
Image sets of perfectly nonlinear maps
Lukas Kölsch, Björn Kriepke, Gohar M. Kyureghyan
|
🔮
The Ethereal
|
math.CO
|
13 |
5 years ago |
| 835 |
Efficient Enumeration Algorithms for Annotated Grammars
Antoine Amarilli, Louis Jachiet, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
13 |
4 years ago |
| 836 |
On The Complexity of Matching Cut for Graphs of Bounded Radius and $H$-Free Graphs
Felicia Lucke, Daniël Paulusma, Bernard Ries
|
🔮
The Ethereal
|
math.CO
|
13 |
4 years ago |
| 837 |
On graphs coverable by k shortest paths
Maël Dumas, Florent Foucaud, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
13 |
4 years ago |
| 838 |
Killing a Vortex
Dimitrios M. Thilikos, Sebastian Wiederrecht
|
🔮
The Ethereal
|
math.CO
|
13 |
4 years ago |
| 839 |
MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
Sarah Kleest-Meißner, Jonas Marasus, Matthias Niewerth
|
🔮
The Ethereal
|
cs.LO
|
13 |
3 years ago |
| 840 |
Combinatorial Algorithms for Subsequence Matching: A Survey
Maria Kosche, Tore Koß, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
13 |
3 years ago |
| 841 |
Induced Cycles and Paths Are Harder Than You Think
Mina Dalirrooyfard, Virginia Vassilevska Williams
|
🔮
The Ethereal
|
cs.CC
|
13 |
3 years ago |
| 842 |
On the zeroes of hypergraph independence polynomials
David Galvin, Gwen McKinley, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
13 |
3 years ago |
| 843 |
Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos
|
🔮
The Ethereal
|
cs.LO
|
13 |
3 years ago |
| 844 |
Bipartite unique-neighbour expanders via Ramanujan graphs
Ron Asherov, Irit Dinur
|
🔮
The Ethereal
|
math.CO
|
13 |
3 years ago |
| 845 |
Mutual-visibility in distance-hereditary graphs: a linear-time algorithm
Serafino Cicerone, Gabriele Di Stefano
|
🔮
The Ethereal
|
math.CO
|
13 |
3 years ago |
| 846 |
Rigidity matroids and linear algebraic matroids with applications to matrix completion and tensor codes
Joshua Brakensiek, Manik Dhar, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
13 |
2 years ago |
| 847 |
An asymptotic formula for the number of irreducible transformation shift registers
Stephen D. Cohen, Sartaj Ul Hasan, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
12 |
11 years ago |
| 848 |
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Wendelin Serwe
|
🔮
The Ethereal
|
cs.LO
|
12 |
10 years ago |
| 849 |
Search-to-Decision Reductions for Lattice Problems with Approximation Factors (Slightly) Greater Than One
Noah Stephens-Davidowitz
|
🔮
The Ethereal
|
cs.CC
|
12 |
10 years ago |
| 850 |
On extremal double circulant self-dual codes of lengths $90$-$96$
T. Aaron Gulliver, Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
12 |
10 years ago |