Artur Meski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2018
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | UC | Reaction Mining for Reaction Systems. | Artur Meski, Maciej Koutny, Wojciech Penczek |
| 2016 | UC | Towards Quantitative Verification of Reaction Systems. | Artur Meski, Maciej Koutny, Wojciech Penczek |
| 2013 | DCAI | Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. | Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2012 | AAMAS | Bounded model checking for knowledge and linear time. | Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |