| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Analysis and Synthesis of Net Structures and Transition Graphs
|
Czaja, Ludwik
|
|
2009
|
93 |
1-3 |
p. 97-110
|
artikel
|
| 2 |
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
|
Nguyen, Linh Anh
|
|
2009
|
93 |
1-3 |
p. 273-288
|
artikel
|
| 3 |
A New Approach to Model Checking of UML State Machines
|
Niewiadomski, Artur
|
|
2009
|
93 |
1-3 |
p. 289-303
|
artikel
|
| 4 |
Applying Classical Concepts to Parsing Expression Grammar
|
Redziejowski, Roman R.
|
|
2009
|
93 |
1-3 |
p. 325-336
|
artikel
|
| 5 |
A Translator of Java Programs to TADDs
|
Rataj, Artur
|
|
2009
|
93 |
1-3 |
p. 305-324
|
artikel
|
| 6 |
Concurrency Specification and Programming (CS&P)
|
|
|
2009
|
93 |
1-3 |
p. i
|
artikel
|
| 7 |
Formal Definition of XCCS Modelling Language
|
Balicki, Krzysztof
|
|
2009
|
93 |
1-3 |
p. 1-15
|
artikel
|
| 8 |
Generation of Database Transactions with Petri Nets
|
van Hee, Kees M.
|
|
2009
|
93 |
1-3 |
p. 171-184
|
artikel
|
| 9 |
JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters
|
Bellia, Marco
|
|
2009
|
93 |
1-3 |
p. 45-64
|
artikel
|
| 10 |
Levels of Persistency in Place/Transition Nets
|
Barylska, Kamila
|
|
2009
|
93 |
1-3 |
p. 33-43
|
artikel
|
| 11 |
Multiset Pushdown Automata
|
Kudlek, Manfred
|
|
2009
|
93 |
1-3 |
p. 221-233
|
artikel
|
| 12 |
On Minimal Inhibitory Rules for Almost All k-Valued Information Systems
|
Moshkov, Mikhail Ju.
|
|
2009
|
93 |
1-3 |
p. 261-272
|
artikel
|
| 13 |
On the Expressiveness of Communication Channels for Object Nets
|
Kohler-Bußmeier, Michael
|
|
2009
|
93 |
1-3 |
p. 205-219
|
artikel
|
| 14 |
Perseus. Software for Analyzing Persuasion Process
|
Budzyńska, Katarzyna
|
|
2009
|
93 |
1-3 |
p. 65-79
|
artikel
|
| 15 |
Petri Nets with Time Windows: A Comparison to Classical Petri Nets
|
Wegener, Jan-Thierry
|
|
2009
|
93 |
1-3 |
p. 337-352
|
artikel
|
| 16 |
Properties of Multiset Language Classes Defined by Multiset Pushdown Automata
|
Kudlek, Manfred
|
|
2009
|
93 |
1-3 |
p. 235-244
|
artikel
|
| 17 |
P Systems with Transport and Diffusion Membrane Channels
|
Barbuti, Roberto
|
|
2009
|
93 |
1-3 |
p. 17-31
|
artikel
|
| 18 |
Quantifying Security for Timed Process Algebras
|
Gruska, Damas P.
|
|
2009
|
93 |
1-3 |
p. 155-169
|
artikel
|
| 19 |
Simulation of Security Protocols based on Scenarios of Attacks
|
Jakubowska, Gizela
|
|
2009
|
93 |
1-3 |
p. 185-203
|
artikel
|
| 20 |
The Outline of an Ontology for the Rough Set Theory and its Applications
|
Grochowalski, Piotr
|
|
2009
|
93 |
1-3 |
p. 143-154
|
artikel
|
| 21 |
Timed Automata Based Model Checking of Timed Security Protocols
|
Kurkowski, Mirosław
|
|
2009
|
93 |
1-3 |
p. 245-259
|
artikel
|
| 22 |
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
|
Gribovskaya, Natalya
|
|
2009
|
93 |
1-3 |
p. 127-142
|
artikel
|
| 23 |
Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs
|
Doroshenko, Anatoliy
|
|
2009
|
93 |
1-3 |
p. 111-125
|
artikel
|
| 24 |
What Agents Can Probably Enforce
|
Bulling, Nils
|
|
2009
|
93 |
1-3 |
p. 81-96
|
artikel
|
Tijdschrift beschrijving