| 2017 |
— |
conf |
KDIR
Minlue Wang, Valeriia Haberland, Andrew O. Martin, John Howroyd, John Mark Bishop
|
| 2017 |
J |
jnl |
New Gener. Comput.
Yun Zhou, Minlue Wang, Valeriia Haberland, John Howroyd, Sebastian Danicic, J. Mark Bishop
|
| 2016 |
— |
conf |
ICDM Workshops
Minlue Wang, Valeriia Haberland, Amos Yeo, Andrew O. Martin, John Howroyd, J. Mark Bishop
|
| 2015 |
— |
conf |
AMBN@JSAI-isAI
Yun Zhou, John Howroyd, Sebastian Danicic, J. Mark Bishop
|
| 2011 |
J |
jnl |
Theor. Comput. Sci.
Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence
|
| 2007 |
J |
jnl |
J. Log. Algebraic Methods Program.
Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
|
| 2007 |
J |
jnl |
Theor. Comput. Sci.
Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
|
| 2006 |
J |
jnl |
Formal Aspects Comput.
David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
|
| 2005 |
J |
jnl |
Comput. J.
Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence
|
| 2003 |
J |
jnl |
Theor. Comput. Sci.
Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd
|
| 2002 |
— |
conf |
WCRE
Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward
|
| 2001 |
— |
conf |
WCRE
Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox
|
| 2001 |
— |
conf |
ICSM
Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd
|