Anders Møller

Cited by

	All	Since 2018
Citations	6378	2189
h-index	38	26
i10-index	77	51

480

240

120

360

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202337 44 81 139 163 203 234 242 182 236 219 221 253 295 349 348 385 418 404 408 344 465 386 182

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Nils Klarlundre-bootingVerified email at ieee.org
Simon Holm JensenSamsung Research AmericaVerified email at hjensen.net
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
Martin Toldam TorpAarhus UniversityVerified email at cs.au.dk
Benjamin Barslev NielsenPhD student, Aarhus UniversityVerified email at cs.au.dk
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
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
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
Julian DolbyIBM Thomas J. Watson Research CenterVerified email at us.ibm.com
Shay ArtziAmazonVerified email at amazon.com
Uday P. KhedkerProfessor of Computer Science, IIT BombayVerified email at cse.iitb.ac.in
Mathias SchwarzDatalogi, AarhusVerified email at cs.au.dk

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

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