Lucas Dixon

发表

Jacques D. Fleuriot, Lucas Dixon, L. Dixon, 2006, J. Appl. Log..
Alan Bundy, Lucas Dixon, Omar Montano-Rivas, 2010, MICAI.
Alan Bundy, Lucas Dixon, Moa Johansson, 2015, IEEE Intelligent Systems.
Lucas Dixon, L. Dixon, 2006 .
Alan Bundy, Bin Yang, Alan Smaill, 2005, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005..
Jacques D. Fleuriot, Lucas Dixon, L. Dixon, 2004, TPHOLs.
Alan Bundy, Gudmund Grov, Lucas Dixon, 2011 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2009 .
Gudmund Grov, David Aspinall, Lucas Dixon, 2011, Calculemus/MKM.
Lucy Vasserman, Jeffrey S. Sorensen, Lucas Dixon, 2018, AIES.
Alan Bundy, Jacques D. Fleuriot, Lucas Dixon, 2006, CLASE.
Alan Smaill, Lucas Dixon, Tracy Tsang, 2009, J. Log. Lang. Inf..
Alan Bundy, Lucas Dixon, Moa Johansson, 2010 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2006, Reasoning, Action and Interaction in AI Theories and Systems.
Cristian Danescu-Niculescu-Mizil, Dario Taraborelli, Lucas Dixon, 2018, ACL.
Stephen M. Watt, Jacques Carette, Claudio Sacerdoti Coen, 2014, Lecture Notes in Computer Science.
Lucas Dixon, Appleton Tower, 2005 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2010 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2010, ITP.
Thomas Ristenpart, Thomas Shrimpton, Lucas Dixon, 2016, IEEE Security & Privacy.
Maite Taboada, Lucas Dixon, Varada Kolhatkar, 2020, ArXiv.
Alan Bundy, Lucas Dixon, Omar Montano-Rivas, 2012, Expert Syst. Appl..
John Pavlopoulos, Ion Androutsopoulos, Lucas Dixon, 2020, ACL.
Cristian Danescu-Niculescu-Mizil, Dario Taraborelli, Lucas Dixon, 2018, EMNLP.
Lucas Dixon, Ellery Wulczyn, Nithum Thain, 2016, WWW.
Alan Bundy, Lucas Dixon, Moa Johansson, 2010, Verification, Induction, Termination Analysis.
Lucas Dixon, Ross Duncan, L. Dixon, 2009, Annals of Mathematics and Artificial Intelligence.
Alan Bundy, Lucas Dixon, Moa Johansson, 2011, Journal of Automated Reasoning.
Aleks Kissinger, Lucas Dixon, A. Kissinger, 2010, Mathematical Structures in Computer Science.
Lucas Dixon, Ellery Wulczyn, Nithum Thain, 2017 .
Lucy Vasserman, Jeffrey S. Sorensen, Lucas Dixon, 2019, WWW.
Lucas Dixon, Ilan Price, Jeffrey Sorensen, 2020, ArXiv.
Jacques D. Fleuriot, Lucas Dixon, L. Dixon, 2003, CADE.
Amy Bruckman, Casey Fiesler, Lucas Dixon, 2018, CHI Extended Abstracts.
Lucy Vasserman, Jeffrey S. Sorensen, Lucas Dixon, 2019, ArXiv.
Lucas Dixon, Ilan Price, Jeffrey Sorensen, 2020, ALW.
Aleks Kissinger, Lucas Dixon, Ross Duncan, 2010, DCM.
Robert Atkey, Andrew Ireland, Lucas Dixon, 2010, WING@ETAPS/IJCAR.
Lucas Dixon, Moa Johansson, 2007 .