James Cheney

发表

Christian Urban, James Cheney, Stefan Berghofer, 2008 .
James Cheney, Christian Urban, J. Cheney, 2011 .
James Cheney, Paolo Missier, Tom De Nies, 2014 .
James Cheney, J. Cheney, 2000, Proceedings DCC 2000. Data Compression Conference.
James Cheney, Sam Lindley, Heiko Müller, 2011, DBPL.
James Cheney, Rui Abreu, Hoda Eldardiry, 2016, TaPP.
James Cheney, Simon Fowler, Rudi Horn, 2019, IFL.
James Cheney, Jan Van den Bussche, Peter Buneman, 2010 .
James Cheney, Umut A. Acar, Amal Ahmed, 2008, ArXiv.
James Cheney, Harry Halpin, 2014, WWW '14 Companion.
Djoerd Hiemstra, Michael Benedikt, Andrew Trotman, 2009 .
James Cheney, Sam Lindley, Heiko Müller, 2011, DBPL 2011.
James Cheney, Dan Grossman, Trevor Jim, 2002, USENIX Annual Technical Conference, General Track.
James Cheney, Michael Benedikt, J. Cheney, 2010, Proc. VLDB Endow..
James Cheney, Ralf Hinze, J. Cheney, 2002, Haskell '02.
James Cheney, Roly Perera, 2015, LFMTP.
James Cheney, J. Cheney, 2006 .
James Cheney, Nate Foster, Sam Lindley, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
James Cheney, 2006, Data Compression Conference (DCC'06).
James Cheney, J. Cheney, 2012, Log. Methods Comput. Sci..
James Cheney, 2008, ICFP 2008.
James Cheney, Umut A. Acar, Roly Perera, 2012, ICFP.
James Cheney, Carl Lagoze, Peter Botticelli, 2001, ECDL.
James Cheney, Umut A. Acar, Amal Ahmed, 2014, PPDP '14.
James Cheney, Paolo Missier, Khalid Belhajjame, 2013, EDBT '13.
James Cheney, Deepak Garg, Roly Perera, 2016, CONCUR.
James Cheney, Stefan Fehrenbach, 2019, DBPL.
James Cheney, Junao Wu, Arek Mikolajczak, 2019, Programming.
James Cheney, Peter Buneman, Stijn Vansummeren, 2008, PODS.
James Cheney, Dan Grossman, Trevor Jim, 2002, PLDI '02.
Paul T. Groth, Yolanda Gil, James Cheney, 2010 .
James Cheney, Perdita Stevens, Jeremy Gibbons, 2015, Bx@STAF.
James Cheney, Bertram Ludäscher, Stijn Vansummeren, 2012, Dagstuhl Reports.
Paul T. Groth, James Cheney, Luc Moreau, 2015, J. Web Semant..
James Cheney, Peter Buneman, Adriane Chapman, 2006, IPAW.
James Cheney, Umut A. Acar, Stephanie Weirich, 2012, J. Funct. Program..
James Cheney, Irini Fundulaki, Loreto Bravo, 2008, EDBT '08.
James Cheney, Wilmer Ricciotti, J. Cheney, 2019, DBPL.
James Cheney, Thomas Neumann, J. Cheney, 2015, DBPL.
James Cheney, Perdita Stevens, Jeremy Gibbons, 2014, EDBT/ICDT Workshops.
James Cheney, Egor V. Kostylev, Peter Buneman, 2012, TaPP.
James Cheney, Harry Halpin, 2014, International Semantic Web Conference.
Torsten Grust, James Cheney, 2018, J. Funct. Program..
James Cheney, 2005, RTA.
James Cheney, Perdita Stevens, Jeremy Gibbons, 2018, Bidirectional Transformations.
James Cheney, Roly Perera, J. Cheney, 2016, Mathematical Structures in Computer Science.
James Cheney, Wang Chiew Tan, Laura Chiticariu, 2009, Found. Trends Databases.
James Cheney, Alberto Momigliano, Matteo Pessina, 2016, ArXiv.
James Cheney, Michael Benedikt, J. Cheney, 2009, DBPL.
James Cheney, Wilmer Ricciotti, J. Cheney, 2017, CSL.
James Cheney, Greg Morrisett, 2003 .
James Cheney, J. Cheney, 2010 .
James Cheney, Morten Dahl, 2008, PLAS '08.
James Cheney, Roly Perera, Paul Anderson, 2017, ECOOP 2017.
James Cheney, Perdita Stevens, Jeremy Gibbons, 2017, J. Object Technol..
James Cheney, J. Cheney, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.
James Cheney, Pramod Bhatotia, Margo Seltzer, 2019, Middleware.
Deborah L. McGuinness, James Cheney, Daniel Garijo, 2013 .
James Cheney, J. Cheney, 2009 .
James Cheney, Sam Lindley, Jan Stolarek, 2020, PLDI.
Christian Urban, James Cheney, Stefan Berghofer, 2008, LICS.
Yolanda Gil, James Cheney, Simon Miles, 2013 .
James Cheney, Bertram Ludäscher, Peter Buneman, 2008, SGMD.
James Cheney, Roly Perera, Wilmer Ricciotti, 2017, Proc. ACM Program. Lang..
James Cheney, 2005, ICFP 2005.
James Cheney, Irini Fundulaki, Loreto Bravo, 2012, The VLDB Journal.
James Cheney, Stijn Vansummeren, J. Cheney, 2007, IEEE Data Eng. Bull..
James Cheney, Peter Buneman, Stijn Vansummeren, 2008, TODS.
James Cheney, Perdita Stevens, Jeremy Gibbons, 2014, EDBT/ICDT Workshops.
James Cheney, Michael Benedikt, J. Cheney, 2009, Proc. VLDB Endow..
James Cheney, Ralf Hinze, J. Cheney, 2003 .
James Cheney, Umut A. Acar, Roly Perera, 2012, J. Comput. Secur..
James Cheney, Stefan Fehrenbach, 2016, PPDP.
James Cheney, Peter Buneman, Adriane Chapman, 2006, SIGMOD Conference.
James Cheney, Simon Miles, Adriane Chapman, 2017, ACM Trans. Internet Techn..
James Cheney, J. Cheney, 2011, LID '11.
James Cheney, Simon Fowler, Sam Lindley, 2019, Sci. Comput. Program..
James Cheney, Roly Perera, Rudi Horn, 2018, Proc. ACM Program. Lang..
James Cheney, J. Cheney, 2013 .
James Cheney, Eric Griffis, Paul Martin, 2013, WORKS@SC.
James Cheney, Wang-Chiew Tan, Laura Chiticariu, 2014 .
James Cheney, Alberto Momigliano, J. Cheney, 2017, Theory and Practice of Logic Programming.
James Cheney, Irini Fundulaki, Loreto Bravo, 2007, DBPL.
James Cheney, Perdita Stevens, Jeremy Gibbons, 2015, MPC.
James Cheney, Peter Buneman, Sam Lindley, 2011, SIGMOD '11.
James Cheney, 2001, Proceedings DCC 2001. Data Compression Conference.
James Cheney, Dan Grossman, Michael Hicks, 2001 .
James Cheney, Wang Chiew Tan, W. Tan, 2009, SIGMOD '07.
James Cheney, Umut A. Acar, Roly Perera, 2013, In Search of Elegance in the Theory and Practice of Computation.
James Cheney, 2009, Journal of Automated Reasoning.
James Cheney, Peter Buneman, Stijn Vansummeren, 2007, TODS.
James Cheney, J. Cheney, 2004, ICALP.
James Cheney, Alberto Momigliano, J. Cheney, 2007, PPDP '07.
James Cheney, Perdita Stevens, Jeremy Gibbons, 2016 .
James Cheney, 2016, J. Log. Comput..
Margo I. Seltzer, James Cheney, Stijn Vansummeren, 2009, OOPSLA Companion.
Christian Urban, James Cheney, J. Cheney, 2006, TOPL.
Sidahmed Benabderrahmane, James Cheney, Ghita Berrada, 2019, Future Gener. Comput. Syst..
James Cheney, Malcolm P. Atkinson, Alessandro Spinuso, 2013, EDBT '13.
James Cheney, Alberto Momigliano, Matteo Pessina, 2016, TAP@STAF.
James Cheney, Stefan Fehrenbach, 2015, TaPP.
James Cheney, Anthony Anjorin, Nils Weidmann, 2020, GCM@STAF.
James Cheney, S'andor Bartha, J. Cheney, 2019, ILP.
James Cheney, Philip Wadler, Sam Lindley, 2012 .
James Cheney, J. Cheney, 2008, ICFP.
James Cheney, Daniel Garijo, Stian Soiland-Reyes, 2013 .
James Cheney, Ghita Berrada, J. Cheney, 2019, TaPP.
James Cheney, J. Cheney, 2014 .
Michael Norrish, James Cheney, René Vestergaard, 2011, Journal of Automated Reasoning.
Torsten Grust, James Cheney, Dimitrios Vytiniotis, 2014, Dagstuhl Reports.
James Cheney, Ripduman Sohan, Hassaan Irshad, 2017, TaPP.
James Cheney, J. Cheney, 2010, DCM.
James Cheney, J. Cheney, 2007, PLAN-X.
James Cheney, Peter Buneman, Sam Lindley, 2010 .
James Cheney, Umut A. Acar, Roly Perera, 2012, POST.
James Cheney, 2009, Electron. Notes Theor. Comput. Sci..
James Cheney, Simon Fowler, Simon D. Harding, 2020, ArXiv.
Christian Urban, James Cheney, J. Cheney, 2005, TLCA.
James Cheney, Umut A. Acar, Amal Ahmed, 2007, Mathematical Structures in Computer Science.
James Cheney, Paul Anderson, J. Cheney, 2012, TaPP.
James Cheney, Philip Wadler, Sam Lindley, 2013 .
James Cheney, Philip Wadler, Sam Lindley, 2014, SIGMOD Conference.
James Cheney, Michael Hicks, Yanling Wang, 2002 .
James Cheney, Wilmer Ricciotti, 2018, ICTAC.
James Cheney, J. Cheney, 2006, Journal of Symbolic Logic.
James Cheney, Sam Lindley, J. Cheney, 2012, TLDI '12.
James Cheney, Roly Perera, Rudi Horn, 2018, Artifact Digital Object Group.
James Cheney, Anthony Anjorin, 2019 .
James Cheney, Roly Perera, J. Cheney, 2014, IPAW.
James Cheney, Umut A. Acar, Amal Ahmed, 2007, DBPL.
James Cheney, 2005, ICFP '05.
James Cheney, Wilmer Ricciotti, 2020, ArXiv.
Paul T. Groth, Yolanda Gil, James Cheney, 2012, Int. J. Digit. Curation.
James Cheney, Murdoch James Gabbay, J. Cheney, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
James Cheney, Harry Halpin, 2014, ArXiv.
James Cheney, Philip Wadler, Sam Lindley, 2013, ArXiv.
James Cheney, Rosario LoBrutto, Chris Balducci, 2016 .
James Cheney, Stefan Fehrenbach, J. Cheney, 2016, PPDP.
James Cheney, Wilmer Ricciotti, J. Cheney, 2020, FSCD.
James Cheney, Philip Wadler, Sam Lindley, 2013, PEPM '14.
James Cheney, Jan Stolarek, 2018, Art Sci. Eng. Program..
James Cheney, Perdita Stevens, Jeremy Gibbons, 2016, A List of Successes That Can Change the World.
Christian Urban, James Cheney, Stefan Berghofer, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
James Cheney, 2005, FoSSaCS.
James Cheney, Paolo Missier, Luc Moreau, 2013 .
James Cheney, Dan Grossman, Michael Hicks, 2001 .
James Cheney, Jan Van den Bussche, Peter Buneman, 2010, TaPP.
James Cheney, J. Cheney, 2010 .
James Cheney, Hassaan Irshad, Ashish Gehani, 2020 .
Christian Urban, James Cheney, J. Cheney, 2011, CPP.
James Cheney, J. Cheney, 2007, IEEE Data Eng. Bull..
James Cheney, Wilmer Ricciotti, 2021, DBPL.
James Cheney, Adriane Chapman, Joy Davidson, 2022, Series on Advances in Mathematics for Applied Sciences.
James Cheney, Pramod Bhatotia, Sheung Chi Chan, 2021, TaPP.
James Cheney, Wilmer Ricciotti, J. Cheney, 2021, ESOP.
James Cheney, Bob Reynders, Sam Lindley, 2021, PPDP.
James Cheney, Simon Fowler, Simon D. Harding, 2020, Int. J. Digit. Curation.
James Cheney, Vaishak Belle, Sándor Bartha, 2021, Proc. ACM Program. Lang..
Sidahmed Benabderrahmane, James Cheney, Petko Valtchev, 2021, IJCAI.
James Cheney, Vashti Galpin, J. Cheney, 2021, IPAW.
James Cheney, Stefan Berghofer, Christian Urban, 2008 .
James Cheney, Perdita Stevens, Jeremy Gibbons, 2014 .