Alan Mycroft

发表

David J. Scott, Alastair R. Beresford, Alan Mycroft, 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.
Alan Mycroft, Sarah Thompson, 2006, PEPM '06.
Thomas W. Reps, Alan Mycroft, Andy King, 2012, Dagstuhl Reports.
Alan Mycroft, Raoul-Gabriel Urma, 2012, PLATEAU '12.
Alan Mycroft, Shin-ya Katsumata, Atsushi Ohori, 2001, Proceedings Eighth Working Conference on Reverse Engineering.
Alan Mycroft, Simon Frankau, A. Mycroft, 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.
Alan Mycroft, Dominic A. Orchard, Tomas Petricek, 2013, ICALP.
Alan Mycroft, Dylan McDermott, A. Mycroft, 2018, Open Comput. Sci..
Alan Mycroft, A. Mycroft, 1984, Symposium on Programming.
Flemming Nielson, Alan Mycroft, F. Nielson, 1983, ICALP.
Alan Mycroft, Peter Calvert, 2012, SAS.
Alan Mycroft, Christine Ernoult, A. Mycroft, 1991, ICALP.
Richard Sharp, David J. Scott, Alan Mycroft, 2003, Security and Management.
Alan Mycroft, Kirsten Lackner Solberg Gasser, 1995, PLILP.
Alan Mycroft, Eleftheria Katsiri, 2006, 2006 10th IEEE International Symposium on Wearable Computers.
Alan Mycroft, Timothy L. Harris, Cosmin E. Oancea, 2009, SPAA '09.
Alan Mycroft, Ursula Goltz, U. Goltz, 1984, ICALP.
Alan Mycroft, Boris Feigin, 2010, RV.
Alan Mycroft, Prashant Singh Rawat, Uday P. Khedker, 2011, ArXiv.
Alastair R. Beresford, Alan Mycroft, Jonathan J. Davies, 2008, FASE.
Richard Sharp, Alan Mycroft, Robert Ennals, 2005, CC.
Don Syme, Alan Mycroft, Tomas Petricek, 2012 .
Alan Mycroft, Kathryn E. Gray, 2010 .
Richard Sharp, Alan Mycroft, A. Mycroft, 2003, International Journal on Software Tools for Technology Transfer.
Alan Mycroft, Paul Webster, Phil Endecott, 2001 .
Alan Mycroft, A. Mycroft, 1984, STACS.
Alan Mycroft, Sverker Janson, Karl-Filip Faxén, 2010, Euro-Par.
Alan Mycroft, Eleftheria Katsiri, 2005, MCMP@MDM.
Alan Mycroft, Raoul-Gabriel Urma, Mario Fusco, 2019 .
Neil D. Jones, Alan Mycroft, N. Jones, 1984, International Conference on Spoken Language Processing.
Flemming Nielson, Pierre Jouvelot, Bent Thomsen, 1996, LOMAPS.
Alan Mycroft, A. Mycroft, 1993, PEPM '93.
Don Syme, Alan Mycroft, Tomas Petricek, 2011, Haskell.
Alan Mycroft, Robin Henry Message, 2008, Electron. Notes Theor. Comput. Sci..
Andrew Richards, Alan Mycroft, Anton Lokhmotov, 2007, Euro-Par.
Alan Mycroft, 2000, WFLP.
Shaahin Hessabi, Maziar Goudarzi, Alan Mycroft, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.
Alan Mycroft, Janina Voigt, A. Mycroft, 2013, Aliasing in Object-Oriented Programming.
Alan Mycroft, Dominic A. Orchard, Tomas Petricek, 2015, Semantics, Logics, and Calculi.
Richard Sharp, Alan Mycroft, A. Mycroft, 2001, CHARME.
Alan Mycroft, Oscar Rodriguez-Prieto, Francisco Ortin, 2020, IEEE Access.
Alan Mycroft, Andrej Ivaskovic, Dominic Orchard, 2020, FSCD.
Alan Mycroft, Dominic A. Orchard, Raoul-Gabriel Urma, 2014, PLE@ECOOP.
Richard Sharp, Alan Mycroft, A. Mycroft, 2001, TACAS.
Alan Mycroft, Mads Rosendahl, 1992, WSA.
Alan Mycroft, 1995 .
Alan Mycroft, Kyoko Iwasawa, A. Mycroft, 2007, Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007).
Alan Mycroft, Janina Voigt, A. Mycroft, 2013, APLAS.
Alan Mycroft, Uday P. Khedker, Pritam M. Gharat, 2016, SAS.
Richard Sharp, Alan Mycroft, Robert Ennals, 2004, ESOP.
Tom Schrijvers, Alan Mycroft, T. Schrijvers, 2010, SAS.
David J. Scott, Alastair R. Beresford, Alan Mycroft, 2003, FASE.
Ross J. Anderson, Alan Mycroft, Wei Ming Khoo, 2013, 2013 10th Working Conference on Mining Software Repositories (MSR).
Dhananjay M. Dhamdhere, Alan Mycroft, Uday P. Khedker, 2003, Comput. Lang. Syst. Struct..
Neil D. Jones, Alan Mycroft, N. Jones, 1986, POPL '86.
Alan Mycroft, Sarah Thompson, Guillaume Brat, 2005 .
Alan Mycroft, Anton Lokhmotov, 2007, SPAA '07.
Richard Sharp, Alan Mycroft, Robert Ennals, 2004 .
Alan Mycroft, Peter Calvert, 2012, PLACES.
Richard Sharp, Alan Mycroft, 2000, ICALP.
Richard Sharp, Alan Mycroft, A. Mycroft, 2001, CHARME.
Alan Mycroft, Raoul-Gabriel Urma, Mario Fusco, 2014 .
Shaahin Hessabi, Maziar Goudarzi, Alan Mycroft, 2004, J. Univers. Comput. Sci..
Alan Mycroft, Cosmin E. Oancea, 2008, IWMSE '08.
Alan Mycroft, Benedict R. Gaster, Anton Lokhmotov, 2007, LCPC.
Corrado Priami, Alan Mycroft, Pierpaolo Degano, 1995, ASIAN.
Simon L. Peyton Jones, Alan Mycroft, Ben Rudiak-Gould, 2006, ESOP.
Alan Mycroft, Eleftheria Katsiri, A. Mycroft, 2011, Simul. Model. Pract. Theory.
Alan Mycroft, Stephen Dolan, Stephen Dolan, 2017, POPL.
Alan Mycroft, A. Mycroft, 1980, Symposium on Programming.
Alan Mycroft, Dominic A. Orchard, 2012, IFL.
Alan Mycroft, Janina Voigt, A. Mycroft, 2013 .
Alan Mycroft, Kathryn E. Gray, A. Mycroft, 2009, FASE.
Alan Mycroft, Dominic A. Orchard, Tomas Petricek, 2014, ArXiv.
Richard Sharp, Alan Mycroft, A. Mycroft, 2001, SAS.
Alan Mycroft, Sarah Thompson, Sarah Thompson, 2004, Sci. Comput. Program..
Alan Mycroft, Cosmin E. Oancea, 2007, 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007).
Alan Mycroft, Dominic A. Orchard, Tomas Petricek, 2014, ICFP.
Stephen M. Watt, Alan Mycroft, Cosmin E. Oancea, 2009, ISMM '09.
Alan Mycroft, Nicholas Nethercote, N. Nethercote, 2003, RV@CAV.
Alan Mycroft, Dominic A. Orchard, Max Bolingbroke, 2010, DAMP '10.
Jyothish Soman, Alan Mycroft, Timothy M. Jones, 2015 .
Alan Mycroft, Nicholas Nethercote, 2002, MSP/ISMM.
Alan Mycroft, Jonathan Chee Heng Mak, 2011, 2011 40th International Conference on Parallel Processing Workshops.
Amey Karkare, Amitabha Sanyal, Alan Mycroft, 2014, CC.
Alan Mycroft, Christine Ernoult, A. Mycroft, 1995, Journal of functional programming.
Alan Mycroft, Richard A. O'Keefe, Richard A. O'Keefe, 1984, Logic Programming Workshop.
Neil D. Jones, Alan Mycroft, N. Jones, 1985, Programs as Data Objects.
Alan Mycroft, 2013, Aliasing in Object-Oriented Programming.
Shaahin Hessabi, Maziar Goudarzi, Alan Mycroft, 2003, FDL.
Jyothish Soman, Alan Mycroft, Timothy M. Jones, 2015, 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS).
Alan Mycroft, Jonathan Chee Heng Mak, A. Mycroft, 2009, WODA '09.
Alan Mycroft, Prashant Singh Rawat, Uday P. Khedker, 2012, SAS.
Alan Mycroft, Sriram Srinivasan, S. Srinivasan, 2008, ECOOP.
Alan Mycroft, Raphaël Proust, A. Mycroft, 2014, Onward!.
Alan Mycroft, Sam Ainsworth, Timothy M. Jones, 2021, 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA).
Alan Mycroft, Uday P. Khedker, Swati Jaiswal, 2021, ACM Comput. Surv..
Alan Mycroft, Indigo Orton, 2021, MPLR.
Alan Mycroft, Sarah Thompson, 2004 .
Alan Mycroft, Mark Florisson, 2015 .
Alan Mycroft, Arthur C. Norman, 1992 .
Alan Mycroft, Sarah Thompson, .
Alan Mycroft, Dominic A. Orchard, Dominic Orchard, 2012 .