Lukasz Mikulski
Orcid: 0000-0002-6711-557X
According to our database1,
Lukasz Mikulski
authored at least 61 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
1
3
1
3
4
2
4
3
2
2
1
3
2
1
1
1
6
2
3
2
4
2
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
2023
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Studies in Computational Intelligence 1020, Springer, ISBN: 978-3-662-64819-3, 2022
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning.
CoRR, 2022
Proceedings of the Reversible Computation - 14th International Conference, 2022
Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022
Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022
Verification of Multi-Agent Properties in Electronic Voting: A Case Study.
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
2019
Artif. Intell., 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
Sci. Ann. Comput. Sci., 2018
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018
2017
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Trans. Petri Nets Other Model. Concurr., 2016
2015
Fundam. Informaticae, 2015
Proceedings of the Language and Automata Theory and Applications, 2015
Proceedings of the Language and Automata Theory and Applications, 2015
Proceedings of the 24th International Workshop on Concurrency, 2015
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015
2014
Proceedings of the Software Engineering and Formal Methods, 2014
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014
2013
Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended).
Sci. Ann. Comput. Sci., 2013
Proceedings of the 22nd International Workshop on Concurrency, 2013
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2012
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012
2011
Proceedings of the Prague Stringology Conference 2011, 2011
2009
Ann. UMCS Informatica, 2009
Proceedings of the Man-Machine Interactions, 2009
2008
2007
Proceedings of the Parallel Processing and Applied Mathematics, 2007