Abstract is missing.
- Trying to Understand PEGRoman R. Redziejowski. 1-12 [doi]
- Timed Processes of Interval-Timed Petri NetsElisabeth Pelz. 13-24 [doi]
- On Generation of Time-based Label RefinementsNiek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma. 25-36 [doi]
- Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract)Agnieszka Zbrzezny, Andrzej Zbrzezny. 37-48 [doi]
- Rough Sets and Sorites ParadoxAndrzej Jankowski, Andrzej Skowron, Piotr Wasilewski. 49-60 [doi]
- A Version of Rough Mereology Suitable for Rough SetsLech Polkowski. 61-67 [doi]
- Rough Set Based Approximations of Classes in the OWL Ontology of Places in Poland (extended abstract)Piotr Grochowalski, Krzysztof Pancerz, Tomasz Szul. 68-73 [doi]
- Reversing Transitions in Bounded Petri NetsKamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev. 74-85 [doi]
- Towards Efficient Verification of Elementary Object SystemsIsmaila Jihad Abdullahi, Berndt Müller. 86-100 [doi]
- Context-dependent Lexical and Syntactic Disambiguation in Ontology PopulationNatalia Olegovna Garanina, Elena A. Sidorova. 101-112 [doi]
- Semantic Rendering of Data Tables - Multivalued Information Systems RevisitedMarcin Wolski, Anna Gomolinska. 113-124 [doi]
- Considering Superposition in the Composable Hybrid AutomataJafar Akhundov, Peter Tröger, Matthias Werner. 125-140 [doi]
- Extending Taylor Approximation to Hybrid Systems with IntegralsRuggero Lanotte, Simone Tini. 141-152 [doi]
- Analysing of M-AHIDS with Future States on DARPA and KDD99 BenchmarksMikulás Pataky, Damas P. Gruska. 153-164 [doi]
- A Graph-based Reduction in Planics Abstract Planning, Based on Partial Orders of Services (extended abstract)Maciej Szreter. 165-170 [doi]
- TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract)Artur Niewiadomski, Wojciech Penczek. 171-179 [doi]
- An Algorithmic Way to Generate Simplexes for Topological Data AnalysisKrzysztof Rykaczewski, Piotr Wisniewski, Krzysztof Stencel. 180-188 [doi]
- Extrapolation of an Optimal Policy using Statistical Probabilistic Model CheckingArtur Rataj, Bozena Wozna-Szczesniak. 189-198 [doi]
- A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract)Marcin Copik, Artur Rataj, Bozena Wozna-Szczesniak. 199-208 [doi]
- Process Environment OpacityDamas P. Gruska. 209-220 [doi]
- Coordinator Synthesis for Hierarchical Structure of Artificial Neural NetworkStanislaw Placzek. 221-232 [doi]
- On the Model Checking of Sequential Reactive SystemsDarya Kozlova, Vladimir Zakharov. 233-244 [doi]
- Computing Bisimulation-Based ComparisonsLinh Anh Nguyen. 245-256 [doi]
- Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract)Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny. 257-268 [doi]
- Shapes of ConcurrencyPiotr Chrzastowski-Wachtel. 269-273 [doi]
- A Protocol of Mutual Exclusion for DSM Based on Vectors of Global TimestampsLudwik Czaja. 274-285 [doi]