Alice Miller

发表

Bernd Porr, Ryan F. Kirwan, Alice Miller, 2013, Neural Computation.
Bernd Porr, Ryan F. Kirwan, Alice Miller, 2016, Formal Aspects of Computing.
Muffy Calder, Alice Miller, Alice Miller, 2001, SPIN '01.
Gethin Norman, Murray L. Ireland, Alice Miller, 2020, Formal Aspects of Computing.
Alice Miller, Oana Andrei, M. Calder, 2012 .
Alastair F. Donaldson, Alice Miller, Alice Miller, 2007 .
Alastair F. Donaldson, Alice Miller, Alice Miller, 2006, ATVA.
Alastair F. Donaldson, Alice Miller, Alice Miller, 2009, Annals of Mathematics and Artificial Intelligence.
Muffy Calder, Alice Miller, Alice Miller, 2008, Theor. Comput. Sci..
Mark Ryan, Michael Fisher, Sven Schewe, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Alastair F. Donaldson, Alice Miller, Alice Miller, 2008, Journal of Automated Reasoning.
Paolo Ballarini, Alice Miller, Alice Miller, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Muffy Calder, Alastair F. Donaldson, Alice Miller, 2006, CSUR.
Muffy Calder, Alice Miller, Alice Miller, 2006, Formal Methods Syst. Des..
Alice Miller, R. Kirwan, R. Kirwan, 2011 .
Patrick Prosser, Alice Miller, Peter Gregory, 2004 .
Chris W. Johnson, Alice Miller, Tingdi Zhao, 2016, Qual. Reliab. Eng. Int..
Sandor M. Veres, Gethin Norman, Murray L. Ireland, 2016, SPIN.
Yu Lu, Alice Miller, Alice Miller, 2012 .
Chris W. Johnson, Yu Lu, Alice Miller, 2014, Qual. Reliab. Eng. Int..
R. Kirwan, Alice Miller, 2010 .
Enrico Vicario, Luigi Sassoli, E. Vicario, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Alastair F. Donaldson, Alice Miller, Alice Miller, 2005, FM.
Muffy Calder, Alice Miller, Alice Miller, 2003, Objects, Agents, and Features.
Yu Lu, Alice Miller, Zhaoguang Peng, 2016, 2016 IEEE International Conference on Prognostics and Health Management (ICPHM).
Chris W. Johnson, Yu Lu, Alice Miller, 2014, 2014 IEEE 17th International Conference on Computational Science and Engineering.
Alice Miller, Paolo Ballarini, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).