Number 1, 2010Number 1, 2010
Number
2, 2010
Number
3-4, 2010
Concurrency Specification and Programming (CS&P). Preface.
Time-independent Liveness in Time Petri Nets
Jörg Peter Bachmann, Louchka Popova-Zeugmann
A Notion of Biological Diagnosability Inspired by the Notion of Opacity
in Systems Security
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska
Update of Probabilistic Beliefs: Implementation and Parametric Verification
Katarzyna Budzyńska, Magdalena Kacprzak, Paweł Rembelski
Agent Oriented Techniques for Programming Autonomous Robots
Hans-Dieter Burkhard
Process Algebra Contexts and Security Properties
Damas P. Gruska
Model Checking Optimisation Based Congestion Control Algorithms
Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Linh Anh Nguyen, Andrzej Szałas
SAT as a Programming Environment for Linear Algebra
Marian Srebrny, Lidia Stępień
A Categorical View of Timed Behaviours
Irina Virbitskaite, Natalya Gribovskaya, Eike
Best
Dependently Typed Programming. Preface.
Correct-by-Construction Concurrency: Using Dependent Types to
Verify Implementations of Effectful Resource Usage Protocols
Edwin Brady, Kevin Hammond
A Tutorial Implementation of a Dependently Typed Lambda Calculus
Andres Löh, Conor McBride, Wouter Swierstra
Automation for Dependently Typed Functional Programming
Sean Wilson, Jacques Fleuriot, Alan Smaill
Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs
Thanasis Balafoutis, Kostas Stergiou
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees
Ismel Brito, Pedro Meseguer
Efficient Plan Adaptation through Replanning Windows
and Heuristic Goals
Alfonso E. Gerevini, Ivan Serina
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina
Lamma
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
António Morgado, Joao Marques-Silva
An Empirical Study of QBF Encodings:
from Treewidth Estimation to Useful Preprocessing
Luca Pulina, Armando Tacchella
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Fabrizio Riguzzi
A SAT-based Method for Solving the Two-dimensional Strip Packing
Problem
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo
Nabeshima