Personal profile
Education/Academic qualification
Computer Science, PhD
Research student supervision
- Registered to supervise
Fingerprint
Dive into the research topics where Dirk Pattinson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Find out about recent ANU collaborations across the world by selecting a location on the map OR
-
Non-iterative Modal Resolution Calculi
Pattinson, D. & Nalon, C., 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Proceedings. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer Science+Business Media B.V., p. 97-113 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14740 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access1 Citation (Scopus) -
Hennessy-Milner properties via topological compactness
de Groot, J. & Pattinson, D., Sept 2022, In: Information and Computation. 287, 104757.Research output: Contribution to journal › Article › peer-review
Open Access3 Citations (Scopus) -
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
De Groot, J., Litak, T. & Pattinson, D., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers Inc., 9470508. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access6 Citations (Scopus) -
The alternating-time µ-calculus with disjunctive explicit strategies
Göttlinger, M., Schröder, L. & Pattinson, D., Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
-
A new foundation for finitary corecursion and iterative algebras
Milius, S., Pattinson, D. & Wißmann, T., Apr 2020, In: Information and Computation. 271, 104456.Research output: Contribution to journal › Article › peer-review
Open Access10 Citations (Scopus)