Anders Møller

Cited by

	All	Since 2019
Citations	7056	2436
h-index	41	27
i10-index	77	51

500

250

125

375

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202437 43 86 147 159 209 248 261 183 229 224 212 254 287 347 357 388 414 398 417 323 479 385 500 332

Public access

View all

32 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Simon Holm JensenSamsung Research AmericaVerified email at hjensen.net
Nils Klarlundre-bootingVerified email at ieee.org
Claus BrabrandFull Professor, Head of Center for Computing Education Research, IT University of CopenhagenVerified email at itu.dk
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Asger FeldthausPh.D. Student of Computer ScienceVerified email at cs.au.dk
Martin Toldam TorpAarhus UniversityVerified email at cs.au.dk
Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
Casper Svenning JensenGraduared Ph.D., Aarhus UniversityVerified email at cs.au.dk
Magnus MadsenAarhus UniversityVerified email at cs.au.dk
Benjamin Barslev NielsenPhD student, Aarhus UniversityVerified email at cs.au.dk
Christoffer Quist AdamsenAarhus UniversityVerified email at cs.au.dk
Gianluca MezzettiComputer Science Department, Aarhus UniversityVerified email at di.unipi.it
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Tian TanDepartment of Computer Science and Technology, Nanjing UniversityVerified email at nju.edu.cn
Yue LiDepartment of Computer Science and Technology, Nanjing UniversityVerified email at nju.edu.cn
Uday P. KhedkerProfessor of Computer Science, IIT BombayVerified email at cse.iitb.ac.in
Julian DolbyIBM Thomas J. Watson Research CenterVerified email at us.ibm.com

Anders Møller

Professor, Aarhus University

Verified email at cs.au.dk - Homepage

Programming Languages Software Engineering Program Analysis Static Analysis Software Testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Precise analysis of string expressions A Christensen, A Møller, M Schwartzbach Static Analysis, 10th International Symposium, SAS 2003, 1-18, 2003	626	2003
Type analysis for JavaScript S Jensen, A Møller, P Thiemann Static Analysis Symposium, 238-255, 2009	560	2009
The pointer assertion logic engine A Møller, MI Schwartzbach ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2001	377	2001
In defense of soundiness: a manifesto B Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ... Communications of the ACM 58 (2), 44-46, 2015	338	2015
A framework for automated testing of JavaScript web applications S Artzi, J Dolby, SH Jensen, A Møller, F Tip Proceeding of the 33rd International Conference on Software Engineering, 571-580, 2011	280	2011
Automated Testing with Targeted Event Sequence Generation CS Jensen, MR Prasad, A Møller International Symposium on Software Testing and Analysis, 2013	270	2013
Mona version 1.4: User manual N Klarlund, A Møller BRICS, Dept. of Computer Science, Univ. of Aarhus, 2001	235	2001
MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach International Journal of Foundations of Computer Science 13 (4), 571-586, 2002	222	2002
An introduction to XML and Web Technologies A Møller, MI Schwartzbach Addison Wesley Publishing Company, 2006	175	2006
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications SH Jensen, M Madsen, A Møller 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE …, 2011	171	2011
Extending Java for high-level Web service construction AS Christensen, A Møller, MI Schwartzbach ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (6), 814-875, 2003	167	2003
The <bigwig> project C Brabrand, A Møller, MI Schwartzbach ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002	145*	2002
dk.brics.automaton - finite-state automata and regular expressions for Java A Møller http://www.brics.dk/automaton/, 2010	144*	2010
Determinacy in Static Analysis of jQuery E Andreasen, A Møller Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented …, 2014	142	2014
Remedying the Eval that Men Do SH Jensen, PA Jonsson, A Møller International Symposium on Software Testing and Analysis, 2012	142	2012
Systematic Execution of Android Test Suites in Adverse Conditions CQ Adamsen, G Mezzetti, A Møller International Symposium on Software Testing and Analysis (ISSTA), 2015	138	2015
DSD: A schema language for XML N Klarlund, A Møller, MI Schwartzbach Proceedings of the third workshop on Formal methods in software practice …, 2000	134	2000
Mona 1. x: new techniques for WS1S and WS2S J Elgaard, N Klarlund, A Møller Computer Aided Verification, 516-520, 1998	116	1998
Static analysis of XML transformations in Java C Kirkegaard, A Møller, MI Schwartzbach Software Engineering, IEEE Transactions on 30 (3), 181-192, 2004	113	2004
Static Program Analysis A Møller, MI Schwartzbach Department of Computer Science, Aarhus University, Denmark, 2012	110	2012

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

Follow

Cited by

Co-authors