Metric properties of the Tower of Hanoi graphs and Stern's diatomic sequence Fulltext Access 16 Pages 2005
Towards a proof of the decidability of the momentary stagnation of the growth function of D0L systems Fulltext Access 16 Pages 2005
Reconstruction of convex polyominoes from orthogonal projections of their contours Fulltext Access 16 Pages 2005
Computationally universal P systems without priorities: two catalysts are sufficient Fulltext Access 16 Pages 2005
Improvements of the theorem of Duchet and Meyniel on Hadwiger's conjecture Fulltext Access 16 Pages 2005
On an open problem of Amadio and Curien: The finite antichain condition Fulltext Access 17 Pages 2005
Analysing Password Protocol Security Against Off-line Dictionary Attacks Fulltext Access 17 Pages 2005
On the complexity of cell flipping in permutation diagrams and multiprocessor scheduling problems Fulltext Access 17 Pages 2005
Exact and approximate balanced data gathering in energy-constrained sensor networks Fulltext Access 17 Pages 2005
Time complexity of radio broadcasting: adaptiveness vs. obliviousness and randomization vs. determinism Fulltext Access 17 Pages 2005
A class of polynomially solvable range constraints for interval analysis without widenings Fulltext Access 17 Pages 2005
The total chromatic number of regular graphs of even order and high degree Fulltext Access 17 Pages 2005
Non-cooperative computation: Boolean functions with correctness and exclusivity Fulltext Access 17 Pages 2005
A Coalgebraic Semantic Framework for Component-based Development in UML Fulltext Access 17 Pages 2005
Absolute exponential stability of a class of recurrent neural networks with multiple and variable delays Fulltext Access 17 Pages 2005
A boundary result on enhanced time-varying distributed H systems with parallel computations Fulltext Access 17 Pages 2005
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification Fulltext Access 17 Pages 2005
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems Fulltext Access 17 Pages 2005
The approximability of non-Boolean satisfiability problems and restricted integer programming Fulltext Access 17 Pages 2005