Dave Clarke

Cited by

	All	Since 2016
Citations	4986	1405
h-index	35	20
i10-index	85	36

400

200

100

300

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202126 19 58 70 123 211 191 248 268 240 261 237 315 350 317 245 305 387 243 260 290 214 11

Co-authors

James NobleProfessor of Computer Science, Victoria University of Wellington, NZVerified email at ecs.vuw.ac.nz
Tobias WrigstadFull professor, Uppsala UniversityVerified email at it.uu.se
Jose ProencaCISTER - ISEPVerified email at proenca.org
Marco PatrignaniVisiting assistant professor @ Stanford & Research group leader @CISPA SaarlandVerified email at cs.stanford.edu
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Sophia DrossopoulouProfessor, Imperial College LondonVerified email at imperial.ac.uk
Ilya SergeyYale-NUS College and National University of SingaporeVerified email at yale-nus.edu.sg
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Ina SchaeferTU Braunschweig, GermanyVerified email at tu-braunschweig.de
Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht University and Open UniversiteitVerified email at uu.nl
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Alex PotaninAssociate Professor in Software Engineering, Victoria University of WellingtonVerified email at ecs.vuw.ac.nz
Robert BiddleProfessor of Computer Science and Cognitive Science, Carleton UniversityVerified email at hotsoft.carleton.ca
Kiko FernándezUppsala UniversityVerified email at it.uu.se
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Radu MuscheviciTU DarmstadtVerified email at cs.tu-darmstadt.de
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Rula SayafKULeuvenVerified email at cs.kuleuven.be

Dave Clarke

Independent

Verified email at storytel.com

Programming Languages Coordination Parallel Programming Data Science Machine Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Ownership types for flexible alias protection DG Clarke, JM Potter, J Noble ACM SIGPLAN Notices 33 (10), 48-64, 1998	733	1998
Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou ACM SIGPLAN Notices 37 (11), 292-310, 2002	327	2002
A complete guide to the future F de Boer, D Clarke, E Johnsen Programming Languages and Systems, 316-330, 2007	219	2007
Object ownership and containment D Clarke University of New South Wales, 2001	219*	2001
External uniqueness is unique enough D Clarke, T Wrigstad ECOOP 2003–Object-Oriented Programming, 59-67, 2003	201	2003
Simple ownership types for object containment D Clarke, J Noble, J Potter ECOOP 2001—Object-Oriented Programming, 53-76, 2001	151	2001
Software diversity: state of the art and perspectives I Schaefer, R Rabiser, D Clarke, L Bettini, D Benavides, G Botterweck, ... International Journal on Software Tools for Technology Transfer 14 (5), 477-495, 2012	147	2012
Abstract delta modeling D Clarke, M Helvensteijn, I Schaefer ACM SIGPLAN Notices 46 (2), 13-22, 2010	124	2010
Connector Colouring I: Synchronization and Context Dependency DG Clarke, D Costa, F Arbab Science of Computer Programming 66 (3), 205-225, 2007	121	2007
Generic ownership for generic Java A Potanin, J Noble, D Clarke, R Biddle ACM SIGPLAN Notices 41 (10), 311-324, 2006	96	2006
Secure compilation to protected module architectures M Patrignani, P Agten, R Strackx, B Jacobs, D Clarke, F Piessens ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (2), 1-50, 2015	94	2015
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, E Johnsen Programming Languages and Systems, 139-154, 2008	85	2008
Generic HVSKELL, Specifically D Clarke, A Loh Generic programming: IFIP TC2/WG2. 1 Working Conference on Generic …, 2003	77	2003
Parallel objects for multicores: A glimpse at the parallel language encore S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ... International School on Formal Methods for the Design of Computer …, 2015	74	2015
Delivery catheter system with micro and macro movement control R Murray, S Upadhyaya, M Casley, P Macaulay, A Masud, P Cassidy, ... US Patent 9,144,494, 2015	73	2015
The ins and outs of objects J Potter, J Noble, D Clarke Proceeding of 1998 Australian Software Engineering Conference., 80-89, 1998	70	1998
Ownership types: A survey D Clarke, J Östlund, I Sergey, T Wrigstad Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013	67	2013
Dependency-style generic haskell A Löh, D Clarke, J Jeuring ACM SIGPLAN Notices 38 (9), 141-152, 2003	67	2003
Tribe: a simple virtual class calculus D Clarke, S Drossopoulou, J Noble, T Wrigstad Proceedings of the 6th international conference on Aspect-oriented software …, 2007	64	2007
Saving the world from bad beans: deployment-time confinement checking D Clarke, M Richmond, J Noble ACM SIGPLAN Notices 38 (11), 374-387, 2003	64	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors