William R. Cook

发表

Oscar Nierstrasz, William R. Cook, Alan Snyder, 1993, OOPSLA Addendum.
William R. Cook, Walter G. Olthoff, Peter S. Canning, 1989, OOPSLA '89.
Sven Apel, William R. Cook, Christian Kästner, 2010, VaMoS.
William R. Cook, Sol Swords, W. Cook, 2006, ACL2 '06.
William R. Cook, Douglas R. Smith, Srinivas Nedunuri, 2012, SYNT.
Jens Palsberg, William R. Cook, 1989, OOPSLA.
John C. Mitchell, William R. Cook, Walter G. Olthoff, 1989, FPCA.
Albert Benveniste, William R. Cook, Claude Jard, 2007, WS-FM.
William R. Cook, Eli Tilevich, Young-Woo Kwon, 2001, Service Oriented Computing and Applications.
William R. Cook, Warren Harris, 1994 .
Jayadev Misra, William R. Cook, Ian Wehrman, 2008, Theor. Comput. Sci..
William R. Cook, Craig Russell, Erik Meijer, 2006, OOPSLA '06.
Bruno C. d. S. Oliveira, William R. Cook, Tijs van der Storm, 2013, ECOOP.
William R. Cook, Mihir Mehta, 2019, ITP.
William R. Cook, Ben Wiedermann, W. Cook, 2011, DBPL.
Bruno C. d. S. Oliveira, William R. Cook, W. Cook, 2012, ICFP.
William R. Cook, Srinivas Nedunuri, W. Cook, 2009, GPCE '09.
William R. Cook, Mihir Parang Mehta, W. Cook, 2020, SBMF.
Mary E. S. Loomis, Yen-Ping Shan, William R. Cook, 1993, OOPSLA '93.
William R. Cook, Don S. Batory, Benjamin Delaware, 2009, ESEC/FSE '09.
William R. Cook, Douglas R. Smith, Srinivas Nedunuri, 2009, NASA Formal Methods.
William R. Cook, Tijs van der Storm, Alex Loh, 2012 .
William R. Cook, Amin Shali, W. Cook, 2011, OOPSLA '11.
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook, 2010, AOSD.
William R. Cook, Janel Barfield, 2006, 2006 IEEE International Conference on Web Services (ICWS'06).
William R. Cook, Tijs van der Storm, Alex Loh, 2012, Onward! 2012.
William R. Cook, Bill Hill, W. Cook, 1990 .
William R. Cook, W. Cook, 1989, Comput. J..
William R. Cook, Ali Ibrahim, Ben Wiedermann, 2008, OOPSLA.
William R. Cook, W. Cook, 2006, ECOOP.
Don Batory, William R. Cook, Roberto E. Lopez-Herrejon, 2005 .
Siddhartha Rai, William R. Cook, W. Cook, 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Jayadev Misra, William R. Cook, David Kitchin, 2009, FMOODS/FORTE.
Jayadev Misra, William R. Cook, J. Misra, 2007, Software & Systems Modeling.
William R. Cook, Don S. Batory, Benjamin Delaware, 2011, OOPSLA '11.
Jayadev Misra, William R. Cook, J. Misra, 2008, Software-Intensive Systems and New Computing Paradigms.
Jayadev Misra, William R. Cook, J. Misra, 2005 .
William R. Cook, Janel Barfield, 2007, Int. J. Web Serv. Res..
Don Batory, Karl J. Lieberherr, William R. Cook, 2006 .
William R. Cook, Douglas R. Smith, Srinivas Nedunuri, 2010, ICTAC.
Jayadev Misra, William R. Cook, David Kitchin, 2006, CONCUR.
Jens Palsberg, William R. Cook, J. Palsberg, 1989 .
Krzysztof Czarnecki, van der Tijs Storm, William R. Cook, 2012, SLE 2012.
William R. Cook, Yang Jiao, Ali Ibrahim, 2009, ECOOP.
Jayadev Misra, William R. Cook, Sourabh Patwardhan, 2006, COORDINATION.
William R. Cook, David Kitchin, John A. Thywissen, 2016, OOPSLA.
William R. Cook, Klaus Ostermann, Erik Ernst, 2006, POPL '06.
William R. Cook, Don S. Batory, Benjamin Delaware, 2009, FOAL '09.
Oscar Nierstrasz, Sven Apel, Krzysztof Czarnecki, 2011, Dagstuhl Reports.
William R. Cook, Yang Jiao, Eli Tilevich, 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.
Eelco Visser, Guido Wachsmuth, Sebastian Erdweg, 2015, Comput. Lang. Syst. Struct..
William R. Cook, Eli Tilevich, Young-Woo Kwon, 2010, 2010 IEEE International Conference on Services Computing.
Marianne Winslett, Carl A. Gunter, William R. Cook, 2009, DBSec.
William R. Cook, Daniel S. Brown, 2006 .
William R. Cook, Ben Wiedermann, W. Cook, 2007, POPL '07.
William R. Cook, Ali Ibrahim, Eli Tilevich, 2009, ECOOP 2009.
William R. Cook, Ali Ibrahim, Eli Tilevich, 2009, 2009 Seventh IEEE European Conference on Web Services.
William R. Cook, Don S. Batory, David Kitchin, 2007, GPCE '07.
Jens Palsberg, William R. Cook, 1994, Inf. Comput..
William R. Cook, Jose Falcon, W. Cook, 2009, DSL.
William R. Cook, Tijs van der Storm, Alex Loh, 2012, SLE.
Jens Palsberg, William R. Cook, J. Palsberg, 1989, OOPSLA.
William R. Cook, Douglas R. Smith, Srinivas Nedunuri, 2010, NASA Formal Methods.
John C. Mitchell, William R. Cook, Walter G. Olthoff, 1989 .
Isil Dillig, Shuvendu K. Lahiri, William R. Cook, 2017, Proc. ACM Program. Lang..
Jayadev Misra, William R. Cook, J. Misra, 2008 .
William R. Cook, John A. Thywissen, Arthur Michener Peters, 2016, PMLDC@ECOOP.
William R. Cook, Gilad Bracha, Gilad Bracha, 1990, OOPSLA/ECOOP '90.
William R. Cook, Tijs van der Storm, Alex Loh, 2014, Sci. Comput. Program..
William R. Cook, W. Cook, 1990, REX Workshop.
William R. Cook, Carl Rosenberger, W. Cook, 2006 .
William R. Cook, W. Cook, 1987 .
Ralph E. Johnson, Grady Booch, Kent L. Beck, 1993, OOPSLA '93.
William R. Cook, Douglas R. Smith, Srinivas Nedunuri, 2012, FM.
Ralf Lämmel, William R. Cook, 2011, DSL.
William R. Cook, 1988, OOPSLA 1988.
William R. Cook, W. Cook, 2009, OOPSLA '09.
William R. Cook, Abdulbar Hamid, S. R. Baker, 1983 .
Bruno C. d. S. Oliveira, William R. Cook, W. Cook, 2012, ECOOP.
Roberto Erick Lopez-Herrejon, William R. Cook, Don S. Batory, 2005, ECOOP.
William R. Cook, W. Cook, 2007, HOPL.
William R. Cook, Peter S. Canning, Walter L. Hill, 1989, POPL '90.
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook, 2012, J. Funct. Program..
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook, 2009 .
William R. Cook, W. Cook, 1989 .
William R. Cook, Walter G. Olthoff, Peter S. Canning, 1989, OOPSLA 1989.
William R. Cook, .
William R. Cook, Daniel Brown, 2009 .
William R. Cook, Srinivas Nedunuri, W. Cook, 2011 .
William R. Cook, Benjamin Delaware, W. Cook, 2008 .