Contents of Fundamenta Informaticae Volume 89


Number 1,  2008

Number 2-3,  2008

Number 4,  2008

 


Contents of Volume 89, Number 1, 2008

Click on title for abstract


Progress on Multi-Relational Data Mining- Preface i-iii

An Experimental Comparison of Different Inclusion Relations in Frequent Tree Mining
Jeroen De Knijf,  Ad Feelders

Multi-Dimensional Relational Sequence Mining
Floriana Esposito,  Nicola Di Mauro, Teresa M.A. Basile,   Stefano Ferilli

Compile the Hypothesis Space: Do it Once, Use it Often
Nuno A. Fonseca,  Rui Camacho,  Ricardo Rocha

Learning from Skewed Class Multi-relational Databases
Hongyu Guo,  Herna L. Viktor

A Restarted Strategy for Efficient Subsumption Testing
Ondrej Kuzelka,  Filip Zelezný

Relational Transformation-based Tagging for Activity Recognition
Niels Landwehr,  Bernd Gutmann,  Ingo Thon,  Luc De Raedt

Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning Techniques
Wannes Meert, Jan Struyf, Hendrik Blockeel


Contents of Volume 89, Number 2-3, 2008

Click on title for abstract


Byzantine Agreement & Fault Diagnosis Agreement in Dynamic Ad-Hoc Environment
Chien-Fu Cheng,  Shu-Ching Wang,  Tyne Liang

Web User Behaviour with User-Level Models
Krzysztof Dembczyński,  Wojciech Kotłowski,   Marcin Sydow

Pebble Macro Tree Transducers with Strong Pebble Handling
Zoltán Fülöp,  Loránd Muzamel

Preferential Regular Path Queries
Gösta Grahne,  Alex Thomo,  William W. Wadge

The Boolean Closure of Growing Context-Sensitive Languages
Tomasz Jurdziński

Logical Undecidabilities Made Easy
Daniel Leivant

Efficient Implementation of the Italiano Algorithms for Updating the Transitive Closure on Associative Parallel Processors
Anna Nepomniaschaya

Planar Straight-Line Embedding of Double-Tree Scan Architecture on a Rectangular Grid
Indranil Saha,  Bhargab B. Bhattacharya,  Sheng Zhang,   Sharad C. Seth

On the Axiomatic System of §-algebras
Filip Svrcek


Contents of Volume 89, Number 4, 2008

Click on title for abstract


Fundamentals of Software Engineering 2007: Selected Contributions - Preface i-ii

Slicing Abstractions
Ingo Brückner,  Klaus Dräger,  Bernd Finkbeiner,  Heike Wehrheim

Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme
Mohammad Torabi Dashti,  Srijith Krishnan Nair, Hugo Jonker

Universality Analysis for One-Clock Timed Automata
Parosh Aziz Abdulla,  Johann Deneux,  Joël Ouaknine,  Karin Quaas,  James Worrell

A Foundational Theory of Contracts for Multi-party Service Composition
Mario Bravetti,  Gianluigi Zavattaro

On the Use of  Behavioural Equivalences for Web Services' Development
Filippo Bonchi, Antonio Brogi,  Sara Corfini,  Fabio Gadducci

Logic-based Conflict Detection for Distributed Policies
Carlo Montangero,  Stephan Reiff-Marganiec,  Laura Semini

A Logical Reasoning Approach to Automatic Composition of Stateless Components
Seyyed Vahid Hashemian, Farhad Mavaddat