Contents of Fundamenta Informaticae Volume 102


Number 1,  2010

Number 2,  2010

Number 3-4,  2010


Contents of Volume 102, Number 1, 2010

Click on title for abstract


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


Contents of Volume 102, Number 2, 2010

Click on title for abstract


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


Contents of Volume 102, Number 3-4, 2010

Click on title for abstract


RCRA 2008 - Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Preface.

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