Search results for: Ian J. Hayes
Formal Aspects of Computing > 2019 > 31 > 2 > 133-163
Formal Aspects of Computing > 2017 > 29 > 5 > 853-875
Lecture Notes in Computer Science > Program Development in Computational Logic > Specification and Synthesis > 66-89
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 972-984
Formal Aspects of Computing > 2016 > 28 > 6 > 1057-1078
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 178-194
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Invited Papers and Abstract > 1-14
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 94-116
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 316-337
Lecture Notes in Computer Science > FME 2003: Formal Methods > Control Systems and Industrial Applications > 154-169
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Formal Reasoning about Fault Tolerant Systems and Protocols > 85-103
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Concurrent, Communicating, Timing and Probabilistic Systems > 380-399
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 119-139
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Invited Papers > 44-58