Contents of Fundamenta Informaticae Volume 72


Number 1-3,  2006
Number 4,  2006

Contents of Volume 72, Number 1-3, 2006

Click on title for abstract


Preface 

Observational Equivalences for Timed Stable Event Structures
Maria V. Andreeva and Irina B. Virbitskaite

A Calculus of Looping Sequences for Modelling Microbiological Systems
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo and Angelo Troina

Behavioral Pattern Identification Through Rough Set Modeling
Jan G. Bazan

Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Marek A. Bednarczyk, Wojciech Jamroga and Wiesław Pawłowski

Determining Sound Markings in Structured Nets
Piotr Chrz±stowski-Wachtel

Equations for message passing
Ludwik Czaja

A Rewriting Framework for Rule-Based Programming Dynamic Applications
Anatoliy Doroshenko and Ruslan Shevchenko

Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets
Berndt Farwer and Michael Köhler

Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets
Berndt Farwer and Mauricio Varea

Possible Rough Ingredients of Concepts in Approximation Spaces
Anna Gomolińska

Dynamic Behavior of Simple Insertion Sort Algorithm
Franciszek Grabowski and Dominik Strzalka

Network Information Flow
Damas P. Gruska

Slicing of Timed Automata with Discrete Data
Agata Janowska and Paweł Janowski

A Strong Completeness Result for a MAS Logic
Magdalena Kacprzak

Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol
Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi and Maciej Szreter

Star-Connected Flat Languages and Automata
Barbara Klunder

Properties of Super-Dual Nets
Michael Köhler and Heiko Rölke

On Quantum Vector Addition Systems
Manfred Kudlek

A Quantifier-free First-order Knowledge Logic of Authentication
Mirosaw Kurkowski and Marian Srebrny

Optimization of Speech Recognition by Clustering of Phones
Agnieszka Nowak, Alicja Wakulicz-Deja and Sebastian Bachliński

Learning Sunspot Classification
Trung Thanh Nguyen, Sinh Hoa Nguyen and Hung Son Nguyen

Trace Nets and Conflict-free Computations
Edward Ochmański and Joanna Pieckowska

Star-free Star and Trace Languages
Edward Ochmański and Krystyna Stawikowska

Associative Omega-product of Processes
Roman R. Redziejowski

Update and Abstraction in Model Checking of Knowledge and Branching Time
N.V. Shilov, N.O. Garanina and K.-M. Choe

Calculi of Approximation Spaces
Andrzej Skowron, Jarosław Stepaniuk, James Peters and Roman Swiniarski

Rough Sets for Handling Imbalanced Data: Combining Filtering and Rule-based Classifiers
Jerzy Stefanowski and Szymon Wilk

A Rough Set Approach to Multiple Classifier Systems
Zbigniew Suraj, Neamat El Gayar and Pawel Delimata

An Axiomatic Characterization of Algebras of Processes of Petri Nets
Józef Winkowski

Complete Orders, Categories and Lattices of Approximations
Marcin Wolski


Contents of Volume 72, Number 4, 2006

Click on title for abstract


Surface Properties from N-Views of a Strictly Convex Solid
Simon Collings, Ryszard Kozera and Lyle Noakes

On-line Approximate String Matching in Natural Language
Kimmo Fredriksson

P Systems with Proteins on Membranes
Andrei Paun, Bianca Popa

A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs
Petros Potikas, Panos Rondogiannis and Manolis Gergatsoulis

Model-Based Feature Compensation for Robust Speech Recognition
Haifeng Shen, Qunxia Li and Jun Guo and Gang Liu