John Jones

21 papers A 1B 3C 1Misc 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
CoRR
Anastasia Olga Tzirides, Akash Saini, Gabriela C. Zapata, Duane Searsmith, Bill Cope, Mary Kalantzis, Vania Castro, Theodora Kourkoulou, John Jones, Rodrigo Abrantes da Silva, Jen Whiting, Nikoleta Polyxeni Kastania
2018 Misc conf
SIGITE
Te-Shun Chou, John Jones
2017 conf
SIGDOC
Timothy R. Amidon, Lora Arduser, Catherine Gouge, Les Hutchinson, John Jones, Natasha N. Jones, Krista Kennedy, Tiffany Lipsey, Kristen R. Moore, Maria Novotny, Candice A. Welhausen
2016 J jnl
IACR Cryptol. ePrint Arch.
John Jones
2016 conf
SIGDOC
Elizabeth L. Angeli, John Jones, Catherine Gouge, Lisa Melonçon, Christina D. Norwood, Mariah Crilley, Kirk St. Amant, Candice A. Welhausen
2014 B conf
Image Processing
Rhodri Smith, Ashrani Aizzuddin Abd. Rahni, John Jones, Fatemeh Tahavori, Kevin Wells
2011 B conf
CogSci
John Jones, Michael P. Kaschak, Walter R. Boot
2007 B conf
ACIVS
Helene Schulerud, Jens T. Thielemann, Trine Kirkhus, Kristin Kaspersen, Joar M. Østby, Marinos G. Metaxas, Gary J. Royle, Jennifer Griffiths, Emily Cook, Colin Esbrand, Silvia Pani, Cristian Venanzi, Paul F. van der Stelt, Gang Li, Renato Turchetta, Andrea Fant, Sergios Theodoridis, Harris V. Georgiou, Geoff Hall, Matthew Noy, John Jones, James Leaver, Frixos Triantis, Asimakis Asimidis, Nikos Manthos, Renata Longo, Anna Bergamaschi, Robert D. Speller
2000 J jnl
Artif. Intell. Rev.
John Jones, Mark Millington, Maria Virvou
2000 J jnl
Artif. Intell. Rev.
Maria Virvou, John Jones, Mark Millington
1995 book
Formal specification using Z - a modelling approach.
Leonardo Bottaci, John Jones
1994 J jnl
Inf. Softw. Technol.
John Jones
1992 C conf
LOPSTR
John Jones
1986 A conf
ECAI
John Jones, Mark Millington, Peter Ross
1985 J jnl
Math. Log. Q.
John Jones
1985 J jnl
Math. Log. Q.
John Jones
1985 J jnl
Notre Dame J. Formal Log.
John Jones
1984 J jnl
Math. Log. Q.
John Jones
1983 J jnl
Math. Log. Q.
John Jones
1983 J jnl
Math. Log. Q.
John Jones
1982 J jnl
Math. Log. Q.
John Jones