Contents of Fundamenta Informaticae Volume 51.


Number 1-2, May 2002
Number 3, June 2002
Number 4, July 2002

Contents of Volume 51, Number 1-2, May 2002

Special issue - revised papers from CS&P 2001 

Editors 
Ludwik Czaja, Hans­Dieter Burkhard and Peter Starke 

Click on title for abstract


Preface

A Notion of Non-Interference for Timed Automata 
Roberto Barbuti Nicoletta De Francesco Antonella Santone and Luca Tesei

Products and Polymorphic Subtypes 
Viviana Bono and Jerzy Tiuryn

Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis 
Ludwik Czaja

Verification of Timed Automata Based on Similarity 
Piotr Dembiński, Wojciech Penczek and Agata Półrola

Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures 
Berndt Farwer

A Comparative Study of Some Generalized Rough Approximations 
Anna Gomolińska

Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets 
Irina A. Lomazova

Bounded Model Checking for the Universal Fragment of CTL 
Wojciech Penczek, Bożena Woźna and Andrzej Zbrzezny

Towards an Ontology of Approximate Reason 
James F. Peters, Andrzej Skowron, Jarosław Stepaniuk and Sheela Ramanna

Global Action Rules in Distributed Knowledge Systems 
Zbigniew W. Raś and Shishir Gupta

Verification of Non-functional Properties of a Composable Architecture with Petri nets 
Jan Richling, Louchka Popova-Zeugmann and Matthias Werner

A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification 
Z. Suraj, J.F. Peters and W. Rząsa

Minimizing the Number of Successor States in the Stubborn Set Method 
Kimmo Varpaaniem

Reachability in Contextual Nets 
Józef Winkowski


Contents of Volume 51, Number 3, June 2002

Click on title for abstract


Real Time Control for Autonomous Mobile Robots
Hans-Dieter Burkhard

Collective Intentions 
Barbara Dunin-Kęplicz and Rineke Verbrugge

Weaker Axioms, More Ranges 
Costas D. Koutras and Pavlos Peppas

A Study of Interconnections Between Rough and 3-Valued Łukasiewicz Logics 
Jayanta Sen and Mihir K. Chakraborty

Contents of Volume 51, Number 4, July 2002

Click on title for abstract


Another Example of Higher Order Randomness 
Verónica Becher and Gregory Chaitin

Residual Finite State Automata 
François Denis, Aurélien Lemay and Alain Terlutte

RIONA: A New Classification System Combining Rule Inductionand Instance-Based Learning 
Grzegorz Góra and Arkadiusz Wojna

On Equations Including Strings 
Ivan Kopeek and Miroslav Novotný

One-Turn Regulated Pushdown Automata and Their Reduction 
Alexander Meduna and Duan Kolá