| 2026 |
J |
jnl |
CoRR
Joseph Corneli
|
| 2025 |
J |
jnl |
CoRR
Joseph Corneli, Charles Jeffrey Danoff, Raymond S. Puzio, Sridevi Ayloo, Sergio Belich, Mary C. Tedeschi
|
| 2024 |
Misc |
conf |
EuroPLoP
Mary C. Tedeschi, Paola Ricaurte, Sridevi Ayloo, Joseph Corneli, Charles Jeffrey Danoff, Sergio Belich
|
| 2024 |
J |
jnl |
CoRR
Mary C. Tedeschi, Paola Ricaurte, Sridevi Ayloo, Joseph Corneli, Charles Jeffrey Danoff, Sergio Belich
|
| 2023 |
J |
jnl |
CoRR
Joseph Corneli, Noorah Alhasan, Leo Vivier, Alex Murphy, Raymond S. Puzio, Abby Tabor, Charles Jeffrey Danoff, Mary C. Tedeschi, Manvinder Singh
|
| 2021 |
J |
jnl |
CoRR
Joseph Corneli, Alex Murphy, Raymond S. Puzio, Leo Vivier, Noorah Alhasan, Charles Jeffrey Danoff, Vitor Bruno, Charlotte Pierce
|
| 2021 |
J |
jnl |
Cogn. Comput. Syst.
Nigel T. Crook, Joseph Corneli
|
| 2020 |
J |
jnl |
CoRR
Raymond Puzio, Paola Ricaurte, Charles Jeffrey Danoff, Charlotte Pierce, Analua Dutka-Chirichetti, Vitor Bruno, Hermano Cintra, Joseph Corneli
|
| 2018 |
J |
jnl |
CoRR
Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin, Alison Pease
|
| 2018 |
— |
ch. |
Concept Invention
Alison Pease, Joseph Corneli
|
| 2018 |
Misc |
conf |
EuroPLoP
Joseph Corneli, Simon Holland, Alison Pease, Paul Mulholland, Dave Murray-Rust, Theodore Scaltsas, Alan Smaill
|
| 2018 |
— |
ch. |
Concept Invention
Joseph Corneli, Alison Pease, Danae Stefanou
|
| 2017 |
J |
jnl |
Artif. Intell.
Alison Pease, John Lawrence, Katarzyna Budzynska, Joseph Corneli, Chris Reed
|
| 2017 |
— |
conf |
FARM@ICFP
Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin
|
| 2017 |
C |
conf |
CICM
Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease
|
| 2016 |
C |
conf |
ICCC
Maximos Kaliakatsos-Papakostas, Roberto Confalonieri, Joseph Corneli, Asterios I. Zacharakis, Emilios Cambouropoulos
|
| 2016 |
J |
jnl |
CoRR
Maximos Kaliakatsos-Papakostas, Roberto Confalonieri, Joseph Corneli, Asterios I. Zacharakis, Emilios Cambouropoulos
|
| 2016 |
C |
conf |
ICCC
Joseph Corneli
|
| 2016 |
J |
jnl |
CoRR
Joseph Corneli
|
| 2016 |
J |
jnl |
CoRR
Joseph Corneli, Miriam Corneli
|
| 2016 |
C |
conf |
ICCC
John William Charnley, Simon Colton, Maria Teresa Llano, Joseph Corneli
|
| 2016 |
C |
conf |
ICCC
Maria Teresa Llano, Christian Guckelsberger, Rose Hepworth, Jeremy Gow, Joseph Corneli, Simon Colton
|
| 2016 |
— |
conf |
CC-NLG
Joseph Corneli, Daniel Winterstein
|
| 2016 |
J |
jnl |
CoRR
Daniel Winterstein, Joseph Corneli
|
| 2015 |
C |
conf |
ICCC
Joseph Corneli, Anna Jordanous, Rosie Shepperd, Maria Teresa Llano, Joanna Misztal, Simon Colton, Christian Guckelsberger
|
| 2015 |
J |
jnl |
CoRR
Joseph Corneli, Anna Jordanous
|
| 2015 |
— |
conf |
AInF@IJCAI
Joseph Corneli, Anna Jordanous
|
| 2015 |
J |
jnl |
CoRR
Joseph Corneli, Ewen Maclean
|
| 2015 |
C |
conf |
ICCC
Félix Bou, Marco Schorlemmer, Joseph Corneli, Danny Gómez-Ramírez, Ewen Maclean, Alan Smaill, Alison Pease
|
| 2015 |
C |
conf |
ICCC
Roberto Confalonieri, Joseph Corneli, Alison Pease, Enric Plaza, Marco Schorlemmer
|
| 2014 |
C |
conf |
ICCC
Simon Colton, Alison Pease, Joseph Corneli, Michael Cook
|
| 2014 |
J |
jnl |
CoRR
Joseph Corneli, Alison Pease, Simon Colton, Anna Jordanous, Christian Guckelsberger
|
| 2014 |
C |
conf |
CICM
Deyan Ginev, Joseph Corneli
|
| 2014 |
J |
jnl |
CoRR
Deyan Ginev, Joseph Corneli
|
| 2013 |
C |
conf |
ICIDS
Paul Mulholland, Annika Wolff, Zdenek Zdráhal, Ning Li, Joseph Corneli
|
| 2012 |
— |
conf |
CHI Extended Abstracts
Bill Tomlinson, Joel Ross, Paul André, Eric P. S. Baumer, Donald J. Patterson, Joseph Corneli, Martin Mahaux, Syavash Nobarany, Marco Lazzari, Birgit Penzenstadler, Andrew Torrance, David Callele, Gary M. Olson, Michael Six Silberman, Marcus Ständer, Fabio Romancini Palamedi, Albert Ali Salah, Eric Morrill, Xavier Franch, Florian Mueller, Joseph Kaye, Rebecca W. Black, Marisa Leavitt Cohn, Patrick C. Shih, Johanna Brewer, Nitesh Goyal, Pirjo Näkki, Jeff Huang, Nilufar Baghaei, Craig Saper
|
| 2012 |
J |
jnl |
CoRR
Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou
|
| 2012 |
— |
conf |
AISC/MKM/Calculemus
Christoph Lange, Patrick Ion, Anastasia Dimou, Charalampos Bratsas, Joseph Corneli, Wolfram Sperber, Michael Kohlhase, Ioannis Antoniou
|
| 2011 |
— |
conf |
OKCon
Joseph Corneli, Charles Jeffrey Danoff
|
| 2011 |
— |
conf |
MathWikis@ITP
Joseph Corneli
|
| 2011 |
Misc |
conf |
ICCS
Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
|
| 2010 |
— |
conf |
EC-TEL Doctoral Consortium
Joseph Corneli
|
| 2010 |
— |
conf |
Int. Sym. Wikis
Joseph Corneli
|
| 2003 |
J |
jnl |
Exp. Math.
Miguel Carrión Álvarez, Joseph Corneli, Genevieve Walsh, Shabnam Beheshti
|