| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Calculus of Looping Sequences for Modelling Microbiological Systems
|
Barbuti, Roberto
|
|
2006
|
72 |
1-3 |
p. 21-35
|
artikel
|
| 2 |
An Axiomatic Characterization of Algebras of Processes of Petri Nets
|
Winkowski, Józef
|
|
2006
|
72 |
1-3 |
p. 407-420
|
artikel
|
| 3 |
A Quantifier-free First-order Knowledge Logic of Authentication
|
Kurkowski, Mirosław
|
|
2006
|
72 |
1-3 |
p. 263-282
|
artikel
|
| 4 |
A Rewriting Framework for Rule-Based Programming Dynamic Applications
|
Doroshenko, Anatoliy
|
|
2006
|
72 |
1-3 |
p. 95-108
|
artikel
|
| 5 |
A Rough Set Approach to Multiple Classifier Systems
|
Suraj, Zbigniew
|
|
2006
|
72 |
1-3 |
p. 393-406
|
artikel
|
| 6 |
Associative Omega-product of Processes
|
Redziejowski, Roman R.
|
|
2006
|
72 |
1-3 |
p. 333-345
|
artikel
|
| 7 |
A Strong Completeness Result for a MAS Logic
|
Kacprzak, Magdalena
|
|
2006
|
72 |
1-3 |
p. 197-213
|
artikel
|
| 8 |
Behavioral Pattern Identification Through Rough Set Modeling
|
Bazan, Jan G.
|
|
2006
|
72 |
1-3 |
p. 37-50
|
artikel
|
| 9 |
Calculi of Approximation Spaces
|
Skowron, Andrzej
|
|
2006
|
72 |
1-3 |
p. 363-378
|
artikel
|
| 10 |
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol
|
Kacprzak, Magdalena
|
|
2006
|
72 |
1-3 |
p. 215-234
|
artikel
|
| 11 |
Complete Orders, Categories and Lattices of Approximations
|
Wolski, Marcin
|
|
2006
|
72 |
1-3 |
p. 421-435
|
artikel
|
| 12 |
Concurrency Specification and Programming (CS&P)
|
|
|
2006
|
72 |
1-3 |
p. i
|
artikel
|
| 13 |
Determining Sound Markings in Structured Nets
|
Chrząstowski-Wachtel, Piotr
|
|
2006
|
72 |
1-3 |
p. 65-79
|
artikel
|
| 14 |
Dynamic Behavior of Simple Insertion Sort Algorithm
|
Grabowski, Franciszek
|
|
2006
|
72 |
1-3 |
p. 155-165
|
artikel
|
| 15 |
Equations for message passing
|
Czaja, Ludwik
|
|
2006
|
72 |
1-3 |
p. 81-93
|
artikel
|
| 16 |
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
|
Bednarczyk, Marek A.
|
|
2006
|
72 |
1-3 |
p. 51-63
|
artikel
|
| 17 |
Learning Sunspot Classification
|
Nguyen, Trung Thanh
|
|
2006
|
72 |
1-3 |
p. 295-309
|
artikel
|
| 18 |
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets
|
Farwer, Berndt
|
|
2006
|
72 |
1-3 |
p. 109-122
|
artikel
|
| 19 |
Network Information Flow
|
Gruska, Damas P.
|
|
2006
|
72 |
1-3 |
p. 167-180
|
artikel
|
| 20 |
Observational Equivalences for Timed Stable Event Structures
|
Andreeva, Maria V.
|
|
2006
|
72 |
1-3 |
p. 1-19
|
artikel
|
| 21 |
On Quantum Vector Addition Systems
|
Kudlek, Manfred
|
|
2006
|
72 |
1-3 |
p. 255-261
|
artikel
|
| 22 |
Optimization of Speech Recognition by Clustering of Phones
|
Nowak, Agnieszka
|
|
2006
|
72 |
1-3 |
p. 283-293
|
artikel
|
| 23 |
Possible Rough Ingredients of Concepts in Approximation Spaces
|
Gomolińska, Anna
|
|
2006
|
72 |
1-3 |
p. 139-154
|
artikel
|
| 24 |
Properties of Super-Dual Nets
|
Köhler, Michael
|
|
2006
|
72 |
1-3 |
p. 245-254
|
artikel
|
| 25 |
Rough Sets for Handling Imbalanced Data: Combining Filtering and Rule-based Classifiers
|
Stefanowski, Jerzy
|
|
2006
|
72 |
1-3 |
p. 379-391
|
artikel
|
| 26 |
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets
|
Farwer, Berndt
|
|
2006
|
72 |
1-3 |
p. 123-137
|
artikel
|
| 27 |
Slicing of Timed Automata with Discrete Data
|
Janowska, Agata
|
|
2006
|
72 |
1-3 |
p. 181-195
|
artikel
|
| 28 |
Star-Connected Flat Languages and Automata
|
Klunder, Barbara
|
|
2006
|
72 |
1-3 |
p. 235-243
|
artikel
|
| 29 |
Star-free Star and Trace Languages
|
Ochmański, Edward
|
|
2006
|
72 |
1-3 |
p. 323-331
|
artikel
|
| 30 |
Trace Nets and Conflict-free Computations
|
Ochmański, Edward
|
|
2006
|
72 |
1-3 |
p. 311-321
|
artikel
|
| 31 |
Update and Abstraction in Model Checking of Knowledge and Branching Time
|
Shilov, N.V.
|
|
2006
|
72 |
1-3 |
p. 347-361
|
artikel
|
Tijdschrift beschrijving