RNDr. Petr Novotný, Ph.D.
Office: C412
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4499 |
---|---|
E‑mail: |
Office: C412
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4499 |
---|---|
E‑mail: |
Total number of publications: 28
PACMPL (Proceedings of POPL'18), year: 2018
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI), year: 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), year: 2017
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), year: 2016
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 2016
27th International Conference on Concurrency Theory, CONCUR 2016, year: 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, year: 2016
Journal of Cardiovascular Medicine, year: 2015, volume: 16, edition: 10, DOI
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., year: 2015
Quantitative Evaluation of Systems, year: 2015