Anders Møller

Cited by

	All	Since 2016
Citations	5375	2022
h-index	35	23
i10-index	60	39

440

220

110

330

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202142 40 80 137 157 203 230 246 170 230 220 224 252 291 351 345 381 406 393 422 336 82

Public access

View all

30 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
Claus BrabrandAssociate Professor, Head of Center for Computing Education Research, IT University of CopenhagenVerified email at itu.dk
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
Asger FeldthausPh.D. Student of Computer ScienceVerified email at cs.au.dk
Casper Svenning JensenGraduared Ph.D., Aarhus UniversityVerified email at cs.au.dk
Magnus MadsenAarhus UniversityVerified email at cs.au.dk
Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
Christoffer Quist AdamsenAarhus UniversityVerified email at cs.au.dk
Gianluca MezzettiComputer Science Department, Aarhus UniversityVerified email at di.unipi.it
Manu SridharanAssociate Professor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Julian DolbyIBM Thomas J. Watson Research CenterVerified email at us.ibm.com
Shay ArtziAmazonVerified email at amazon.com
Mathias SchwarzDatalogi, AarhusVerified email at cs.au.dk
Martin Toldam TorpPhD student, Aarhus UniversityVerified email at cs.au.dk
Benjamin Barslev NielsenPhD student, Aarhus UniversityVerified email at cs.au.dk
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Uday P. KhedkerProfessor of Computer Science, IIT BombayVerified email at cse.iitb.ac.in
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu

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	560	2003
Type analysis for JavaScript S Jensen, A Møller, P Thiemann Static Analysis Symposium, 238-255, 2009	395	2009
The pointer assertion logic engine A Møller, MI Schwartzbach ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2001	360	2001
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	233	2011
Automated Testing with Targeted Event Sequence Generation CS Jensen, MR Prasad, A Møller International Symposium on Software Testing and Analysis, 2013	227	2013
Mona version 1.4: User manual N Klarlund, A Møller BRICS, Dept. of Computer Science, Univ. of Aarhus, 2001	223	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	201	2015
MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach International Journal of Foundations of Computer Science 13 (4), 571-586, 2002	197	2002
An introduction to XML and Web Technologies A Møller, MI Schwartzbach Addison Wesley Publishing Company, 2006	162*	2006
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	154	2003
The <bigwig> project C Brabrand, A Møller, MI Schwartzbach ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002	147*	2002
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	141	2011
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	128	2000
dk.brics.automaton - finite-state automata and regular expressions for Java A Møller http://www.brics.dk/automaton/, 2010	114*	2010
Remedying the Eval that Men Do SH Jensen, PA Jonsson, A Møller International Symposium on Software Testing and Analysis, 2012	112	2012
Determinacy in Static Analysis of jQuery E Andreasen, A Møller Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented …, 2014	106	2014
Static analysis of XML transformations in Java C Kirkegaard, A Møller, MI Schwartzbach Software Engineering, IEEE Transactions on 30 (3), 181-192, 2004	106	2004
Mona 1. x: new techniques for WS1S and WS2S J Elgaard, N Klarlund, A Møller Computer Aided Verification, 516-520, 1998	104	1998
Powerforms: Declarative client-side form field validation C Brabrand, A Møller, M Ricky, MI Schwartzbach World Wide Web 3 (4), 205-214, 2000	94	2000
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	90	2015

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

Upload PDF

Follow this author

Cited by

Co-authors