Volume 72,
Number 1-3,
2006
Special Issue on Concurrency Specification and Programming (CS&P 2005) Ruciane-Nide,
Poland,
28-30 September 2005
- Maria V. Andreeva, Irina Virbitskaite:
Observational Equivalences for Timed Stable Event Structures.
1-19
Electronic Edition (link) BibTeX
- Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
A Calculus of Looping Sequences for Modelling Microbiological Systems.
21-35
Electronic Edition (link) BibTeX
- Jan G. Bazan:
Behavioral Pattern Identification Through Rough Set Modeling.
37-50
Electronic Edition (link) BibTeX
- Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski:
Expressing and Verifying Temporal and Structural Properties of Mobile Agents.
51-63
Electronic Edition (link) BibTeX
- Piotr Chrzastowski-Wachtel:
Determining Sound Markings in Structured Nets.
65-79
Electronic Edition (link) BibTeX
- Ludwik Czaja:
Equations for message passing.
81-93
Electronic Edition (link) BibTeX
- Anatoly E. Doroshenko, Ruslan Shevchenko:
A Rewriting Framework for Rule-Based Programming Dynamic Applications.
95-108
Electronic Edition (link) BibTeX
- Berndt Farwer, Michael Köhler:
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets.
109-122
Electronic Edition (link) BibTeX
- Berndt Farwer, Mauricio Varea:
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets.
123-137
Electronic Edition (link) BibTeX
- Anna Gomolinska:
Possible Rough Ingredients of Concepts in Approximation Spaces.
139-154
Electronic Edition (link) BibTeX
- Franciszek Grabowski, Dominik Strzalka:
Dynamic Behavior of Simple Insertion Sort Algorithm.
155-165
Electronic Edition (link) BibTeX
- Damas P. Gruska:
Network Information Flow.
167-180
Electronic Edition (link) BibTeX
- Agata Janowska, Pawel Janowski:
Slicing of Timed Automata with Discrete Data.
181-195
Electronic Edition (link) BibTeX
- Magdalena Kacprzak:
A Strong Completeness Result for a MAS Logic.
197-213
Electronic Edition (link) BibTeX
- Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter:
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol.
215-234
Electronic Edition (link) BibTeX
- Barbara Klunder:
Star-Connected Flat Languages and Automata.
235-243
Electronic Edition (link) BibTeX
- Michael Köhler, Heiko Rölke:
Properties of Super-Dual Nets.
245-254
Electronic Edition (link) BibTeX
- Manfred Kudlek:
On Quantum Vector Addition Systems.
255-261
Electronic Edition (link) BibTeX
- Miroslaw Kurkowski, Marian Srebrny:
A Quantifier-free First-order Knowledge Logic of Authentication.
263-282
Electronic Edition (link) BibTeX
- Agnieszka Nowak, Alicja Wakulicz-Deja, Sebastian Bachlinski:
Optimization of Speech Recognition by Clustering of Phones.
283-293
Electronic Edition (link) BibTeX
- Trung Thanh Nguyen, Claire P. Willis, Derek J. Paddon, Sinh Hoa Nguyen, Hung Son Nguyen:
Learning Sunspot Classification.
295-309
Electronic Edition (link) BibTeX
- Edward Ochmanski, Joanna Pieckowska:
Trace Nets and Conflict-free Computations.
311-321
Electronic Edition (link) BibTeX
- Edward Ochmanski, Krystyna Stawikowska:
Star-free Star and Trace Languages.
323-331
Electronic Edition (link) BibTeX
- Roman R. Redziejowski:
Associative Omega-product of Processes.
333-345
Electronic Edition (link) BibTeX
- Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe:
Update and Abstraction in Model Checking of Knowledge and Branching Time.
347-361
Electronic Edition (link) BibTeX
- Andrzej Skowron, Jaroslaw Stepaniuk, James F. Peters, Roman W. Swiniarski:
Calculi of Approximation Spaces.
363-378
Electronic Edition (link) BibTeX
- Jerzy Stefanowski, Szymon Wilk:
Rough Sets for Handling Imbalanced Data: Combining Filtering and Rule-based Classifiers.
379-391
Electronic Edition (link) BibTeX
- Zbigniew Suraj, Neamat El Gayar, Pawel Delimata:
A Rough Set Approach to Multiple Classifier Systems.
393-406
Electronic Edition (link) BibTeX
- Józef Winkowski:
An Axiomatic Characterization of Algebras of Processes of Petri Nets.
407-420
Electronic Edition (link) BibTeX
- Marcin Wolski:
Complete Orders, Categories and Lattices of Approximations.
421-435
Electronic Edition (link) BibTeX
Volume 72,
Number 4,
2006
Copyright © Sat May 16 23:59:26 2009
by Michael Ley (ley@uni-trier.de)
