Causes and explanations in the structural-model approach: Tractable cases Fulltext Access 39 Pages 2006
The predicates of the Apollonius diagram: Algorithmic analysis and implementation Fulltext Access 40 Pages 2006
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics Fulltext Access 40 Pages 2006
An implementation framework for Software Architectures based on the coordination paradigm Fulltext Access 41 Pages 2006
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties Fulltext Access 41 Pages 2006
On the complexity of the two-variable guarded fragment with transitive guards Fulltext Access 41 Pages 2006
Statistical probabilistic model checking with a focus on time-bounded properties Fulltext Access 42 Pages 2006
Linear and affine logics with temporal, spatial and epistemic operators Fulltext Access 43 Pages 2006
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures Fulltext Access 44 Pages 2006
Creol: A type-safe object-oriented model for distributed concurrent systems Fulltext Access 44 Pages 2006
Constraint partitioning in penalty formulations for solving temporal planning problems Fulltext Access 45 Pages 2006
Dialectic proof procedures for assumption-based, admissible argumentation Fulltext Access 46 Pages 2006
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols Fulltext Access 47 Pages 2006
Planning as satisfiability: parallel plans and algorithms for plan search Fulltext Access 50 Pages 2006
MiniMAO1 : An imperative core language for studying aspect-oriented reasoning Fulltext Access 54 Pages 2006
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques Fulltext Access 66 Pages 2006
The class of HDT0L sequences is closed with respect to rational functions Fulltext Access 4 Pages 2005
Special section: “Soft-computing and advanced techniques in new algorithmic approaches to existing application areas” Fulltext Access 4 Pages 2005
High-speed networks and services for data-intensive Grids: The DataTAG Project Fulltext Access 4 Pages 2005
Graph isomorphism completeness for chordal bipartite graphs and strongly chordal graphs Fulltext Access 4 Pages 2005
Spectral characterization of cryptographic Boolean functions satisfying the (extended) propagation criterion of degree l and order k Fulltext Access 4 Pages 2005
An algebraic attack on the improved summation generator with 2-bit memory Fulltext Access 4 Pages 2005
A simple power analysis attack against the key schedule of the Camellia block cipher Fulltext Access 4 Pages 2005
Design and performance of networks for super-, cluster-, and grid-computing: Part II Fulltext Access 4 Pages 2005
Design and performance of networks for super-, cluster-, and grid-computing: Part I Fulltext Access 4 Pages 2005
Survival analysis of microarray expression data by transformation models Fulltext Access 4 Pages 2005
Erratum to “NFA reduction algorithms by means of regular inequalities” [Theoret. Comput. Sci. 327 (2004) 241-253] Fulltext Access 4 Pages 2005
A molecular docking model of SARS-CoV S1 protein in complex with its receptor, human ACE2 Fulltext Access 4 Pages 2005
A common sequence-associated physicochemical feature for proteins of beta-trefoil family Fulltext Access 4 Pages 2005
SVM-BALSA: Remote homology detection based on Bayesian sequence alignment Fulltext Access 4 Pages 2005