| 2151 |
Proving Skipping Refinement with ACL2s
Mitesh Jain, Panagiotis Manolios
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2152 |
$Z_4$-codes and their Gray map images as orthogonal arrays
Peter J. Cameron, Josephine Kusuma, Patrick Solé
|
🔮
The Ethereal
|
math.CO
|
2 |
10 years ago |
| 2153 |
Minors in graphs of large $θ_r$-girth
Dimitris Chatzidimitriou, Jean-Florent Raymond, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
10 years ago |
| 2154 |
On the Number of Many-to-Many Alignments of Multiple Sequences
Steffen Eger
|
🔮
The Ethereal
|
math.CO
|
2 |
10 years ago |
| 2155 |
A Symbolic Logic with Concrete Bounds for Cryptographic Protocols
Anupam Datta, Joseph Y. Halpern, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2156 |
Proceedings of the Third International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2157 |
Syntax and Semantics of Abstract Binding Trees
Jonathan Sterling, Darin Morrison
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2158 |
On Alternation and the Union Theorem
Mathias Hauptmann
|
🔮
The Ethereal
|
cs.CC
|
2 |
10 years ago |
| 2159 |
Compositional model checking of concurrent systems, with Petri nets
Paweł Sobociński
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2160 |
A linear algorithm for Brick Wang tiling
Alexandre Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi
|
🔮
The Ethereal
|
cs.DM
|
2 |
10 years ago |
| 2161 |
New extremal binary self-dual codes of lengths 64 and 66 from bicubic planar graphs
Abidin Kaya
|
🔮
The Ethereal
|
math.CO
|
2 |
10 years ago |
| 2162 |
Improving SAT Solvers via Blocked Clause Decomposition
Jingchao Chen
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2163 |
Practical Subtyping for System F with Sized (Co-)Induction
Rodolphe Lepigre, Christophe Raffalli
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2164 |
Topological Self-Stabilization with Name-Passing Process Calculi
Christina Rickmann
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2165 |
On the performance of optimal double circulant even codes
T. Aaron Gulliver, Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
2 |
10 years ago |
| 2166 |
Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy
Jingchao Chen
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2167 |
Designs and codes in affine geometry
Jens Zumbrägel
|
🔮
The Ethereal
|
math.CO
|
2 |
10 years ago |
| 2168 |
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques
Luca Aceto, Adrian Francalanza, Anna Ingolfsdottir
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2169 |
A logic for n-dimensional hierarchical refinement
Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2170 |
Parallel Monitors for Self-adaptive Sessions
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2171 |
Preference at First Sight
Chanjuan Liu
|
🔮
The Ethereal
|
cs.LO
|
2 |
10 years ago |
| 2172 |
Dappled tiling
Shizuo Kaji, Alexandre Derouet-Jourdan, Hiroyuki Ochiai
|
🔮
The Ethereal
|
cs.DM
|
2 |
10 years ago |
| 2173 |
Continuation semantics for multi-quantifier sentences: operation-based approaches
Justyna Grudzinska, Marek Zawadowski
|
🔮
The Ethereal
|
math.LO
|
2 |
9 years ago |
| 2174 |
Knowledge Representation Analysis of Graph Mining
Matthias van der Hallen, Sergey Paramonov, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
9 years ago |
| 2175 |
Global Versus Local Computations: Fast Computing with Identifiers
Rabie Mikaël
|
🔮
The Ethereal
|
cs.CC
|
2 |
9 years ago |
| 2176 |
Reducing Opacity to Linearizability: A Sound and Complete Method
Alasdair Armstrong, Brijesh Dongol, Simon Doherty
|
🔮
The Ethereal
|
cs.LO
|
2 |
9 years ago |
| 2177 |
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Yuhui Lin, Gudmund Grov, Rob Arthan
|
🔮
The Ethereal
|
cs.LO
|
2 |
9 years ago |
| 2178 |
Bin Packing Problem: A Linear Constant-Space 3/2-Approximation Algorithm
Abdolahad Noori Zehmakan
|
🔮
The Ethereal
|
cs.DM
|
2 |
10 years ago |
| 2179 |
Self-reducible with easy decision version counting problems admit additive error approximation. Connections to counting complexity, exponential time complexity, and circuit lower bounds
Eleni Bakali
|
🔮
The Ethereal
|
cs.CC
|
2 |
9 years ago |
| 2180 |
Asymptotically Good Convolutional Codes
Giuliano Gadioli La Guardia
|
🔮
The Ethereal
|
math.CO
|
2 |
9 years ago |
| 2181 |
Fast counting of medium-sized rooted subgraphs
P-A. G. Maugis, S. C. Olhede, P. J. Wolfe
|
🔮
The Ethereal
|
cs.DM
|
2 |
9 years ago |
| 2182 |
On Distance Preserving and Sequentially Distance Preserving Graphs
Jason P. Smith, Emad Zahedi
|
🔮
The Ethereal
|
cs.DM
|
2 |
9 years ago |
| 2183 |
Average whenever you meet: Opportunistic protocols for community detection
Luca Becchetti, Andrea Clementi, ... (+5 more)
|
🔮
The Ethereal
|
cs.DM
|
2 |
9 years ago |
| 2184 |
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
Bence Czipó, Ákos Hajdu, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
2 |
9 years ago |
| 2185 |
Dynamic Rank Maximal Matchings
Prajakta Nimbhorkar, Arvind Rameshwar
|
🔮
The Ethereal
|
cs.DM
|
2 |
9 years ago |
| 2186 |
Efficient Type Checking for Path Polymorphism
Juan Edi, Andrés Viso, Eduardo Bonelli
|
🔮
The Ethereal
|
cs.LO
|
2 |
9 years ago |
| 2187 |
Sustaining Moore's Law Through Inexactness
John Augustine, Krishna Palem, Parishkrati
|
🔮
The Ethereal
|
cs.CC
|
2 |
9 years ago |
| 2188 |
The Complexity of Routing with Few Collisions
Till Fluschnik, Marco Morik, Manuel Sorge
|
🔮
The Ethereal
|
cs.CC
|
2 |
9 years ago |
| 2189 |
Fast algorithms for anti-distance matrices as a generalization of Boolean matrices
Michiel de Bondt
|
🔮
The Ethereal
|
cs.DM
|
2 |
9 years ago |
| 2190 |
Some complexity and approximation results for coupled-tasks scheduling problem according to topology
Benoit Darties, Rodolphe Giroudeau, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
2 |
9 years ago |
| 2191 |
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
Peter Baumgartner, Sylvie Thiébaux, Felipe Trevizan
|
🔮
The Ethereal
|
cs.LO
|
2 |
9 years ago |
| 2192 |
On the classification of $\mathbb{Z}_4$-codes
Makoto Araya, Masaaki Harada, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
2 |
9 years ago |
| 2193 |
Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination
Diego Latella, Mieke Massink
|
🔮
The Ethereal
|
cs.LO
|
2 |
9 years ago |
| 2194 |
An Efficient Algorithm for Mixed Domination on Generalized Series-Parallel Graphs
M. Rajaati, P. Sharifani, ... (+3 more)
|
🔮
The Ethereal
|
cs.DM
|
2 |
8 years ago |
| 2195 |
Excluded $t$-factors in Bipartite Graphs: Unified Framework for Nonbipartite Matchings, Restricted 2-matchings, and Matroids
Kenjiro Takazawa
|
🔮
The Ethereal
|
math.CO
|
2 |
8 years ago |
| 2196 |
Timed Epistemic Knowledge Bases for Social Networks (Extended Version)
Raúl Pardo, César Sánchez, Gerardo Schneider
|
🔮
The Ethereal
|
cs.LO
|
2 |
8 years ago |
| 2197 |
The covertime of a biased random walk on $G_{n,p}$
Colin Cooper, Alan Frieze, Samantha Petti
|
🔮
The Ethereal
|
math.CO
|
2 |
8 years ago |
| 2198 |
An Improved Algorithm for E-Generalization
Jochen Burghardt
|
🔮
The Ethereal
|
cs.LO
|
2 |
8 years ago |
| 2199 |
Combinatorial and Asymptotical Results on the Neighborhood Grid
Martin Skrodzki, Ulrich Reitebuch, Alex McDonough
|
🔮
The Ethereal
|
math.CO
|
2 |
8 years ago |
| 2200 |
On the Semantics of Intensionality and Intensional Recursion
G. A. Kavvos
|
🔮
The Ethereal
|
cs.LO
|
2 |
8 years ago |