| 1951 |
Formal Concept Analysis with Many-sorted Attributes
Robert E. Kent, John Brady
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1952 |
Alignments as Compositional Structures
Sarah J. Berkemer, Christian Höner zu Siederdissen, Peter F. Stadler
|
🔮
The Ethereal
|
math.CO
|
3 |
7 years ago |
| 1953 |
The FOLE Table
Robert E. Kent
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1954 |
The problem with probabilistic DAG automata for semantic graphs
Ieva Vasiljeva, Sorcha Gilroy, Adam Lopez
|
🔮
The Ethereal
|
cs.FL
|
3 |
7 years ago |
| 1955 |
Game Tree Search in a Robust Multistage Optimization Framework: Exploiting Pruning Mechanisms
Michael Hartisch, Ulf Lorenz
|
🔮
The Ethereal
|
cs.DM
|
3 |
7 years ago |
| 1956 |
Target Set Selection parameterized by vertex cover and more
Suman Banerjee, Rogers Mathew, Fahad Panolan
|
🔮
The Ethereal
|
cs.CC
|
3 |
7 years ago |
| 1957 |
Combinatorics of nondeterministic walks of the Dyck and Motzkin type
Elie De Panafieu, Mohamed Lamine Lamali, Michael Wallner
|
🔮
The Ethereal
|
math.CO
|
3 |
7 years ago |
| 1958 |
On $(2n/3-1)$-resilient $(n,2)$-functions
Denis S. Krotov
|
🔮
The Ethereal
|
math.CO
|
3 |
7 years ago |
| 1959 |
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics
Andrei-Sebastian Buruiană, Ştefan Ciobâcă
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1960 |
Keyed hash function from large girth expander graphs
Eustrat Zhupa, Monika K. Polak
|
🔮
The Ethereal
|
math.CO
|
3 |
7 years ago |
| 1961 |
An Improved Upper Bound for the Ring Loading Problem
Karl Däubel
|
🔮
The Ethereal
|
cs.DM
|
3 |
7 years ago |
| 1962 |
A 2-Categorical Study of Graded and Indexed Monads
Soichiro Fujii
|
🔮
The Ethereal
|
math.CT
|
3 |
7 years ago |
| 1963 |
True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans
Thierry Boy de la Tour, Rachid Echahed
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1964 |
Efficient Black-Box Identity Testing over Free Group Algebra
V. Arvind, Abhranil Chatterjee, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
7 years ago |
| 1965 |
Subcubic Equivalences Between Graph Centrality Measures and Complementary Problems
Mahdi Boroujeni, Sina Dehghani, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
7 years ago |
| 1966 |
Bialgebraic Semantics for String Diagrams
Filippo Bonchi, Robin Piedeleu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1967 |
Minimal Session Types (Extended Version)
Alen Arslanagić, Jorge A. Pérez, Erik Voogd
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1968 |
Strong Bisimulation for Control Operators
Eduardo Bonelli, Delia Kesner, Andrés Viso
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1969 |
A unifying framework for continuity and complexity in higher types
Thomas Powell
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1970 |
Interactive Verifiable Polynomial Evaluation
Saeid Sahraei, Mohammad Ali Maddah-Ali, Salman Avestimehr
|
🔮
The Ethereal
|
cs.CC
|
3 |
7 years ago |
| 1971 |
Symbolic Analysis of Maude Theories with Narval
María Alpuente, Demis Ballis, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1972 |
Topological Interpretation of Interactive Computation
Emanuela Merelli, Anita Wasilewska
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1973 |
Type-two Iteration with Bounded Query Revision
Bruce M. Kapron, Florian Steinberg
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 1974 |
A Gentzen-style monadic translation of Gödel's System T
Chuangjie Xu
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1975 |
Sticky matroids and convolution
Laszlo Csirmaz
|
🔮
The Ethereal
|
math.CO
|
3 |
6 years ago |
| 1976 |
On correctness of an n queens program
Włodzimierz Drabent
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1977 |
A Three-Valued Semantics for Typed Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1978 |
Towards a Coq-verified Chain of Esterel Semantics
Gérard Berry, Lionel Rieg
|
🔮
The Ethereal
|
cs.FL
|
3 |
6 years ago |
| 1979 |
The Complexity of Packing Edge-Disjoint Paths
Jan Dreier, Janosch Fuchs, ... (+5 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 1980 |
A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT
Gordon Hoi, Sanjay Jain, Frank Stephan
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 1981 |
Testing noisy linear functions for sparsity
Xue Chen, Anindya De, Rocco A. Servedio
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 1982 |
Multilateration of Random Networks with Community Structure
Richard D. Tillquist, Manuel E. Lladser
|
🔮
The Ethereal
|
math.CO
|
3 |
6 years ago |
| 1983 |
Optimal group testing
Amin Coja-Oghlan, Oliver Gebhard, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
6 years ago |
| 1984 |
The Complexity of Verifying Loop-Free Programs as Differentially Private
Marco Gaboardi, Kobbi Nissim, David Purser
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 1985 |
Quantum speedups need structure
Nathan Keller, Ohad Klein
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 1986 |
Synthesis of Reduced Asymmetric Choice Petri Nets
Harro Wimmel
|
🔮
The Ethereal
|
cs.FL
|
3 |
6 years ago |
| 1987 |
On the Mathematical Structure of Cascade Effects and Emergent Phenomena
Elie M. Adam, Munther A. Dahleh
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1988 |
Near-Optimal Algorithm for Distribution-Free Junta Testing
Xiaojin Zhang
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 1989 |
Checking Chase Termination over Ontologies of Existential Rules with Equality
David Carral, Jacopo Urbani
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1990 |
LL(1) Parsing with Derivatives and Zippers
Romain Edelmann, Jad Hamza, Viktor Kunčak
|
🔮
The Ethereal
|
cs.FL
|
3 |
6 years ago |
| 1991 |
Game Description Logic with Integers: A GDL Numerical Extension
Munyque Mittelmann, Laurent Perrussel
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1992 |
Axiomatizing Maximal Progress and Discrete Time
Mario Bravetti
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1993 |
Optimal polynomial-time compression for Boolean Max CSP
Bart M. P. Jansen, Michał Włodarczyk
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 1994 |
Unique key Horn functions
Kristóf Bérczi, Endre Boros, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
6 years ago |
| 1995 |
Contextual Equivalence for Signal Flow Graphs
Filippo Bonchi, Robin Piedeleu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
6 years ago |
| 1996 |
Improved bounds for coloring locally sparse hypergraphs
Fotis Iliopoulos
|
🔮
The Ethereal
|
cs.DM
|
3 |
6 years ago |
| 1997 |
Hierarchical and Modularly-Minimal Vertex Colorings
Dulce I. Valdivia, Manuela Geiß, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
6 years ago |
| 1998 |
Enumerating minimal dominating sets in the (in)comparability graphs of bounded dimension posets
Marthe Bonamy, Oscar Defrain, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
6 years ago |
| 1999 |
Some results on Vertex Separator Reconfiguration
Guilherme C. M. Gomes, Sérgio H. Nogueira, Vinicius F. dos Santos
|
🔮
The Ethereal
|
cs.CC
|
3 |
6 years ago |
| 2000 |
On the weight distribution of some minimal codes
Daniele Bartoli, Matteo Bonini, Marco Timpanella
|
🔮
The Ethereal
|
math.CO
|
3 |
6 years ago |