×
Author ID: miller.alice-ann Recent zbMATH articles by "Miller, Alice Ann"
Published as: Miller, Alice; Miller, A.; Miller, Alice Ann
External Links: ORCID

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 69 times in 57 Documents Cited by Year
A feedback finite element method with a posteriori error estimation. I: The finite element method and some basic properties of the a posteriori error estimator. Zbl 0593.65064
Babuška, Ivo; Miller, A.
117
1987
The post-processing approach in the finite element method. I. Calculation of displacements, stresses and other higher derivatives of the displacements. Zbl 0535.73052
Babuška, Ivo; Miller, A.
93
1984
The post-processing approach in the finite element method. II. The calculation of stress intensity factors. Zbl 0535.73053
Babuška, Ivo; Miller, A.
71
1984
The post-processing approach in the finite element method. III. A posteriori error estimates and adaptive mesh selection. Zbl 0571.73074
Babuška, Ivo; Miller, A.
54
1984
Non-Cayley vertex-transitive graphs of order twice the product of two odd primes. Zbl 0794.05046
Miller, Alice Ann; Praeger, Cheryl E.
19
1994
Adaptive methods and error estimation for elliptic problems of structural mechanics. Zbl 0581.73080
Babuška, Ivo; Miller, A.; Vogelius, M.
11
1983
Symmetry reduction for probabilistic model checking using generic representatives. Zbl 1161.68564
Donaldson, Alastair F.; Miller, Alice
9
2006
Automatic symmetry detection for model checking using computational group theory. Zbl 1120.68414
Donaldson, A. F.; Miller, A.
9
2005
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
8
2019
Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking. Zbl 1368.05046
Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice
6
2016
Generating functions for finite group actions on surfaces. Zbl 0916.57022
MacLachlan, C.; Miller, A.
6
1998
Diamond-free degree sequence. Zbl 1301.05338
Miller, Alice; Prosser, Patrick
3
2012
Feature interaction detection by pairwise analysis of LTL properties – A case study. Zbl 1103.68377
Calder, Muffy; Miller, Alice
2
2006
An automatic abstraction technique for verifying featured, parameterised systems. Zbl 1293.68191
Calder, M.; Miller, A.
2
2008
Detecting feature interactions: How many components do we need? Zbl 1082.68528
Calder, Muffy; Miller, Alice
2
2004
Using SPIN for feature interaction analysis – a case study. Zbl 0985.68665
Calder, Muffy; Miller, Alice
2
2001
On the constructive orbit problem. Zbl 1205.68220
Donaldson, Alastair F.; Miller, Alice
2
2009
Automatic symmetry detection for Promela. Zbl 1191.68411
Donaldson, Alastair F.; Miller, Alice
1
2008
An inductive technique for parameterised model checking of degenerative distributed randomised protocols. Zbl 1339.68167
Graham, Douglas; Calder, Muffy; Miller, Alice
1
2009
Extending symmetry reduction techniques to a realistic model of computation. Zbl 1335.68135
Donaldson, Alastair F.; Miller, Alice
1
2007
Finding symmetry in models of concurrent systems by static channel diagram analysis. Zbl 1272.68299
Donaldson, Alastair F.; Miller, Alice; Calder, Muffy
1
2005
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol. Zbl 1029.68013
Calder, M.; Miller, A.
1
2002
Constraints for symmetry breaking in graph representation. Zbl 1425.05099
Codish, Michael; Miller, Alice; Prosser, Patrick; Stuckey, Peter J.
8
2019
Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking. Zbl 1368.05046
Codish, Michael; Frank, Michael; Itzhakov, Avraham; Miller, Alice
6
2016
Diamond-free degree sequence. Zbl 1301.05338
Miller, Alice; Prosser, Patrick
3
2012
On the constructive orbit problem. Zbl 1205.68220
Donaldson, Alastair F.; Miller, Alice
2
2009
An inductive technique for parameterised model checking of degenerative distributed randomised protocols. Zbl 1339.68167
Graham, Douglas; Calder, Muffy; Miller, Alice
1
2009
An automatic abstraction technique for verifying featured, parameterised systems. Zbl 1293.68191
Calder, M.; Miller, A.
2
2008
Automatic symmetry detection for Promela. Zbl 1191.68411
Donaldson, Alastair F.; Miller, Alice
1
2008
Extending symmetry reduction techniques to a realistic model of computation. Zbl 1335.68135
Donaldson, Alastair F.; Miller, Alice
1
2007
Symmetry reduction for probabilistic model checking using generic representatives. Zbl 1161.68564
Donaldson, Alastair F.; Miller, Alice
9
2006
Feature interaction detection by pairwise analysis of LTL properties – A case study. Zbl 1103.68377
Calder, Muffy; Miller, Alice
2
2006
Automatic symmetry detection for model checking using computational group theory. Zbl 1120.68414
Donaldson, A. F.; Miller, A.
9
2005
Finding symmetry in models of concurrent systems by static channel diagram analysis. Zbl 1272.68299
Donaldson, Alastair F.; Miller, Alice; Calder, Muffy
1
2005
Detecting feature interactions: How many components do we need? Zbl 1082.68528
Calder, Muffy; Miller, Alice
2
2004
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol. Zbl 1029.68013
Calder, M.; Miller, A.
1
2002
Using SPIN for feature interaction analysis – a case study. Zbl 0985.68665
Calder, Muffy; Miller, Alice
2
2001
Generating functions for finite group actions on surfaces. Zbl 0916.57022
MacLachlan, C.; Miller, A.
6
1998
Non-Cayley vertex-transitive graphs of order twice the product of two odd primes. Zbl 0794.05046
Miller, Alice Ann; Praeger, Cheryl E.
19
1994
A feedback finite element method with a posteriori error estimation. I: The finite element method and some basic properties of the a posteriori error estimator. Zbl 0593.65064
Babuška, Ivo; Miller, A.
117
1987
The post-processing approach in the finite element method. I. Calculation of displacements, stresses and other higher derivatives of the displacements. Zbl 0535.73052
Babuška, Ivo; Miller, A.
93
1984
The post-processing approach in the finite element method. II. The calculation of stress intensity factors. Zbl 0535.73053
Babuška, Ivo; Miller, A.
71
1984
The post-processing approach in the finite element method. III. A posteriori error estimates and adaptive mesh selection. Zbl 0571.73074
Babuška, Ivo; Miller, A.
54
1984
Adaptive methods and error estimation for elliptic problems of structural mechanics. Zbl 0581.73080
Babuška, Ivo; Miller, A.; Vogelius, M.
11
1983
all top 5

Cited by 108 Authors

8 Miller, Alice Ann
7 Zhou, Jinxin
6 Codish, Michael
5 Donaldson, Alastair F.
5 Feng, Yanquan
4 Calder, Muffy
4 Itzhakov, Avraham
3 Li, Caiheng
3 Marušič, Dragan
3 Wahl, Thomas
2 Fisher, Michael
2 Jajcay, Robert
2 Kröning, Daniel
2 Kutnar, Klavdija
2 Kwiatkowska, Marta Z.
2 Seress, Ákos
1 Attie, Paul C.
1 Baier, Christel
1 Basler, Gérard
1 Bright, Curtis
1 Broda, Krysia B.
1 Bundala, Daniel
1 Chang, Mun See
1 Chartrand, Gary Theodore
1 Cheng, Huiwen
1 Cheung, Kevin K. H.
1 Cocke, William L.
1 Cruz-Filipe, Luís
1 Dalla Volta, Francesca
1 de Alfaro, Luca
1 Dehnert, Christian
1 Dixon, Clare
1 Dobson, Edward
1 Donaldson, Robin A.
1 D’silva, Vijay
1 Forejt, Vojtěch
1 Frank, Michael
1 Frenkel, S. L.
1 Furelos-Blanco, Daniel
1 Gainer, Paul
1 Ganesh, Vijay
1 Gay, Simon J.
1 Gebler, Daniel E.
1 Ghasemi, Mohsen
1 Graham, Douglas
1 Guo, Yuhong
1 Heath, John R.
1 Heule, Marijn J. H.
1 Hustadt, Ullrich
1 Iranmanesh, Mohammad Ali
1 Jaghoori, Mohammad Mahdi
1 Jansen, David N.
1 Jefferson, Christopher
1 Jonsson, Anders
1 Kaiser, Alexander D.
1 Kane, Jeffrey
1 Khamespanah, Ehsan
1 Kirwan, Ryan
1 Konev, Boris
1 Konnov, Igor V.
1 Kotsireas, Ilias S.
1 Kwon, Young Soo
1 Law, Mark M.
1 Leuschel, Michael
1 Li, Na
1 Li, Yantao
1 Lin, Anthony Widjaja
1 Linker, Sven
1 Lisitsa, Alexei P.
1 Lu, Zaiping
1 Malnič, Aleksander
1 Massart, Thierry Jacques
1 Mazzucchi, Michele
1 Mironov, Andrew M.
1 Mousavi, Mohammadreza
1 Movaghar, Ali
1 Naumov, Pavel G.
1 Norman, Gethin
1 Patel, Dhiren
1 Patel, Kevin
1 Patel, Reema
1 Peitl, Tomáš
1 Pirovano, Edoardo
1 Porr, Bernd
1 Praeger, Cheryl Elisabeth
1 Prosser, Patrick
1 Qiao, Sha
1 Roy, Dominique
1 Russo, Alessandra M.
1 Schneider-Kamp, Peter
1 Siemons, Johannes
1 Sirjani, Marjan
1 Stevens, Brett
1 Stuckey, Peter James
1 Szeider, Stefan
1 Tautschnig, Michael
1 Tymchyshyn, Oksana
1 Volpato, Michele
1 Wang, Gaixia
1 Xu, Mingyao
...and 8 more Authors

Citations by Year