Jan Otop
Orcid: 0000-0002-8804-8011
According to our database1,
Jan Otop
authored at least 39 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix.
Proceedings of the 34th International Conference on Concurrency Theory, 2023
2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
2020
J. Comput. Syst. Sci., 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
2018
Fundam. Informaticae, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Static Analysis - 23rd International Symposium, 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
Proceedings of the 25th International Workshop on Unification, 2011
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
2004