Volume 85,
Numbers 1-4,
2008
Concurrency Specification and Programming (CS&P)
- Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida:
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.
1-17
Electronic Edition (link) BibTeX
- Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski:
A Multi-facet Approach to Dynamic Agent Systems.
19-33
Electronic Edition (link) BibTeX
- Marco Bellia, M. Eugenia Occhiuto:
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
35-50
Electronic Edition (link) BibTeX
- Katarzyna Budzynska, Magdalena Kacprzak:
A Logic for Reasoning about Persuasion.
51-65
Electronic Edition (link) BibTeX
- Piotr Chrzastowski-Wachtel, Pawel Findeisen, Grzegorz Wolny:
Time Distribution in Structural Workflow Nets.
67-87
Electronic Edition (link) BibTeX
- Ludwik Czaja:
Boolean Algebra of Nets, their Synthesis and Analysis.
89-95
Electronic Edition (link) BibTeX
- Pawel Delimata, Zbigniew Suraj:
Feature Selection Algorithm for Multiple Classifier Systems: A Hybrid Approach.
97-110
Electronic Edition (link) BibTeX
- Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche:
Petri Net Controlled Finite Automata.
111-121
Electronic Edition (link) BibTeX
- Daniel Göhring, Heinrich Mellmann, Kataryna Gerasymova, Hans-Dieter Burkhard:
Constraint BasedWorld Modeling.
123-137
Electronic Edition (link) BibTeX
- Anna Gomolinska:
Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach.
139-153
Electronic Edition (link) BibTeX
- Grzegorz Góra, Piotr Kruczek, Andrzej Skowron, Jan G. Bazan, Stanislawa Bazan-Socha, Jacek J. Pietrzyk:
Case-based Planning of Treatment of Infants with Respiratory Failure.
155-172
Electronic Edition (link) BibTeX
- Damas P. Gruska:
Probabilistic Information Flow Security.
173-187
Electronic Edition (link) BibTeX
- Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo:
Security in a Model for Long-running Transactions.
189-203
Electronic Edition (link) BibTeX
- Jerzy W. Grzymala-Busse, Wojciech Rzasa:
Approximation Space and LEM2-like Algorithms for Computing Local Coverings.
205-217
Electronic Edition (link) BibTeX
- Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova:
Token History Petri Nets.
219-234
Electronic Edition (link) BibTeX
- Agata Janowska, Pawel Janowski, Dobieslaw Wróblewski:
Translation of Intermediate Language to Timed Automata with Discrete Data.
235-248
Electronic Edition (link) BibTeX
- Andrzej Jankowski, James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk:
Optimization in Discovery of Compound Granules.
249-265
Electronic Edition (link) BibTeX
- Matthias Jantzen, Manfred Kudlek, Georg Zetzsche:
Language Classes Defined by Concurrent Finite Automata.
267-280
Electronic Edition (link) BibTeX
- Joanna Jólkowska, Edward Ochmanski:
On Trace-Expressible Behaviour of Petri Nets.
281-295
Electronic Edition (link) BibTeX
- Matthias Jüngel, Heinrich Mellmann:
Memory-Based State-Estimation.
297-311
Electronic Edition (link) BibTeX
- Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny:
VerICS 2007 - a Model Checker for Knowledge and Real-Time.
313-328
Electronic Edition (link) BibTeX
- Michael Köhler-Bußmeier, Manfred Kudlek:
Linear Properties of Zero-Safe Nets with Debit Tokens.
329-342
Electronic Edition (link) BibTeX
- Hans Langmaack, Andrzej Salwicki, Marek Warpechowski:
A Deterministic Algorithm for Identifying Direct Superclasses in Java.
343-357
Electronic Edition (link) BibTeX
- Alessio Lomuscio, Wojciech Penczek:
LDYIS: a Framework for Model Checking Security Protocols.
359-375
Electronic Edition (link) BibTeX
- Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
Specification and Verification of Invariants by Exploiting Layers in OO Designs.
377-398
Electronic Edition (link) BibTeX
- Lukasz Mikulski:
Projection Representation of Mazurkiewicz Traces.
399-408
Electronic Edition (link) BibTeX
- Wojciech Nabialek, Agata Janowska, Pawel Janowski:
Translation of Timed Promela to Timed Automata with Discrete Data.
409-424
Electronic Edition (link) BibTeX
- Wojciech Penczek, Maciej Szreter:
SAT-based Unbounded Model Checking of Timed Automata.
425-440
Electronic Edition (link) BibTeX
- Roman R. Redziejowski:
Some Aspects of Parsing Expression Grammar.
441-451
Electronic Edition (link) BibTeX
- Dominik Strzalka, Franciszek Grabowski:
Processes in Systems with Limited Resources in the Context of Non-extensive Thermodynamics.
455-464
Electronic Edition (link) BibTeX
- Kimmo Varpaaniemi, Leo Ojala:
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.
465-479
Electronic Edition (link) BibTeX
- Józef Winkowski:
An Algebraic Framework for Defining Random Concurrent Behaviours.
481-496
Electronic Edition (link) BibTeX
- Marcin Wolski:
Distance Measures Induced by Finite Approximation Spaces and Approximation Operators.
497-512
Electronic Edition (link) BibTeX
- Andrzej Zbrzezny:
Improving the Translation from ECTL to SAT.
513-531
Electronic Edition (link) BibTeX
- Andrzej Zbrzezny, Bozena Wozna:
Towards Verification of Java Programs in perICS.
533-548
Electronic Edition (link) BibTeX
- Beata Zielosko, Marcin Piliszczuk:
Greedy Algorithm for Attribute Reduction.
549-561
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:59:28 2009
by Michael Ley (ley@uni-trier.de)
