Alice Miller

引用先

	すべて	2020 年以来
引用	1534	502
h 指標	21	13
i10 指標	41	18

140

105

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 13 15 18 34 39 64 69 77 76 47 83 67 46 76 94 37 63 70 63 95 98 97 122 27

オープンアクセス

すべて表示

13 件の論文

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
Avraham ItzhakovDepartment of Computer Science, Ben-Gurion University確認したメールアドレス: cs.bgu.ac.il
Cheryl E PraegerEmer. Professor of Mathematics, University of Western Australia確認したメールアドレス: uwa.edu.au
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	163	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	88	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	71	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 International Symposium on Automated Technology for Verification and …, 2006	58	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
Constraints for symmetry breaking in graph representation M Codish, A Miller, P Prosser, PJ Stuckey Constraints 24, 1-24, 2019	41	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	40	2015
Language-level symmetry reduction for probabilistic model checking AF Donaldson, A Miller, D Parker 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009	40	2009
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	39	2016
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
Breaking symmetries in graph representation M Codish, A Miller, P Prosser, A Stuckey	36	2013
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
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	29	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

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者