David J. Pearce

Geciteerd door

	Alles	Sinds 2016
Citaties	1421	401
h-index	20	11
i10-index	29	15

120

20032004200520062007200820092010201120122013201420152016201720182019202020214 14 29 40 95 103 112 87 107 97 112 81 109 95 82 63 92 67 2

Medeauteurs

James NobleProfessor of Computer Science, Victoria University of Wellington, NZGeverifieerd e-mailadres voor ecs.vuw.ac.nz
Paul KellyProfessor of Software Technology, Imperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Chris HankinProfessor of Computing Science, Imperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Alex PotaninAssociate Professor in Software Engineering, Victoria University of WellingtonGeverifieerd e-mailadres voor ecs.vuw.ac.nz
Oskar MencerGeverifieerd e-mailadres voor maxeler.com
Wayne LukProfessor of Computer Engineering, Imperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Jens DietrichVictoria University of WellingtonGeverifieerd e-mailadres voor vuw.ac.nz
Robert Francis BerryAston University, UKGeverifieerd e-mailadres voor aston.ac.uk
Michael HomerVictoria University of WellingtonGeverifieerd e-mailadres voor ecs.vuw.ac.nz
Lee HowesQualcommGeverifieerd e-mailadres voor qti.qualcomm.com
Kamil JezekUniversity of West Bohemia, Department of Computer Science and Engineering, Pilsen, Czech RepublicGeverifieerd e-mailadres voor kiv.zcu.cz
Přemek BradaUniversity of West Bohemia, Pilsen, Czech RepublicGeverifieerd e-mailadres voor kiv.zcu.cz
Uli HarderResearch Associate, Department of Computing at Imperial College LondonGeverifieerd e-mailadres voor doc.ic.ac.uk
Ian WelchAssociate Professor, Victoria University at Wellington, New ZealandGeverifieerd e-mailadres voor ecs.vuw.ac.nz
Roman KlapaukhUCLGeverifieerd e-mailadres voor ucl.ac.uk
Stuart MarshallSenior Lecturer in Software Engineering, Victoria University of WellingtonGeverifieerd e-mailadres voor ecs.vuw.ac.nz
Kim BruceProfessor of Computer Science, Pomona CollegeGeverifieerd e-mailadres voor pomona.edu
Mark UttingThe University of QueenslandGeverifieerd e-mailadres voor uq.edu.au
Marco ServettoLecturer in Engineering and Computer Science, ECS VUWGeverifieerd e-mailadres voor ecs.vuw.ac.nz
Dong-U LeeBroadcomGeverifieerd e-mailadres voor broadcom.com

David J. Pearce

School of Engineering and Computer Science, Victoria University of Wellington

Geverifieerd e-mailadres voor ecs.vuw.ac.nz - Homepage

Programming Languages Static Analysis Program Analysis Compilers Type Systems


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Efficient field-sensitive pointer analysis of C DJ Pearce, PHJ Kelly, C Hankin ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 4-es, 2007	191	2007
A dynamic topological sort algorithm for directed acyclic graphs DJ Pearce, PHJ Kelly Journal of Experimental Algorithmics (JEA) 11, 1.7-es, 2007	97	2007
Relationship aspects DJ Pearce, J Noble Proceedings of the 5th international conference on Aspect-oriented software …, 2006	93	2006
Profiling with AspectJ DJ Pearce, M Webster, R Berry, PHJ Kelly Software: Practice and Experience 37 (7), 747-777, 2007	81	2007
Efficient object querying for java D Willis, DJ Pearce, J Noble European Conference on Object-Oriented Programming, 28-49, 2006	71	2006
Design space exploration with a stream compiler O Mencer, DJ Pearce, LW Howes, W Luk Proceedings. 2003 IEEE International Conference on Field-Programmable …, 2003	55	2003
Computing tutte polynomials G Haggard, DJ Pearce, G Royle ACM Transactions on Mathematical Software (TOMS) 37 (3), 1-17, 2010	54	2010
JPure: a modular purity system for Java DJ Pearce International Conference on Compiler Construction, 104-123, 2011	52	2011
Online cycle detection and difference propagation for pointer analysis DJ Pearce, PHJ Kelly, C Hankin Proceedings Third IEEE International Workshop on Source Code Analysis and …, 2003	52	2003
Caching and incrementalisation in the Java Query Language D Willis, DJ Pearce, J Noble ACM Conference on Object-Oriented Programming, Systems, Languages and …, 2008	50	2008
GILK: A dynamic instrumentation tool for the linux kernel DJ Pearce, PHJ Kelly, T Field, U Harder International Conference on Modelling Techniques and Tools for Computer …, 2002	46	2002
Online cycle detection and difference propagation: Applications to pointer analysis DJ Pearce, PHJ Kelly, C Hankin Software Quality Journal 12 (4), 311-337, 2004	41	2004
AspectJ for multilevel security R Ramachandran, DJ Pearce, I Welch Proceedings of the Fifth AOSD Workshop on Aspects, Components, and Patterns …, 2006	37	2006
Java bytecode verification for @NonNull types C Male, DJ Pearce, A Potanin, C Dymnikov Proceedings of the Joint European Conferences on Theory and Practice of …, 2008	35	2008
Whiley: a platform for research in software verification DJ Pearce, L Groves International Conference on Software Language Engineering, 238-248, 2013	31	2013
A dynamic algorithm for topologically sorting directed acyclic graphs DJ Pearce, PHJ Kelly International Workshop on Experimental and Efficient Algorithms, 383-398, 2004	31	2004
Sound and complete flow typing with unions, intersections and negations DJ Pearce International Conference on Verification, Model Checking, and Abstract …, 2013	28	2013
Patterns as objects in Grace M Homer, J Noble, KB Bruce, AP Black, DJ Pearce ACM SIGPLAN Notices 48 (2), 17-28, 2012	25	2012
Patterns of Aspect-Oriented Design. J Noble, A Schmidmeier, DJ Pearce, AP Black EuroPLoP, 769-796, 2007	23	2007
An improved algorithm for finding the strongly connected components of a directed graph DJ Pearce Victoria University, Wellington, NZ, Tech. Rep, 2005	22	2005

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs