Alice Miller

引用次数

	总计	2020 年至今
引用	1523	491
h 指数	22	13
i10 指数	42	18

120

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 13 15 18 34 38 65 68 76 73 51 83 67 47 80 95 36 61 70 58 95 97 106 118 17

开放获取的出版物数量

查看全部

14 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Muffy CalderProfessor of Computing Science, University of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
Alastair DonaldsonImperial College London在 imperial.ac.uk 的电子邮件经过验证
Yu LuShenzhen Technology University在 sztu.edu.cn 的电子邮件经过验证
Chris JohnsonPro Vice Chancellor, Engineering and Physical Sciences, Queen's University Belfast.在 qub.ac.uk 的电子邮件经过验证
Tingdi ZhaoProfessor, Beihang University在 stu.ccit.edu.cn 的电子邮件经过验证
Michael CodishDepartment of Computer Science, Ben-Gurion University of the Negev在 cs.bgu.ac.il 的电子邮件经过验证
Patrick ProsserComputing Science, Glasgow在 dcs.gla.ac.uk 的电子邮件经过验证
Ruth HoffmannSchool of Computer Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Science在 glasgow.ac.uk 的电子邮件经过验证
Murray IrelandHead of Autonomous Systems, Craft Prospect在 craftprospect.com 的电子邮件经过验证
William KavanaghLecturer, Abertay University在 abertay.ac.uk 的电子邮件经过验证
Bernd PorrUniversity of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
Ryan KirwanAssistant Professor, Singapore Institute of Technology在 SingaporeTech.edu.sg 的电子邮件经过验证
Michael FrankDepartment of Computer Science, Ben-Gurion University of the Negev在 post.bgu.ac.il 的电子邮件经过验证
Philip D. GraySchool of Computing Science, University of Glasgow在 glasgow.ac.uk 的电子邮件经过验证
Peter StuckeyFaculty of Information Technology, Monash University在 monash.edu 的电子邮件经过验证
Cheryl E PraegerEmer. Professor of Mathematics, University of Western Australia在 uwa.edu.au 的电子邮件经过验证
Avraham ItzhakovDepartment of Computer Science, Ben-Gurion University在 cs.bgu.ac.il 的电子邮件经过验证
David ParkerProfessor of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Michael FisherProfessor of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证

关注

Alice Miller

Professor, University of Glasgow

在 glasgow.ac.uk 的电子邮件经过验证 - 首页

Formal Verification Artificial Intelligence Group Theory modelling


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Symmetry in temporal logic model checking A Miller, A Donaldson, M Calder ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006	165	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	87	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	69	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	63	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
Constraints for symmetry breaking in graph representation M Codish, A Miller, P Prosser, PJ Stuckey Constraints 24, 1-24, 2019	39	2019
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	37	2015
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	37	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	37	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
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	35	2016
Breaking symmetries in graph representation M Codish, A Miller, P Prosser, A Stuckey	35	2013
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	24	2008
A probabilistic model checking approach to analysing reliability, availability, and maintainability of a single satellite system Z Peng, Y Lu, A Miller, C Johnson, T Zhao 2013 European Modelling Symposium, 611-616, 2013	23	2013

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者