| 401 |
Circular Proofs as Session-Typed Processes: A Local Validity Condition
Farzaneh Derakhshan, Frank Pfenning
|
🔮
The Ethereal
|
cs.LO
|
25 |
6 years ago |
| 402 |
Lower Bounds for QBFs of Bounded Treewidth
Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler
|
🔮
The Ethereal
|
cs.CC
|
25 |
6 years ago |
| 403 |
Smart Contract Interactions in Coq
Jakob Botsch Nielsen, Bas Spitters
|
🔮
The Ethereal
|
cs.LO
|
25 |
6 years ago |
| 404 |
On the computational power and complexity of Spiking Neural Networks
Johan Kwisthout, Nils Donselaar
|
🔮
The Ethereal
|
cs.CC
|
25 |
6 years ago |
| 405 |
Flip-sort and combinatorial aspects of pop-stack sorting
Andrei Asinowski, Cyril Banderier, Benjamin Hackl
|
🔮
The Ethereal
|
math.CO
|
25 |
6 years ago |
| 406 |
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
|
🔮
The Ethereal
|
cs.LO
|
25 |
5 years ago |
| 407 |
Quickly excluding a non-planar graph
Ken-ichi Kawarabayashi, Robin Thomas, Paul Wollan
|
🔮
The Ethereal
|
math.CO
|
25 |
5 years ago |
| 408 |
Flipper games for monadically stable graph classes
Jakub Gajarský, Nikolas Mählmann, ... (+7 more)
|
🔮
The Ethereal
|
cs.LO
|
25 |
3 years ago |
| 409 |
New Bounds on Optimal Sorting Networks
Thorsten Ehlers, Mike Müller
|
🔮
The Ethereal
|
cs.DM
|
24 |
11 years ago |
| 410 |
Comparing Deadlock-Free Session Typed Processes
Ornela Dardha, Jorge A. Pérez
|
🔮
The Ethereal
|
cs.LO
|
24 |
10 years ago |
| 411 |
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
Ilya Sergey, Aleksandar Nanevski, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
10 years ago |
| 412 |
Modeling and Verification of the Bitcoin Protocol
Kaylash Chaudhary, Ansgar Fehnker, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
10 years ago |
| 413 |
A Load-Buffer Semantics for Total Store Ordering
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
9 years ago |
| 414 |
AG codes and AG quantum codes from the GGS curve
Daniele Bartoli, Maria Montanucci, Giovanni Zini
|
🔮
The Ethereal
|
math.CO
|
24 |
9 years ago |
| 415 |
Inverse Lyndon words and Inverse Lyndon factorizations of words
Paola Bonizzoni, Clelia De Felice, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
9 years ago |
| 416 |
Approaching $\frac{3}{2}$ for the $s$-$t$-path TSP
Vera Traub, Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
24 |
9 years ago |
| 417 |
Polynomial tuning of multiparametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
|
🔮
The Ethereal
|
math.CO
|
24 |
8 years ago |
| 418 |
Complexity of Scheduling Charging in the Smart Grid
Mathijs de Weerdt, Michael Albert, Vincent Conitzer
|
🔮
The Ethereal
|
cs.CC
|
24 |
8 years ago |
| 419 |
Probabilistic Couplings for Probabilistic Reasoning
Justin Hsu
|
🔮
The Ethereal
|
cs.LO
|
24 |
8 years ago |
| 420 |
Java & Lambda: a Featherweight Story
Lorenzo Bettini, Viviana Bono, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
8 years ago |
| 421 |
Hidden Hamiltonian Cycle Recovery via Linear Programming
Vivek Bagaria, Jian Ding, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
24 |
8 years ago |
| 422 |
Solving Horn Clauses on Inductive Data Types Without Induction
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
8 years ago |
| 423 |
PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima, Yilun He
|
🔮
The Ethereal
|
cs.LO
|
24 |
8 years ago |
| 424 |
Coaxioms: flexible coinductive definitions by inference systems
Francesco Dagnino
|
🔮
The Ethereal
|
cs.LO
|
24 |
7 years ago |
| 425 |
A certifying extraction with time bounds from Coq to call-by-value $λ$-calculus
Yannick Forster, Fabian Kunze
|
🔮
The Ethereal
|
cs.LO
|
24 |
7 years ago |
| 426 |
Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
|
🔮
The Ethereal
|
cs.LO
|
24 |
7 years ago |
| 427 |
A moment ratio bound for polynomials and some extremal properties of Krawchouk polynomials and Hamming spheres
Naomi Kirshner, Alex Samorodnitsky
|
🔮
The Ethereal
|
math.CO
|
24 |
6 years ago |
| 428 |
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
Carol Mak, C. -H. Luke Ong, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
24 |
6 years ago |
| 429 |
Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, ... (+3 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
6 years ago |
| 430 |
When Votes Change and Committees Should (Not)
Robert Bredereck, Till Fluschnik, Andrzej Kaczmarczyk
|
🔮
The Ethereal
|
cs.CC
|
24 |
6 years ago |
| 431 |
Conformance Checking of Mixed-paradigm Process Models
Boudewijn van Dongen, Johannes De Smedt, ... (+2 more)
|
🔮
The Ethereal
|
cs.FL
|
24 |
5 years ago |
| 432 |
Blocking sets, minimal codes and trifferent codes
Anurag Bishnoi, Jozefien D'haeseleer, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
24 |
3 years ago |
| 433 |
Reassembling trees for the traveling salesman
Jens Vygen
|
🔮
The Ethereal
|
cs.DM
|
23 |
11 years ago |
| 434 |
A new property of the Lovász number and duality relations between graph parameters
Antonio Acín, Runyao Duan, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
23 |
11 years ago |
| 435 |
Model Checking Embedded C Software using k-Induction and Invariants (extended version)
Herbert Rocha, Hussama Ismail, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
23 |
10 years ago |
| 436 |
Parallel algorithms and concentration bounds for the Lovasz Local Lemma via witness DAGs
Bernhard Haeupler, David G. Harris
|
🔮
The Ethereal
|
cs.DM
|
23 |
10 years ago |
| 437 |
Abstraction/Representation Theory for Heterotic Physical Computing
Dominic C. Horsman
|
🔮
The Ethereal
|
cs.LO
|
23 |
10 years ago |
| 438 |
An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation
Jan Friso Groote, Anton Wijs
|
🔮
The Ethereal
|
cs.LO
|
23 |
10 years ago |
| 439 |
Separating hash families: A Johnson-type bound and new constructions
Chong Shangguan, Gennian Ge
|
🔮
The Ethereal
|
cs.DM
|
23 |
10 years ago |
| 440 |
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Raphaël Berthon, Mickael Randour, Jean-François Raskin
|
🔮
The Ethereal
|
cs.LO
|
23 |
9 years ago |
| 441 |
First-Order Query Evaluation with Cardinality Conditions
Martin Grohe, Nicole Schweikardt
|
🔮
The Ethereal
|
cs.LO
|
23 |
9 years ago |
| 442 |
Optimal rate list decoding over bounded alphabets using algebraic-geometric codes
Venkatesan Guruswami, Chaoping Xing
|
🔮
The Ethereal
|
cs.CC
|
23 |
8 years ago |
| 443 |
Erdős-Pósa property of chordless cycles and its applications
Eun Jung Kim, O-joung Kwon
|
🔮
The Ethereal
|
math.CO
|
23 |
8 years ago |
| 444 |
Lower bounds over Boolean inputs for deep neural networks with ReLU gates
Anirbit Mukherjee, Amitabh Basu
|
🔮
The Ethereal
|
cs.CC
|
23 |
8 years ago |
| 445 |
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
Mathys Rennela, Sam Staton
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 446 |
Functorial Semantics for Relational Theories
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 447 |
Majorization and Rényi Entropy Inequalities via Sperner Theory
Mokshay Madiman, Liyao Wang, Jae Oh Woo
|
🔮
The Ethereal
|
math.CO
|
23 |
8 years ago |
| 448 |
Bundled fragments of first-order modal logic: (un)decidability
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 449 |
Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Kuldeep S. Meel
|
🔮
The Ethereal
|
cs.LO
|
23 |
8 years ago |
| 450 |
Semantic Integration in the Information Flow Framework
Robert E. Kent
|
🔮
The Ethereal
|
cs.LO
|
23 |
7 years ago |