Dave Clarke

发表

Johan Jeuring, Andres Löh, Dave Clarke, 2003, ACM SIGPLAN Notices.
Dave Clarke, Stephan Brandauer, Tobias Wrigstad, 2015, OOPSLA.
Reiner Hähnle, Einar Broch Johnsen, Dave Clarke, 2010, SPLC Workshops.
Farhad Arbab, Dave Clarke, David Costa, 2006, Sci. Comput. Program..
Dave Clarke, José Proença, D. Clarke, 2012, COORDINATION.
Johan Jeuring, Andres Löh, Dave Clarke, 2003, ICFP '03.
Dave Clarke, Dimiter Milushev, Wim Beck, 2012, FMOODS/FORTE.
James Noble, Dave Clarke, Tobias Wrigstad, 2013, Aliasing in Object-Oriented Programming.
Marco Patrignani, Dave Clarke, Adriaan Larmuseau, 2016, SAC.
Dave Clarke, Michael Lienhardt, 2012, VaMoS '12.
Matthias Hauswirth, Joe Gibbs Politz, Ville Tirronen, 2014, ITiCSE-WGR '14.
Dave Clarke, Ilya Sergey, Ilya Sergey, 2012, Inf. Process. Lett..
Johan Jeuring, Dave Clarke, Frank Atanassow, 2004, PADL.
Dave Clarke, Tobias Wrigstad, Ilya Sergey, 2013, Aliasing in Object-Oriented Programming.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2012, FOCLASA.
Dave Clarke, Kiko Fernandez-Reyes, Janina Hornbach, 2018, MoDELS Companion.
Dave Clarke, José Proença, D. Clarke, 2015, FACS.
Dave Clarke, Ilya Sergey, Jan Midtgaard, 2012, MPC.
Dave Clarke, José Proença, D. Clarke, 2013, COORDINATION.
Alexandra Silva, Marcello M. Bonsangue, Dave Clarke, 2009, Sci. Comput. Program..
James Noble, Robert Biddle, Dave Clarke, 2006, OOPSLA '06.
Einar Broch Johnsen, Elias Castegren, Dave Clarke, 2015, SFM.
Dave Clarke, José Proença, D. Clarke, 2010, SPLC Workshops.
Marco Patrignani, Dave Clarke, Adriaan Larmuseau, 2015, SETTA.
Erik P. de Vink, Farhad Arbab, Dave Clarke, 2011, FOCLASA.
Dave Clarke, Michael Lienhardt, 2012, ISoLA.
Farhad Arbab, Roberto Bruni, Ivan Lanese, 2009, WADT.
Dave Clarke, Ilya Sergey, 2012, ESOP.
Goetz Botterweck, Dave Clarke, Ina Schaefer, 2012, International Journal on Software Tools for Technology Transfer.
John Tang Boyland, Gary T. Leavens, Arnd Poetzsch-Heffter, 2007, ECOOP Workshops.
Farhad Arbab, Dave Clarke, Alexander Lazovik, 2011, Sci. Comput. Program..
Alexandra Silva, Marcello M. Bonsangue, Dave Clarke, 2009, COORDINATION.
Dave Clarke, José Proença, D. Clarke, 2009, ICE.
Sophia Drossopoulou, James Noble, Dave Clarke, 2007, AOSD.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2010, Concurrency, Compositionality, and Correctness.
Dave Clarke, Tobias Wrigstad, Beatrice Åkerblom, 2008, TOOLS.
Marco Patrignani, Dave Clarke, D. Clarke, 2015, Comput. Lang. Syst. Struct..
Dave Clarke, Radu Muschevici, José Proença, 2013, FOSD '13.
Dave Clarke, Sören Preibusch, Rula Sayaf, 2015, 2015 IEEE International Conference on Smart City/SocialCom/SustainCom (SmartCity).
Elias Castegren, Dave Clarke, Huu-Phuc Vo, 2018, COORDINATION.
Farhad Arbab, Dave Clarke, Alexander Lazovik, 2009, FOCLASA@ICALP.
Dave Clarke, Adriaan Larmuseau, D. Clarke, 2015, SEFM.
Dave Clarke, Marko van Dooren, 2012, COORDINATION.
James Noble, Robert Biddle, Dave Clarke, 2006, Journal of Functional Programming.
Frank S. de Boer, Dave Clarke, Cees Pierik, 2005, FM.
Sophia Drossopoulou, James Noble, Dave Clarke, 2007, ECOOP Workshops.
Marcello M. Bonsangue, Dave Clarke, Mohammad Izadi, 2011, Software & Systems Modeling.
Dominique Devriese, Frank Piessens, Dave Clarke, 2013, PEPM '13.
Marco Patrignani, Frank Piessens, Dave Clarke, 2013, APLAS.
Dave Clarke, Kiko Fernandez-Reyes, 2017 .
Dave Clarke, Tobias Wrigstad, Tobias Wrigstad, 2003, ECOOP.
Dave Clarke, Kiko Fernandez-Reyes, Daniel S. McCain, 2018 .
David Eppstein, Suresh Venkatasubramanian, Dave Clarke, 2010, SIGA.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, 2016, Sci. Comput. Program..
Dominique Devriese, Frank Piessens, David Darais, 2013, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Ludovic Henrio, Einar Broch Johnsen, Dave Clarke, 2019, ECOOP.
Marco Patrignani, Frank Piessens, Dave Clarke, 2015, TOPL.
Marco Patrignani, Davide Sangiorgi, Dave Clarke, 2011, FMOODS/FORTE.
Dave Clarke, José Proença, 2013, ESOCC Workshops.
Dave Clarke, Dimiter Milushev, D. Clarke, 2012, NordSec.
Dave Clarke, Ilya Sergey, 2009, COP@ECOOP.
Dave Clarke, Sung-Shik T. Q. Jongmans, José Proença, 2012, FOCLASA.
Marco Patrignani, Dave Clarke, D. Clarke, 2013, SAC.
Michiel Helvensteijn, Dave Clarke, Ina Schaefer, 2010, GPCE '10.
Dave Clarke, D. Clarke, 2008, Fundam. Informaticae.
Dave Clarke, Radu Muschevici, José Proença, 2010, SPLC Workshops.
Dave Clarke, D. Clarke, 2007, FMCO.
Dave Clarke, Dimiter Milushev, D. Clarke, 2012, POST.
Dave Clarke, Ina Schaefer, Radu Muschevici, 2010, FMCO.
Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, 2007, ESOP.
Bettina Berendt, Bo Gao, Dave Clarke, 2012, 2012 IEEE 12th International Conference on Data Mining Workshops.
Farhad Arbab, Dave Clarke, David Costa, 2004, ISoLA.
Dave Clarke, Radu Muschevici, José Proença, 2011, SEFM.
Dave Clarke, Richard Harper, Rula Sayaf, 2014, SecureComm.
Dave Clarke, Christian Krause, D. Clarke, 2009, SAC '09.
Ludovic Henrio, Einar Broch Johnsen, Dave Clarke, 2019, Dagstuhl Artifacts Ser..
Erik P. de Vink, Farhad Arbab, Dave Clarke, 2012, SAC '12.
Dave Clarke, Radu Muschevici, José Proença, 2015 .
Elias Castegren, Dave Clarke, Tobias Wrigstad, 2018, AGERE!@SPLASH.
Dave Clarke, Ilya Sergey, Jan Midtgaard, 2011 .
Dave Clarke, Richard Harper, Rula Sayaf, 2015, Securecomm 2015.
Marcello M. Bonsangue, Dave Clarke, Mohammad Izadi, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Sophia Drossopoulou, Dave Clarke, James Noble, 2006 .
Dave Clarke, James B. Rule, Rula Sayaf, 2015, BCS HCI.
Andres Löh, Dave Clarke, 2002, Generic Programming.
Sophia Drossopoulou, Peter Müller, James Noble, 2008, ECOOP Workshops.
Dave Clarke, Bart Jacobs, Marko van Dooren, 2012, FMCO.
Marco Patrignani, Dave Clarke, Adriaan Larmuseau, 2015, APLAS.
Dave Clarke, Éric Tanter, Pascal Costanza, 2009, COP@ECOOP.
Dave Clarke, José Proença, D. Clarke, 2017, Sci. Comput. Program..
Dave Clarke, José Proença, D. Clarke, 2008, FOCLASA.
Wouter Joosen, Wilfried Daniels, Danny Hughes, 2015, 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Frank S. de Boer, Nobuko Yoshida, Sophia Drossopoulou, 2014, ERCIM News.
Jean-Jacques Hajjar, Dave Clarke, Yuanzhong Paul Zhou, 2018, 2018 40th Electrical Overstress/Electrostatic Discharge Symposium (EOS/ESD).
Dave Clarke, Tobias Wrigstad, Tobias Wrigstad, 2007, J. Object Technol..
Dave Clarke, Tobias Wrigstad, 2016, Theory and Practice of Formal Methods.
Marco Patrignani, Danny Hughes, Dave Clarke, 2012, 2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA).
Michiel Helvensteijn, Dave Clarke, Ina Schaefer, 2014, Mathematical Structures in Computer Science.
Dave Clarke, Maurice H. ter Beek, Ina Schaefer, 2016, J. Log. Algebraic Methods Program..
Dave Clarke, Ilya Sergey, Peter Gromov, 2011 .
Dave Clarke, Dimiter Milushev, D. Clarke, 2013, NordSec.
Farhad Arbab, Dave Clarke, David Costa, 2006, Electron. Notes Theor. Comput. Sci..
Dave Clarke, Kiko Fernandez-Reyes, Daniel S. McCain, 2016, COORDINATION.
Marco Patrignani, Dave Clarke, Adriaan Larmuseau, 2014, PLAS@ECOOP.
Frank S. de Boer, Dave Clarke, Cees Pierik, 2004 .
James Noble, Robert Biddle, Dave Clarke, 2004 .