Dave Clarke

Citat de

	Toate	Din 2020
Referințe bibliografice	6483	1524
h-index	39	19
i10-index	95	28

400

200

100

300

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202532 20 49 87 124 193 206 246 258 263 280 243 330 359 340 252 317 393 257 276 313 270 347 287 294 291 35

Acces public

Afișați-le pe toate

28 de articole

1 articol

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

James NobleCreative Research & ProgrammingAdresă de e-mail confirmată pe acm.org
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityAdresă de e-mail confirmată pe it.uu.se
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalAdresă de e-mail confirmată pe proenca.org
Marco PatrignaniAssistant Professor at University of TrentoAdresă de e-mail confirmată pe unitn.it
Einar Broch JohnsenProfessor, University of OsloAdresă de e-mail confirmată pe ifi.uio.no
Ilya SergeyAssociate Professor, National University of SingaporeAdresă de e-mail confirmată pe nus.edu.sg
Sophia DrossopoulouProfessor, Imperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
Farhad ArbabProfessor of Computer Science, Leiden UniversityAdresă de e-mail confirmată pe liacs.nl
Ina SchaeferKarlsruhe Institute of Technology (KIT)Adresă de e-mail confirmată pe kit.edu
Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityAdresă de e-mail confirmată pe uu.nl
Andres LöhHaskell Consultant, Well-Typed LLPAdresă de e-mail confirmată pe well-typed.com
Kiko FernándezEricssonAdresă de e-mail confirmată pe ericsson.com
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenAdresă de e-mail confirmată pe cs.kuleuven.be
Alex PotaninAssociate Professor, Australian National UniversityAdresă de e-mail confirmată pe anu.edu.au
Robert BiddleProfessor of Computer Science and Cognitive Science, Carleton UniversityAdresă de e-mail confirmată pe hotsoft.carleton.ca
Radu MuscheviciTU DarmstadtAdresă de e-mail confirmată pe cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresă de e-mail confirmată pe cwi.nl
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternAdresă de e-mail confirmată pe cs.uni-kl.de
Rula SayafKULeuvenAdresă de e-mail confirmată pe cs.kuleuven.be
Dimiter MilushevKU LeuvenAdresă de e-mail confirmată pe cs.kuleuven.be

Urmăriți

Dave Clarke

Independent

Adresă de e-mail confirmată pe storytel.com

Programming Languages Coordination Parallel Programming Data Science Machine Learning


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Ownership types for flexible alias protection DG Clarke, JM Potter, J Noble ACM SIGPLAN Notices 33 (10), 48-64, 1998	836	1998
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface VP Gerdt, W Koepf, EW Mayr, EV Vorozhtsov Lecture Notes in Computer Science 8136, V-VIII-V-VIII, 2013	356*	2013
Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou ACM SIGPLAN Notices 37 (11), 292-310, 2002	341	2002
A complete guide to the future F de Boer, D Clarke, E Johnsen Programming Languages and Systems, 316-330, 2007	243	2007
Object ownership and containment D Clarke University of New South Wales, 2001	232	2001
External uniqueness is unique enough D Clarke, T Wrigstad ECOOP 2003–Object-Oriented Programming, 59-67, 2003	225	2003
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	216	2020
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
Simple ownership types for object containment D Clarke, J Noble, J Potter ECOOP 2001—Object-Oriented Programming, 53-76, 2001	170	2001
Abstract delta modeling D Clarke, M Helvensteijn, I Schaefer ACM SIGPLAN Notices 46 (2), 13-22, 2010	155	2010
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	135	2015
Connector Colouring I: Synchronization and Context Dependency DG Clarke, D Costa, F Arbab Science of Computer Programming 66 (3), 205-225, 2007	134	2007
Generic ownership for generic Java A Potanin, J Noble, D Clarke, R Biddle ACM SIGPLAN Notices 41 (10), 311-324, 2006	124	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	123	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	117	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	99	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	93	2015
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, E Johnsen Programming Languages and Systems, 139-154, 2008	93	2008
Generic HVSKELL, Specifically D Clarke, A Loh Generic programming: IFIP TC2/WG2. 1 Working Conference on Generic …, 2003	80	2003
The ins and outs of objects J Potter, J Noble, D Clarke Proceeding of 1998 Australian Software Engineering Conference., 80-89, 1998	78	1998

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori