A Logical Framework for Debugging in Declarative Constraint Programming Fulltext Access 17 Pages 2009
Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction Fulltext Access 17 Pages 2009
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks Fulltext Access 17 Pages 2009
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols Fulltext Access 17 Pages 2009
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol Fulltext Access 18 Pages 2009
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors Fulltext Access 18 Pages 2009
Some identities on the Bernoulli, Euler and Genocchi polynomials via power sums and alternate power sums Fulltext Access 18 Pages 2009
Some matrices associated with the split decomposition for a QQ-polynomial distance-regular graph Fulltext Access 18 Pages 2009
The galaxies of nonstandard enlargements of infinite and transfinite graphs Fulltext Access 18 Pages 2009
Solving similarity joins and range queries in metric spaces with the list of twin clusters Fulltext Access 18 Pages 2009
Characterizations and recognition of circular-arc graphs and subclasses: A survey Fulltext Access 18 Pages 2009
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation Fulltext Access 18 Pages 2009
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages Fulltext Access 18 Pages 2009
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains Fulltext Access 18 Pages 2009
Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic Fulltext Access 18 Pages 2009
L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos Fulltext Access 18 Pages 2009
Some Programming Languages Suggested by Game Models (Extended Abstract) Fulltext Access 18 Pages 2009
A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol Fulltext Access 18 Pages 2009
Verified Compilation and the B Method: A Proposal and a First Appraisal Fulltext Access 18 Pages 2009