Dave Clarke

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2018
Позовавания	5794	1491
h-индекс	37	19
i10-индекс	94	35

420

210

105

315

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202328 20 47 80 118 191 208 251 267 248 285 237 320 352 337 245 313 402 250 262 297 237 266 206 223

Публичен достъп

Преглед на всички

30 статии

1 статия

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

James NobleCreative Research & ProgrammingПотвърден имейл адрес: acm.org
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityПотвърден имейл адрес: it.uu.se
Jose ProencaCISTER - ISEPПотвърден имейл адрес: proenca.org
Marco PatrignaniAssistant Professor at University of TrentoПотвърден имейл адрес: unitn.it
Sophia DrossopoulouProfessor, Imperial College LondonПотвърден имейл адрес: imperial.ac.uk
Einar Broch JohnsenProfessor, University of OsloПотвърден имейл адрес: ifi.uio.no
Ilya SergeyAssociate Professor, National University of SingaporeПотвърден имейл адрес: nus.edu.sg
Ina SchaeferKarlsruhe Institute of Technology (KIT)Потвърден имейл адрес: kit.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityПотвърден имейл адрес: liacs.nl
Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht UniversityПотвърден имейл адрес: uu.nl
Andres LöhHaskell Consultant, Well-Typed LLPПотвърден имейл адрес: well-typed.com
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenПотвърден имейл адрес: cs.kuleuven.be
Kiko FernándezEricssonПотвърден имейл адрес: ericsson.com
Alex PotaninAssociate Professor, Australian National UniversityПотвърден имейл адрес: anu.edu.au
Robert BiddleProfessor of Computer Science and Cognitive Science, Carleton UniversityПотвърден имейл адрес: hotsoft.carleton.ca
Radu MuscheviciTU DarmstadtПотвърден имейл адрес: cs.tu-darmstadt.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Потвърден имейл адрес: cwi.nl
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternПотвърден имейл адрес: cs.uni-kl.de
Rula SayafKULeuvenПотвърден имейл адрес: cs.kuleuven.be
Marcello BonsangueProfessor of Computer Science, Leiden UniversityПотвърден имейл адрес: liacs.leidenuniv.nl

Следене

Dave Clarke

Independent

Потвърден имейл адрес: storytel.com

Programming Languages Coordination Parallel Programming Data Science Machine Learning


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
Ownership types for flexible alias protection DG Clarke, JM Potter, J Noble ACM SIGPLAN Notices 33 (10), 48-64, 1998	800	1998
Ownership, encapsulation and the disjointness of type and effect D Clarke, S Drossopoulou ACM SIGPLAN Notices 37 (11), 292-310, 2002	338	2002
A complete guide to the future F de Boer, D Clarke, E Johnsen Programming Languages and Systems, 316-330, 2007	235	2007
Object ownership and containment D Clarke University of New South Wales, 2001	226	2001
External uniqueness is unique enough D Clarke, T Wrigstad ECOOP 2003–Object-Oriented Programming, 59-67, 2003	218	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	188	2012
Simple ownership types for object containment D Clarke, J Noble, J Potter ECOOP 2001—Object-Oriented Programming, 53-76, 2001	165	2001
Abstract delta modeling D Clarke, M Helvensteijn, I Schaefer ACM SIGPLAN Notices 46 (2), 13-22, 2010	151	2010
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	150	2020
Connector Colouring I: Synchronization and Context Dependency DG Clarke, D Costa, F Arbab Science of Computer Programming 66 (3), 205-225, 2007	129	2007
Generic ownership for generic Java A Potanin, J Noble, D Clarke, R Biddle ACM SIGPLAN Notices 41 (10), 311-324, 2006	121	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	112	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	110	2015
Ownership types: A survey D Clarke, J Östlund, I Sergey, T Wrigstad Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013	107	2013
Minimal ownership for active objects D Clarke, T Wrigstad, J Östlund, E Johnsen Programming Languages and Systems, 139-154, 2008	91	2008
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	88	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	83	2019
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	75	1998
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	69	2007

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори