Dave Clarke

Citado por

	Todos	Desde 2019
Citações	6287	1712
Índice h	38	18
Índice i10	97	36

400

200

100

300

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 20 50 86 125 190 210 247 259 262 285 237 312 348 333 242 313 382 257 269 305 255 336 284 296 236

Acesso público

Ver tudo

28 artigos

1 artigo

disponível

não disponível

Com base em autorizações de financiamento

Coautores

James NobleCreative Research & ProgrammingEmail confirmado em acm.org
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityEmail confirmado em it.uu.se
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalEmail confirmado em proenca.org
Marco PatrignaniAssistant Professor at University of TrentoEmail confirmado em unitn.it
Einar Broch JohnsenProfessor, University of OsloEmail confirmado em ifi.uio.no
Ilya SergeyAssociate Professor, National University of SingaporeEmail confirmado em nus.edu.sg
Sophia DrossopoulouProfessor, Imperial College LondonEmail confirmado em imperial.ac.uk
Ina SchaeferKarlsruhe Institute of Technology (KIT)Email confirmado em kit.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail confirmado em liacs.nl
Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityEmail confirmado em uu.nl
Andres LöhHaskell Consultant, Well-Typed LLPEmail confirmado em well-typed.com
Kiko FernándezEricssonEmail confirmado em ericsson.com
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenEmail confirmado em cs.kuleuven.be
Alex PotaninAssociate Professor, Australian National UniversityEmail confirmado em anu.edu.au
Robert BiddleProfessor of Computer Science and Cognitive Science, Carleton UniversityEmail confirmado em hotsoft.carleton.ca
Radu MuscheviciTU DarmstadtEmail confirmado em cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email confirmado em cwi.nl
Rula SayafKULeuvenEmail confirmado em cs.kuleuven.be
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternEmail confirmado em cs.uni-kl.de
Dimiter MilushevKU LeuvenEmail confirmado em cs.kuleuven.be

Seguir

Dave Clarke

Independent

Email confirmado em storytel.com

Programming Languages Coordination Parallel Programming Data Science Machine Learning


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Ownership types for flexible alias protection DG Clarke, JM Potter, J Noble ACM SIGPLAN Notices 33 (10), 48-64, 1998	823	1998
Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou ACM SIGPLAN Notices 37 (11), 292-310, 2002	338	2002
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006	302*	2006
A complete guide to the future F de Boer, D Clarke, E Johnsen Programming Languages and Systems, 316-330, 2007	240	2007
Object ownership and containment D Clarke University of New South Wales, 2001	228	2001
External uniqueness is unique enough D Clarke, T Wrigstad ECOOP 2003–Object-Oriented Programming, 59-67, 2003	222	2003
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, 477-495, 2012	206	2012
Delivery catheter system with micro and macro movement control R Murray, S Upadhyaya, M Casley, P Macaulay, A Masud, P Cassidy, ... US Patent 10,639,150, 2020	193	2020
Simple ownership types for object containment D Clarke, J Noble, J Potter ECOOP 2001—Object-Oriented Programming, 53-76, 2001	169	2001
Abstract delta modeling D Clarke, M Helvensteijn, I Schaefer ACM SIGPLAN Notices 46 (2), 13-22, 2010	141	2010
Connector Colouring I: Synchronization and Context Dependency DG Clarke, D Costa, F Arbab Science of Computer Programming 66 (3), 205-225, 2007	130	2007
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	123	2015
Generic ownership for generic Java A Potanin, J Noble, D Clarke, R Biddle ACM SIGPLAN Notices 41 (10), 311-324, 2006	123	2006
Ownership types: A survey D Clarke, J Östlund, I Sergey, T Wrigstad Aliasing in object-oriented programming. types, analysis and verification, 15-58, 2013	117	2013
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	115	2015
Formal approaches to secure compilation: A survey of fully abstract compilation and related work M Patrignani, A Ahmed, D Clarke ACM Computing Surveys (CSUR) 51 (6), 1-36, 2019	97	2019
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ... Formal Methods for Multicore Programming: 15th International School on …, 2015	90	2015
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, E Johnsen Programming Languages and Systems, 139-154, 2008	90	2008
Generic HVSKELL, Specifically D Clarke, A Loh Generic programming: IFIP TC2/WG2. 1 Working Conference on Generic …, 2003	81	2003
The ins and outs of objects J Potter, J Noble, D Clarke Proceeding of 1998 Australian Software Engineering Conference., 80-89, 1998	77	1998

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores