Dirk Pattinson
Orcid: 0000-0002-5832-6666Affiliations:
- Australian National University, Canberra, Australia
- Imperial College London, UK
According to our database1,
Dirk Pattinson
authored at least 110 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on doc.ic.ac.uk
-
on andrej.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Proceedings of the Automated Deduction - CADE 29, 2023
2022
ACM Trans. Comput. Log., 2022
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2019
J. Log. Comput., 2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
2018
Log. Methods Comput. Sci., 2018
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Proceedings of the Electronic Voting - Third International Joint Conference, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes.
Proceedings of the Electronic Voting - Second International Joint Conference, 2017
Proceedings of the Electronic Voting - Second International Joint Conference, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
Proceedings of the Australasian Computer Science Week Multiconference, 2017
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties.
Proceedings of the Foundations of Software Science and Computation Structures, 2016
2015
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015
Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015
2014
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
2013
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the IJCAI 2013, 2013
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013
Proceedings of the Foundations of Software Science and Computation Structures, 2013
Proceedings of the Foundations of Software Science and Computation Structures, 2013
2012
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description).
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
2011
Math. Struct. Comput. Sci., 2011
Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011
Log. Methods Comput. Sci., 2011
Proceedings of the Logic, Language, and Computation, 2011
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
J. Appl. Log., 2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010
Proceedings of the Foundations of Software Science and Computational Structures, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
Proceedings of the Advances in Modal Logic 8, 2010
2009
Log. Methods Comput. Sci., 2009
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, 2009
Proceedings of the Foundations of Software Science and Computational Structures, 2009
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
2008
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
2007
Proceedings of the 5th Workshop on Methods for Modalities, 2007
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007
2006
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006
2005
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005
Proceedings of the New Computational Paradigms, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
2004
Notre Dame J. Formal Log., 2004
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004
Proceedings of the Applied Parallel Computing, 2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
2003
Coalgebraic modal logic: soundness, completeness and decidability of local consequence.
Theor. Comput. Sci., 2003
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003
2002
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.
Proceedings of the Coalgebraic Methods in Computer Science, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Formal Methods for Components and Objects, 2002
2001
Proceedings of the Coalgebraic Methods in Computer Science, 2001
Proceedings of the STACS 2001, 2001
2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the Coalgebraic Methods in Computer Science, 2000