Number 1-3, 2006 Number
4, 2006 Number 1-3, 2006 Number
4, 2006
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
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