Alice Miller

Cited by

	All	Since 2019
Citations	1473	513
h-index	21	13
i10-index	42	18

120

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 13 15 18 34 38 65 68 76 73 51 83 67 47 80 95 36 61 70 58 95 94 106 89

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Muffy CalderProfessor of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
Yu LuShenzhen Technology University | National University of SingaporeVerified email at sztu.edu.cn
Chris JohnsonPro Vice Chancellor, Engineering and Physical Sciences, Queen's University Belfast.Verified email at qub.ac.uk
Tingdi ZhaoProfessor, Beihang UniversityVerified email at stu.ccit.edu.cn
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Patrick ProsserComputing Science, GlasgowVerified email at dcs.gla.ac.uk
Ruth HoffmannSchool of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Murray IrelandHead of Autonomous Systems, Craft ProspectVerified email at craftprospect.com
William KavanaghLecturer, Abertay UniversityVerified email at abertay.ac.uk
Ryan KirwanAssistant Professor, Singapore Institute of TechnologyVerified email at SingaporeTech.edu.sg
Bernd PorrUniversity of GlasgowVerified email at glasgow.ac.uk
Michael FrankDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at post.bgu.ac.il
Philip D. GraySchool of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Cheryl E PraegerEmer. Professor of Mathematics, University of Western AustraliaVerified email at uwa.edu.au
Avraham ItzhakovDepartment of Computer Science, Ben-Gurion UniversityVerified email at cs.bgu.ac.il
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk

Alice Miller

Professor, University of Glasgow

Verified email at glasgow.ac.uk - Homepage

Formal Verification Artificial Intelligence Group Theory modelling


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Symmetry in temporal logic model checking A Miller, A Donaldson, M Calder ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006	161	2006
Risk assessment of railway transportation systems using timed fault trees Z Peng, Y Lu, A Miller, C Johnson, T Zhao Quality and reliability engineering international 32 (1), 181-194, 2016	85	2016
Rapid development of improved data-dependent acquisition strategies V Davies, J Wandy, S Weidt, JJJ Van Der Hooft, A Miller, R Daly, ... Analytical chemistry 93 (14), 5676-5683, 2021	62	2021
Feature interaction detection by pairwise analysis of LTL properties—a case study M Calder, A Miller Formal Methods in System Design 28, 213-261, 2006	62	2006
Using SPIN for feature interaction analysis-a case study M Calder, A Miller Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001	62	2001
Symmetry reduction for probabilistic model checking using generic representatives AF Donaldson, A Miller Automated Technology for Verification and Analysis: 4th International …, 2006	59	2006
Model checking medium access control for sensor networks P Ballarini, A Miller Second international symposium on leveraging applications of formal methods …, 2006	57	2006
Automatic symmetry detection for model checking using computational group theory AF Donaldson, A Miller FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005	52	2005
Language-level symmetry reduction for probabilistic model checking AF Donaldson, A Miller, D Parker 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009	41	2009
Exact and approximate strategies for symmetry reduction in model checking AF Donaldson, A Miller FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006	36	2006
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker AF Donaldson, A Miller Algebraic Methodology and Software Technology: 11th International Conference …, 2006	36	2006
Non-Cayley vertex-transitive graphs of order twice the product of two odd primes AA Miller, CE Praeger Journal of Algebraic Combinatorics 3, 77-111, 1994	36	1994
Breaking symmetries in graph representation M Codish, A Miller, P Prosser, A Stuckey	35	2013
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification Y Lu, Z Peng, AA Miller, T Zhao, CW Johnson Reliability Engineering & System Safety 144, 95-116, 2015	34	2015
Constraints for symmetry breaking in graph representation M Codish, A Miller, P Prosser, PJ Stuckey Constraints 24, 1-24, 2019	32	2019
Computing the Ramsey number R (4, 3, 3) using abstraction and symmetry breaking M Codish, M Frank, A Itzhakov, A Miller Constraints 21, 375-393, 2016	32	2016
Towards verifying correctness of wireless sensor network applications using insense and spin O Sharma, J Lewis, A Miller, A Dearle, D Balasubramaniam, R Morrison, ... Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009	32	2009
Towards the verification of pervasive systems M Arapinis, M Calder, L Dennis, M Fisher, P Gray, S Konur, A Miller, ... Electronic Communications of the EASST 22, 2009	28	2009
Automatic symmetry detection for promela AF Donaldson, A Miller Journal of Automated Reasoning 41, 251-293, 2008	23	2008
Generalising feature interactions in email M Calder, A Miller IOS Press, 2003	22	2003

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