Research output per year
Research output per year
Personal profile
Education/Academic qualification
Computer Science, PhD, Ludwig Maximilian University of Munich
Award Date: 7 Jun 2001
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
-
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 Access2 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 contribution › peer-review
Open Access4 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 contribution › 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 Access7 Citations (Scopus) -
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems
Edalat, A., Farjudian, A., Mohammadian, M. & Pattinson, D., 1 Oct 2020, In: Electronic Notes in Theoretical Computer Science. 352, p. 105-128 24 p.Research output: Contribution to journal › Article › peer-review
Open Access3 Citations (Scopus)