Roman Nesterov
Orcid: 0000-0002-4162-9070
According to our database1,
Roman Nesterov
authored at least 5 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components.
J. Parallel Distributed Comput., September, 2023
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach.
Softw. Syst. Model., February, 2023
CoRR, 2023
2022
Trans. Petri Nets Other Model. Concurr., 2022
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