by Hayes, Ian J.
Published in Formal aspects of computing (01.11.2016)

by Hayes, Ian J.
Published in Electronic proceedings in theoretical computer science (24.10.2018)

by Brijesh Dongol, Ian J. Hayes, Georg Struth
Published in Logical methods in computer science (01.01.2021)

by Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten, Colvin, Robert J.
Published in Formal aspects of computing (01.04.2019)

by Colvin, Robert J., Hayes, Ian J., Meinicke, Larissa A.
Published in Formal aspects of computing (01.09.2017)

by Burns, Alan, Hayes, Ian J.
Published in Real-time systems (01.06.2010)

by Jones, Cliff B., Hayes, Ian J., Colvin, Robert J.
Published in Formal aspects of computing (01.05.2015)

by Dongol, Brijesh, Hayes, Ian J., Robinson, Peter J.
Published in Formal aspects of computing (01.05.2014)

by Fitzgerald, John, Hayes, Ian J
Year of Publication 15.09.2005

by Meinicke, Larissa, Hayes, Ian J.
Published in Lecture notes in computer science (2006)

by Meinicke, Larissa A., Hayes, Ian J.
Published in 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2023)

by Utting, Mark, Webb, Brae J., Hayes, Ian J.
Published in 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2023)

by Meinicke, Larissa, Hayes, Ian J.
Published in Acta informatica (01.07.2008)

by Hayes, Ian J.
Published in Lecture notes in computer science (2006)

by COLVIN, ROBERT, HAYES, IAN J., STROOPER, PAUL
Published in Theory and practice of logic programming (01.01.2008)

by Lermer, Karl, Fidge, Colin J., Hayes, Ian J.
Published in Theoretical computer science (23.11.2005)

by Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia
Year of Publication 2012

by Meinicke, Larissa, Hayes, Ian J.
Published in Formal Methods and Software Engineering (2006)

by HAYES, Ian J, UTTING, Mark
Published in Acta informatica (01.02.2001)

by LERMER, Karl, FIDGE, Colin J, HAYES, Ian J
Published in Formal aspects of computing (01.12.2003)