закладки (спрятать)
- Нет подходящих.
публикации (спрятать)83
- Foundations of Software Science and Computation Structures - 24th International Conference, том 12650 из Lecture Notes in Computer Science, стр. 42--61. Springer, (2021)
- 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), том 213 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
- 32nd International Conference on Concurrency Theory (CONCUR 2021), том 203 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
- 33rd International Conference on Concurrency Theory (CONCUR 2022), том 243 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 17:1--17:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2022)
- Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA, том 275 из LIPIcs, стр. 29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)https://arxiv.org/abs/2205.14888.
- International Journal on Software Tools for Technology Transfer, 24 (4): 635--659 (2022)
- 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, том 279 из LIPIcs, стр. 6:1--6:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)
- Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, том 13966 из Lecture Notes in Computer Science, стр. 437--458. Springer, (2023)
- Distributed Comput., 36 (3): 209--218 (2023)
- 36th International Symposium on Distributed Computing (DISC 2022), том 246 из LIPIcs, стр. 10:1--10:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)
- Log. Methods Comput. Sci., (2023)
- Theoretical Computer Science, (января 2023)
- PODC, стр. 424--426. ACM, (2022)
- Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, том 13242 из Lecture Notes in Computer Science, стр. 61--80. Springer, (2022)
- Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, том 13608 из Lecture Notes in Computer Science, стр. 125--139. Springer, (2022)
- Information and Computation, (июня 2021)
- (2021)https://arxiv.org/abs/2108.07510.
- Logical Methods in Computer Science, (июля 2021)
- Logical Methods in Computer Science, (июля 2021)
- Algorithms for Sensor Systems, Springer International Publishing, (2021)
- 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), стр. 319-326. (февраля 2022)
- 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference, том 221 из LIPIcs, стр. 11:1--11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (апреля 2022)
- PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, стр. 115--125. ACM, (июля 2021)
- Computational Methods in Systems Biology, стр. 41--60. Springer International Publishing, (2022)
- CoRR, (апреля 2022)
- Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, том 12225 из Lecture Notes in Computer Science, стр. 3-14. Springer, (октября 2020)
- Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, том 12225 из Lecture Notes in Computer Science, стр. 372-397. Springer, (октября 2020)
- PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, стр. 45--54. ACM, (июля 2021)
- 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France, том 154 из LIPIcs, стр. 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (марта 2020)
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)
- (2022)cite arxiv:2205.03060Comment: Submitted to CONCUR'22.
- (2021)cite arxiv:2108.09101Comment: Full version of the article In Proceedings GandALF 2021.
- International Journal on Software Tools for Technology Transfer, (02.02.2021)
- Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, том 12302 из Lecture Notes in Computer Science, стр. 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.
- Technical University of Munich, Germany, Publication, (2021)
- Technical University of Munich, Germany, Publication, (2020)
- Accepted at LICS'21, (2021)https://arxiv.org/abs/2104.09716.
- (2021)https://arxiv.org/abs/2103.10280.
- Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, том 12650 из Lecture Notes in Computer Science, стр. 164--183. Springer, (2021)#conference.
- (2021)
- Journal of Logical and Algebraic Methods in Programming, (2021)#journal.
- Verification, Model Checking, and Abstract Interpretation, стр. 219--239. Springer International Publishing, (2021)
- Accepted at FoSSaCS’21, (2021)https://arxiv.org/pdf/2101.08756.pdf.
- CoRR, (2020)https://arxiv.org/abs/2011.03738.
- 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), том 182 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 37:1--37:15. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)#conference.
- J. ACM, (октября 2020)
- FORTE, том 12136 из Lecture Notes in Computer Science, стр. 189-207. Springer, (2020)
- Distributed Computing, (2021)https://arxiv.org/abs/1912.06578.
- Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, том 12078 из Lecture Notes in Computer Science, стр. 228--246. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2002.07672">Link</a><br>#conference.
- 31st International Conference on Concurrency Theory (CONCUR 2020), том 171 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 10:1--10:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/2007.03291">Link</a><br>#conference.
