| 3051 |
Finite LTL Synthesis is EXPTIME-complete
Jorge A. Baier, Alberto Camacho, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3052 |
Computing Vertex-Disjoint Paths using MAOs
Johanna E. Preißer, Jens M. Schmidt
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 years ago |
| 3053 |
Five Basic Concepts of Axiomatic Rewriting Theory
Paul-André Melliès
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3054 |
A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints
Quang Loc Le
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3055 |
On the Optimality of Tape Merge of Two Lists with Similar Size
Qian Li, Xiaoming Sun, Jialin Zhang
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 years ago |
| 3056 |
Linear separation of connected dominating sets in graphs
Nina Chiarelli, Martin Milanič
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3057 |
The Security of Hardware-Based Omega(n^2) Cryptographic One-Way Functions: Beyond Satisfiability and P=NP
Javier A. Arroyo-Figueroa
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 years ago |
| 3058 |
A Proposed Algorithm for Minimum Vertex Cover Problem and its Testing
Gang Hu
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 years ago |
| 3059 |
Perfect Memory Context Trees in time series modeling
Tong Zhang
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3060 |
Towards Asymptotically Optimal One-to-One PDP Algorithms for Capacity 2+ Vehicles
Martin Olsen
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 years ago |
| 3061 |
Some conjectures on codes
Clelia De Felice
|
🔮
The Ethereal
|
cs.FL
|
0 |
9 years ago |
| 3062 |
Generic and Efficient Solution Solves the Shortest Paths Problem in Square Runtime
Yong Tan
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 years ago |
| 3063 |
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Jan Bouda, Lukáš Holík, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3064 |
A Comment on Argumentation
Karl Schlechta
|
🔮
The Ethereal
|
math.LO
|
0 |
9 years ago |
| 3065 |
The formal-logical characterisation of lies, deception, and associated notions
Toni Heidenreich
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3066 |
Lifted Relational Algebra with Recursion and Connections to Modal Logic
Eugenia Ternovska
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3067 |
Selecting optimal minimum spanning trees that share a topological correspondence with phylogenetic trees
Prabhav Kalaghatgi, Thomas Lengauer
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3068 |
Proceedings Fourth International Workshop on Linearity
Iliano Cervesato, Maribel Fernández
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3069 |
High Rate LDPC Codes from Difference Covering Arrays
D. Donovan, A. Rao, E. Şule Yazıcı
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3070 |
Recent progress on conditional randomness
Hayato Takahashi
|
🔮
The Ethereal
|
math.LO
|
0 |
9 years ago |
| 3071 |
Sparse Approximation is Provably Hard under Coherent Dictionaries
Ali Çivril
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 years ago |
| 3072 |
A Variation of Levin Search for All Well-Defined Problems
Fouad B. Chedid
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 years ago |
| 3073 |
Contractibility for Open Global Constraints
Michael J. Maher
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3074 |
Upper bounds on the smallest size of a saturating set in projective planes and spaces of even dimension
Daniele Bartoli, Alexander Davydov, ... (+3 more)
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3075 |
Über die Präzision interprozeduraler Analysen
Dorothea Jansen
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3076 |
Fleet management for autonomous vehicles: Online PDP under special constraints
Sahar Bsaybes, Alain Quilliot, Annegret K. Wagler
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 years ago |
| 3077 |
An Outline of Separation Logic
Abhishek Kr Singh, Raja Natrajan
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3078 |
The Kth Traveling Salesman Problem is Pseudopolynomial when TSP is polynomial
Brahim Chaourar
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3079 |
Generalized Three and Four Person Hat Game
Theo van Uem
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3080 |
Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis
Guillaume Bonfante, Georg Moser
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3081 |
Automated Sized-Type Inference and Complexity Analysis
Martin Avanzini, Ugo Dal Lago
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3082 |
Shifting the Phase Transition Threshold for Random Graphs and 2-SAT using Degree Constraints
Sergey Dovgal, Vlady Ravelomanana
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3083 |
Matroids Hitting Sets and Unsupervised Dependency Grammar Induction
Nicholas Harvey, Vahab Mirrokni, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 years ago |
| 3084 |
A spectral characterisation of t-designs and its applications
Eun-Kyung Cho, Cunsheng Ding, Jong Yoon Hyun
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3085 |
A graph model of message passing processes
Andrew M. Mironov
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3086 |
A new method of verification of security protocols
Andrew M. Mironov
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3087 |
Bounds and approximation results for scheduling coupled-tasks with compatibility constraints
Rodolphe Giroudeau, Jean-Claude König, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 years ago |
| 3088 |
Inner Rank and Lower Bounds for Matrix Multiplication
Joel Friedman
|
🔮
The Ethereal
|
cs.CC
|
0 |
9 years ago |
| 3089 |
Hypergraphical Clustering Games of Mis-Coordination
Rann Smorodinsky, Shakhar Smorodinsky
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3090 |
Signal Machine And Cellular Automaton Time-Optimal Quasi-Solutions Of The Firing Squad/Mob Synchronisation Problem On Connected Graphs
Simon Wacker
|
🔮
The Ethereal
|
cs.FL
|
0 |
9 years ago |
| 3091 |
Novel Logical Method for Security Analysis of Electronic Payment Protocols
Yi Liu, Xingtong Liu, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3092 |
Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Ryu Hasegawa
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3093 |
Generation and analysis of lamplighter programs
Carlos Martin
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 years ago |
| 3094 |
Weak Modular Product of Bipartite Graphs, Bicliques and Isomorphism
Danial Dervovic, Simone Severini
|
🔮
The Ethereal
|
math.CO
|
0 |
9 years ago |
| 3095 |
Online codes for analog signals
Leonard J. Schulman, Piyush Srivastava
|
🔮
The Ethereal
|
cs.DM
|
0 |
9 years ago |
| 3096 |
Toward an Epistemic-Logical Theory of Categorization
Willem Conradie, Sabine Frittella, ... (+4 more)
|
🔮
The Ethereal
|
cs.LO
|
0 |
9 years ago |
| 3097 |
A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks
Jasine Babu, K. Murali Krishnan, Vineeth Paleri
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3098 |
A Stronger Foundation for Computer Science and P=NP
Mark Inman
|
🔮
The Ethereal
|
cs.CC
|
0 |
8 years ago |
| 3099 |
Proceedings Fifth International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |
| 3100 |
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
Kirstin Peters, Simone Tini
|
🔮
The Ethereal
|
cs.LO
|
0 |
8 years ago |