Answering regular path queries in expressive Description Logics via alternating tree-automata Fulltext Access 44 Pages 2014
Linear logical relations and observational equivalences for session-based concurrency Fulltext Access 49 Pages 2014
Colouring graphs when the number of colours is almost the maximum degree Fulltext Access 62 Pages 2014
Algebraic characterizations of regularity properties in bipartite graphs Fulltext Access 9 Pages 2013
Approximation algorithms for two-machine open shop scheduling with batch and delivery coordination Fulltext Access 9 Pages 2013
Gathering asynchronous oblivious agents with local vision in regular bipartite graphs Fulltext Access 11 Pages 2013
Symmetry breaking depending on the chromatic number or the neighborhood growth Fulltext Access 11 Pages 2013
Exploiting word-level parallelism for fast convolutions and their applications in approximate string matching Fulltext Access 14 Pages 2013
Tight bounds for black hole search with scattered agents in synchronous rings Fulltext Access 16 Pages 2013
Energy-efficient strategies for building short chains of mobile robots locally Fulltext Access 16 Pages 2013
Proof theory for locally finite many-valued logics: Semi-projective logics Fulltext Access 17 Pages 2013
Optimal time data gathering in wireless networks with multidirectional antennas Fulltext Access 18 Pages 2013
Conditional expanding bounds for two-variable functions over prime fields Fulltext Access 18 Pages 2013
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition Fulltext Access 25 Pages 2013
Combined model checking for temporal, probabilistic, and real-time logics Fulltext Access 28 Pages 2013
Compositional probabilistic verification through multi-objective model checking Fulltext Access 28 Pages 2013
Reducing behavioural to structural properties of programs with procedures Fulltext Access 35 Pages 2013
The application of representation theory in directed strongly regular graphs Fulltext Access 29 Pages 2019
Adjacent vertex distinguishing total coloring of graphs with maximum degree 4 Fulltext Access 5 Pages 2017
Asymptotically optimal neighbor sum distinguishing total colorings of graphs Fulltext Access 5 Pages 2017
Improved bound on the oriented diameter of graphs with given minimum degree Fulltext Access 5 Pages 2017
On the set of uniquely decodable codes with a given sequence of code word lengths Fulltext Access 7 Pages 2017
On some identities for the Fibonomial coefficients via generating function Fulltext Access 8 Pages 2017
Invertible binary matrices with maximum number of 22-by-22 invertible submatrices Fulltext Access 8 Pages 2017
Degree sum conditions for path-factors with specified end vertices in bipartite graphs Fulltext Access 9 Pages 2017
Nonexistence of embeddings with uniformly bounded distortions of Laakso graphs into diamond graphs Fulltext Access 9 Pages 2017
Arc-transitive antipodal distance-regular covers of complete graphs related to SU3(q)SU3(q) Fulltext Access 9 Pages 2017
Spectra and Laplacian spectra of arbitrary powers of lexicographic products of graphs Fulltext Access 10 Pages 2017
Any Tree with mm edges can be embedded in a Graceful Tree with less than 4m4m edges and in a graceful planar graph Fulltext Access 11 Pages 2017