Lukasz Mikulski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2007–2025
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FedCSIS | Segmentation and Process Assignment of Semi-Structured Event Logs. | Piotr Przymus, Krzysztof Rykaczewski, Janusz Zielinski, Lukasz Mikulski |
| 2022 | AiML | Verification of Multi-Agent Properties in Electronic Voting: A Case Study. | Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski |
| 2022 | PRIMA | STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. | Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga |
| 2022 | PRIMA | Assume-Guarantee Verification of Strategic Ability. | Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski |
| 2022 | RC | Formal Translation from Reversing Petri Nets to Coloured Petri Nets. | Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara |
| 2016 | RC | Reversible Computation vs. Reversibility in Petri Nets. | Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski |
| 2015 | LATA | Order Structures for Subclasses of Generalised Traces. | Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
| 2015 | LATA | Square-Free Words over Partially Commutative Alphabets. | Lukasz Mikulski, Marcin Piatkowski, Wojciech Rytter |
| 2014 | SEFM | On Generation of Context-Abstract Plans. | Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski |
| 2012 | CONCUR | Algebraic Structure of Combined Traces. | Lukasz Mikulski |
| 2007 | PPAM | Asynchronous Parallel Molecular Dynamics Simulations. | Jaroslaw Mederski, Lukasz Mikulski, Piotr Bala |