Bartholdi zeta functions of line graphs and middle graphs of graph coverings Fulltext Access 15 Pages 2005
Relative difference sets fixed by inversion (ii)-character theoretical approach Fulltext Access 15 Pages 2005
Light subgraphs of order at most 3 in large maps of minimum degree 5 on compact 2-manifolds Fulltext Access 15 Pages 2005
Gap-free compositions and gap-free samples of geometric random variables Fulltext Access 15 Pages 2005
Indivisible homogeneous directed graphs and a game for vertex partitions Fulltext Access 15 Pages 2005
Moufang-like conditions for generalized quadrangles and classification of all finite quasi-transitive generalized quadrangles Fulltext Access 15 Pages 2005
Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic Fulltext Access 16 Pages 2005
Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses Fulltext Access 16 Pages 2005
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware Fulltext Access 16 Pages 2005
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search Fulltext Access 16 Pages 2005
Model Checking Functional and Performability Properties of Stochastic Fluid Models Fulltext Access 16 Pages 2005
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD Fulltext Access 16 Pages 2005
Termination of High-Level Replacement Units with Application to Model Transformation Fulltext Access 16 Pages 2005
Towards a Megamodel to Model Software Evolution Through Transformations Fulltext Access 16 Pages 2005
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis Fulltext Access 16 Pages 2005
Compatibly ordered-OSTS of order n and compatibly ordered-OGDD of type hn for n=6k+1 Fulltext Access 16 Pages 2005
Abstract Conditions for the Confluence of Explicit Substitution Calculi Fulltext Access 16 Pages 2005
On the order of the recurrence produced by the method of creative telescoping Fulltext Access 16 Pages 2005
A conjectured combinatorial formula for the Hilbert series for diagonal harmonics Fulltext Access 16 Pages 2005
Rectangular Schur functions and the basic representation of affine Lie algebras Fulltext Access 16 Pages 2005
Parallel Multithreaded Satisfiability Solver: Design and Implementation Fulltext Access 16 Pages 2005
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus Fulltext Access 16 Pages 2005
Improving the Security of Downloadable Java Applications With Static Analysis Fulltext Access 16 Pages 2005
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation Fulltext Access 16 Pages 2005
A Formal Approach for Analysis and Testing of Reliable Embedded Systems Fulltext Access 16 Pages 2005