The Library
Browse by Warwick Author
Up a level |
Jump to: Book Item | Conference Item
Number of items: 5.
Book Item
Schmuck, Anne-Kathrin, Thejaswini, K. S., SaΔlam, Irmak and Nayak, Satya Prakash (2023) Solving two-player games under progress assumptions. In: Dimitrova, R. and Lahav, O. and Wolff, S., (eds.) Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, 14499 . Cham: Springer, pp. 208-231. ISBN 9783031505232
Conference Item
Prakash, Aditya and Thejaswini, K. S. (2023) On history-deterministic one-counter nets. In: 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'23), ETAPS 2023, Paris, France, 22-27 Apr 2023. Published in: Foundations of Software Science and Computation Structures. FoSSaCS 2023 (13992). ISBN 9783031308284. doi:10.1007/978-3-031-30829-1_11
Thejaswini, K. S., Ohlmann, Pierre and Jurdzinski, Marcin (2022) A technique to speed up symmetric attractor-based algorithms for parity games. In: The 42nd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai, India, 15-20 Dec 2022. Published in: Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), 250 44:1-44:20. ISBN 9783959772617. doi:10.4230/LIPIcs.FSTTCS.2022.32 ISSN 1868-8969.
Balasubramanian, A. R. and Thejaswini, K. S. (2021) Adaptive synchronisation of pushdown automata. In: 32nd International Conference on Concurrency Theory (CONCUR 2021), Paris, France, 23-27 Aug 2021. Published in: 32nd International Conference on Concurrency Theory (CONCUR 2021), 203 17:1-17:15. ISBN 9783959772037. doi:10.4230/LIPIcs.CONCUR.2021.17 ISSN 1868-8969.
Daviaud, Laure, Jurdzinski, Marcin and Thejaswini, K. S. (2020) The Strahler number of a parity game. In: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), 8-11 Jul 2020. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 168 123:1-123:19. doi:10.4230/LIPIcs.ICALP.2020.123 ISSN 1868-8969.
This list was generated on Thu Mar 28 17:40:50 2024 GMT.