Anders Møller 个人学术档案

引用次数

	总计	2019 年至今
引用	6906	2296
h 指数	41	26
i10 指数	77	51

520

260

130

390

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202437 44 86 147 158 209 248 261 183 229 224 212 252 287 346 357 386 413 397 417 321 473 383 501 201

开放获取的出版物数量

查看全部

33 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Michael SchwartzbachProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Simon Holm JensenSamsung Research America在 hjensen.net 的电子邮件经过验证
Nils Klarlundre-booting在 ieee.org 的电子邮件经过验证
Claus BrabrandFull Professor, Head of Center for Computing Education Research, IT University of Copenhagen在 itu.dk 的电子邮件经过验证
Frank TipProfessor, Northeastern University在 northeastern.edu 的电子邮件经过验证
Manu SridharanProfessor, Computer Science and Engineering, University of California, Riverside在 sridharan.net 的电子邮件经过验证
Asger FeldthausPh.D. Student of Computer Science在 cs.au.dk 的电子邮件经过验证
Casper Svenning JensenGraduared Ph.D., Aarhus University在 cs.au.dk 的电子邮件经过验证
Yannis SmaragdakisUniversity of Athens在 di.uoa.gr 的电子邮件经过验证
Martin Toldam TorpAarhus University在 cs.au.dk 的电子邮件经过验证
Magnus MadsenAarhus University在 cs.au.dk 的电子邮件经过验证
Benjamin Barslev NielsenPhD student, Aarhus University在 cs.au.dk 的电子邮件经过验证
Christoffer Quist AdamsenAarhus University在 cs.au.dk 的电子邮件经过验证
Gianluca MezzettiComputer Science Department, Aarhus University在 di.unipi.it 的电子邮件经过验证
Peter ThiemannProfessor of Computer Science, University of Freiburg在 informatik.uni-Freiburg.de 的电子邮件经过验证
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado Boulder在 cs.colorado.edu 的电子邮件经过验证
Tian TanDepartment of Computer Science and Technology, Nanjing University在 nju.edu.cn 的电子邮件经过验证
Yue LiDepartment of Computer Science and Technology, Nanjing University在 nju.edu.cn 的电子邮件经过验证
Uday P. KhedkerProfessor of Computer Science, IIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证
Julian DolbyIBM Thomas J. Watson Research Center在 us.ibm.com 的电子邮件经过验证

关注

Anders Møller

Professor, Aarhus University

在 cs.au.dk 的电子邮件经过验证 - 首页

Programming Languages Software Engineering Program Analysis Static Analysis Software Testing


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Precise analysis of string expressions A Christensen, A Møller, M Schwartzbach Static Analysis, 10th International Symposium, SAS 2003, 1-18, 2003	623	2003
Type analysis for JavaScript S Jensen, A Møller, P Thiemann Static Analysis Symposium, 238-255, 2009	546	2009
The pointer assertion logic engine A Møller, MI Schwartzbach ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2001	375	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	326	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	273	2011
Automated Testing with Targeted Event Sequence Generation CS Jensen, MR Prasad, A Møller International Symposium on Software Testing and Analysis, 2013	268	2013
Mona version 1.4: User manual N Klarlund, A Møller BRICS, Dept. of Computer Science, Univ. of Aarhus, 2001	233	2001
MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach International Journal of Foundations of Computer Science 13 (4), 571-586, 2002	219	2002
An introduction to XML and Web Technologies A Møller, MI Schwartzbach Addison Wesley Publishing Company, 2006	174	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	168	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	166	2003
The <bigwig> project C Brabrand, A Møller, MI Schwartzbach ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002	145*	2002
Remedying the Eval that Men Do SH Jensen, PA Jonsson, A Møller International Symposium on Software Testing and Analysis, 2012	142	2012
Determinacy in Static Analysis of jQuery E Andreasen, A Møller Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented …, 2014	141	2014
dk.brics.automaton - finite-state automata and regular expressions for Java A Møller http://www.brics.dk/automaton/, 2010	139*	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	136	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	115	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	102	2012

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用