| 1901 |
Shortest (A+B)-path packing via hafnian
Hiroshi Hirai, Hiroyuki Namba
|
🔮
The Ethereal
|
math.CO
|
3 |
10 years ago |
| 1902 |
An Estimation of the Size of Non-Compact Suffix Trees
Bálint Vásárhelyi
|
🔮
The Ethereal
|
math.CO
|
3 |
10 years ago |
| 1903 |
Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions
Christoph Flamm, Daniel Merkle, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
10 years ago |
| 1904 |
Proof nets for the Displacement calculus
Richard Moot
|
🔮
The Ethereal
|
cs.LO
|
3 |
10 years ago |
| 1905 |
On the Computational Complexities of Three Privacy Measures for Large Networks Under Active Attack
Tanima Chatterjee, Bhaskar DasGupta, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
10 years ago |
| 1906 |
Counting matchings with k unmatched vertices in planar graphs
Radu Curticapean
|
🔮
The Ethereal
|
cs.CC
|
3 |
9 years ago |
| 1907 |
State machines for large scale computer software and systems
Victor Yodaiken
|
🔮
The Ethereal
|
cs.FL
|
3 |
9 years ago |
| 1908 |
Two-connected spanning subgraphs with at most $\frac{10}{7}$OPT edges
Klaus Heeger, Jens Vygen
|
🔮
The Ethereal
|
math.CO
|
3 |
9 years ago |
| 1909 |
On Robust Colorings of Hamming-Distance Graphs
Isaiah Harney, Heide Gluesing-Luerssen
|
🔮
The Ethereal
|
math.CO
|
3 |
9 years ago |
| 1910 |
A Language-theoretic View on Network Protocols
Pierre Ganty, Boris Köpf, Pedro Valero
|
🔮
The Ethereal
|
cs.FL
|
3 |
9 years ago |
| 1911 |
Operational Calculus for Differentiable Programming
Žiga Sajovic, Martin Vuk
|
🔮
The Ethereal
|
cs.FL
|
3 |
9 years ago |
| 1912 |
On ($1$, $ε$)-Restricted Max-Min Fair Allocation Problem
T-H. Hubert Chan, Zhihao Gavin Tang, Xiaowei Wu
|
🔮
The Ethereal
|
cs.DM
|
3 |
9 years ago |
| 1913 |
Asymmetric Hat Game with three players and three colors
Theo van Uem
|
🔮
The Ethereal
|
math.CO
|
3 |
9 years ago |
| 1914 |
DroidStar: Callback Typestates for Android Classes
Arjun Radhakrishna, Nicholas V. Lewchenko, ... (+6 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
9 years ago |
| 1915 |
An Efficient Runtime Validation Framework based on the Theory of Refinement
Mitesh Jain, Panagiotis Manolios
|
🔮
The Ethereal
|
cs.LO
|
3 |
9 years ago |
| 1916 |
Multirole Logic (Extended Abstract)
Hongwei Xi, Hanwen Wu
|
🔮
The Ethereal
|
math.LO
|
3 |
9 years ago |
| 1917 |
On Resource-bounded versions of the van Lambalgen theorem
Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla
|
🔮
The Ethereal
|
cs.CC
|
3 |
9 years ago |
| 1918 |
Shared processor scheduling
Dariusz Dereniowski, Wieslaw Kubiak
|
🔮
The Ethereal
|
cs.DM
|
3 |
9 years ago |
| 1919 |
Finding Minimum Spanning Forests in a Graph
Abdel-Rahman Madkour, Phillip Nadolny, Matthew Wright
|
🔮
The Ethereal
|
math.CO
|
3 |
9 years ago |
| 1920 |
Unit Incomparability Dimension and Clique Cover Width in Graphs
Farhad Shahrokhi
|
🔮
The Ethereal
|
math.CO
|
3 |
9 years ago |
| 1921 |
On the heapability of finite partial orders
János Balogh, Cosmin Bonchiş, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
3 |
9 years ago |
| 1922 |
Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style
Samer Abdallah
|
🔮
The Ethereal
|
cs.LO
|
3 |
9 years ago |
| 1923 |
A Logic for Global and Local Announcements
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1924 |
A Computational Interpretation of Context-Free Expressions
Martin Sulzmann, Peter Thiemann
|
🔮
The Ethereal
|
cs.FL
|
3 |
8 years ago |
| 1925 |
Formalising Type-Logical Grammars in Agda
Wen Kokke
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1926 |
Weighted and locally bounded list-colorings in split graphs, cographs, and partial k-trees
Cédric Bentz
|
🔮
The Ethereal
|
cs.DM
|
3 |
8 years ago |
| 1927 |
An infinite class of unsaturated rooted trees corresponding to designable RNA secondary structures
Jonathan Jedwab, Tara Petrie, Samuel Simon
|
🔮
The Ethereal
|
math.CO
|
3 |
8 years ago |
| 1928 |
A Game Semantics of Concurrent Separation Logic
Paul-André Melliès, Léo Stefanesco
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1929 |
Causality-based Model Checking
Bernd Finkbeiner, Andrey Kupriyanov
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1930 |
Convolutional neural networks on irregular domains based on approximate vertex-domain translations
Bastien Pasdeloup, Vincent Gripon, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
8 years ago |
| 1931 |
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report
Silvio Ghilardi, Elena Pagani
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1932 |
On tractable query evaluation for SPARQL
Stefan Mengel, Sebastian Skritek
|
🔮
The Ethereal
|
cs.CC
|
3 |
8 years ago |
| 1933 |
On Periodicity Lemma for Partial Words
Tomasz Kociumaka, Jakub Radoszewski, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
3 |
8 years ago |
| 1934 |
A high-performance analog Max-SAT solver and its application to Ramsey numbers
Botond Molnár, Melinda Varga, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
3 |
8 years ago |
| 1935 |
Stable gonality is computable
Ragnar Groot Koerkamp, Marieke van der Wegen
|
🔮
The Ethereal
|
cs.DM
|
3 |
8 years ago |
| 1936 |
Multi-optional Many-sorted Past Present Future structures and its description
Sergio Miguel Tomé
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1937 |
Random Walk Fundamental Tensor and Its Applications to Network Analysis
Golshan Golnari, Zhi-Li Zhang, Daniel Boley
|
🔮
The Ethereal
|
cs.DM
|
3 |
8 years ago |
| 1938 |
Classical Higher-Order Processes
Fabrizio Montesi
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1939 |
Proceedings 14th International Conference on Quantum Physics and Logic
Bob Coecke, Aleks Kissinger
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1940 |
Optimal subspace codes in ${\rm PG}(4,q)$
Antonio Cossidente, Francesco Pavese, Leo Storme
|
🔮
The Ethereal
|
math.CO
|
3 |
8 years ago |
| 1941 |
An efficient algorithm to test forcibly-connectedness of graphical degree sequences
Kai Wang
|
🔮
The Ethereal
|
math.CO
|
3 |
8 years ago |
| 1942 |
Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)
Jixin Liu, Yanjing Wang, Yifeng Ding
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1943 |
Decidability of Timed Communicating Automata
Lorenzo Clemente
|
🔮
The Ethereal
|
cs.FL
|
3 |
8 years ago |
| 1944 |
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
|
🔮
The Ethereal
|
cs.FL
|
3 |
8 years ago |
| 1945 |
Changing Observations in Epistemic Temporal Logic
Aurèle Barrière, Bastien Maubert, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
8 years ago |
| 1946 |
Monotonous betting strategies in warped casinos
George Barmpalias, Nan Fang, Andrew Lewis-Pye
|
🔮
The Ethereal
|
math.LO
|
3 |
8 years ago |
| 1947 |
Transfinite fractal dimension of trees and hierarchical scale-free graphs
Júlia Komjáthy, Roland Molontay, Károly Simon
|
🔮
The Ethereal
|
math.CO
|
3 |
7 years ago |
| 1948 |
Context-Free Session Types for Applied Pi-Calculus
Jens Aagaard, Hans Hüttel, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
3 |
7 years ago |
| 1949 |
The Warm-starting Sequential Selection Problem and its Multi-round Extension
Mathilde Fekom, Nicolas Vayatis, Argyris Kalogeratos
|
🔮
The Ethereal
|
cs.DM
|
3 |
7 years ago |
| 1950 |
On the Inner Product Predicate and a Generalization of Matching Vector Families
Balthazar Bauer, Jevgēnijs Vihrovs, Hoeteck Wee
|
🔮
The Ethereal
|
cs.CC
|
3 |
7 years ago |