Anders Møller

Citée par

	Toutes	Depuis 2020
Citations	7266	2199
indice h	41	26
indice i10	78	50

520

260

130

390

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202540 43 84 143 160 213 254 263 186 223 225 227 258 291 343 356 388 410 405 420 326 482 389 511 438 53

Accès public

Tout afficher

32 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Simon Holm JensenSamsung Research AmericaAdresse e-mail validée de hjensen.net
Nils Klarlundre-bootingAdresse e-mail validée de ieee.org
Claus BrabrandProfessor, Head of Center for Computing Education Research, IT University of CopenhagenAdresse e-mail validée de itu.dk
Frank TipProfessor, Northeastern UniversityAdresse e-mail validée de northeastern.edu
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideAdresse e-mail validée de sridharan.net
Asger FeldthausPh.D. Student of Computer ScienceAdresse e-mail validée de cs.au.dk
Martin Toldam TorpAarhus UniversityAdresse e-mail validée de cs.au.dk
Yannis SmaragdakisUniversity of AthensAdresse e-mail validée de di.uoa.gr
Casper Svenning JensenGraduared Ph.D., Aarhus UniversityAdresse e-mail validée de cs.au.dk
Magnus MadsenAarhus UniversityAdresse e-mail validée de cs.au.dk
Benjamin Barslev NielsenPhD student, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Christoffer Quist AdamsenAarhus UniversityAdresse e-mail validée de cs.au.dk
Gianluca MezzettiComputer Science Department, Aarhus UniversityAdresse e-mail validée de di.unipi.it
Peter ThiemannProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-Freiburg.de
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderAdresse e-mail validée de cs.colorado.edu
Tian TanDepartment of Computer Science and Technology, Nanjing UniversityAdresse e-mail validée de nju.edu.cn
Yue LiDepartment of Computer Science and Technology, Nanjing UniversityAdresse e-mail validée de nju.edu.cn
Uday P. KhedkerProfessor of Computer Science, IIT BombayAdresse e-mail validée de cse.iitb.ac.in
Julian DolbyIBM Thomas J. Watson Research CenterAdresse e-mail validée de us.ibm.com

Suivre

Anders Møller

Professor, Aarhus University

Adresse e-mail validée de cs.au.dk - Page d'accueil

Programming Languages Software Engineering Program Analysis Static Analysis Software Testing


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Precise analysis of string expressions A Christensen, A Møller, M Schwartzbach Static Analysis, 10th International Symposium, SAS 2003, 1-18, 2003	625	2003
Type analysis for JavaScript S Jensen, A Møller, P Thiemann Static Analysis Symposium, 238-255, 2009	579	2009
The pointer assertion logic engine A Møller, MI Schwartzbach ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2001	381	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	360	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	288	2011
Automated Testing with Targeted Event Sequence Generation CS Jensen, MR Prasad, A Møller International Symposium on Software Testing and Analysis, 2013	275	2013
Mona version 1.4: User manual N Klarlund, A Møller BRICS, Dept. of Computer Science, Univ. of Aarhus, 2001	243	2001
MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach International Journal of Foundations of Computer Science 13 (4), 571-586, 2002	226	2002
An introduction to XML and Web Technologies A Møller, MI Schwartzbach Addison Wesley Publishing Company, 2006	178	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	173	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	163	2003
dk.brics.automaton - finite-state automata and regular expressions for Java A Møller http://www.brics.dk/automaton/, 2010	152*	2010
The <bigwig> project C Brabrand, A Møller, MI Schwartzbach ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002	149*	2002
Determinacy in Static Analysis of jQuery E Andreasen, A Møller Proceedings of the 29th Annual ACM SIGPLAN Conference on Object-Oriented …, 2014	147	2014
Remedying the Eval that Men Do SH Jensen, PA Jonsson, A Møller International Symposium on Software Testing and Analysis, 2012	145	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	143	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	133	2000
Static Program Analysis A Møller, MI Schwartzbach Department of Computer Science, Aarhus University, Denmark, 2012	122	2012
Mona 1. x: new techniques for WS1S and WS2S J Elgaard, N Klarlund, A Møller Computer Aided Verification, 516-520, 1998	119	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	116	2004

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs