by Jing, Yaping, Miner, Andrew S.
Published in Formal aspects of computing (01.08.2018)

by Gerten, Michael C., Marsh, Alexis L., Lathrop, James I., Cohen, Myra B., Miner, Andrew S., Klinge, Titus H.
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)

by Wan, Min, Ciardo, Gianfranco, Miner, Andrew S.
Published in Performance evaluation (01.05.2011)

by Ciardo, Gianfranco, Lüttgen, Gerald, Miner, Andrew S.
Published in Formal methods in system design (01.08.2007)

by Miner, A.S.
Published in IEEE transactions on software engineering (01.08.2006)

by S. Miner, Andrew
Published in Performance evaluation (01.03.2004)

by Amparore, Elvio G., Ciardo, Gianfranco, Miner, Andrew S.
Published in Linear algebra and its applications (15.10.2022)

by Biswal, Shruti, Miner, Andrew S.
Published in Reachability Problems (2020)

by Biswal, Shruti, Miner, Andrew S.
Published in Application and Theory of Petri Nets and Concurrency (2019)

by Jing, Yaping, Miner, Andrew S.
Published in Quantitative Evaluation of Systems (2018)

by Miner, Andrew S., Jing, Yaping
Published in Analytical and Stochastic Modeling Techniques and Applications (2010)

by Babar, Junaid, Miner, Andrew S.
Published in Computer Performance Engineering (2014)

by Miner, Andrew S.
Published in Proceedings in applied mathematics and mechanics (01.12.2007)

by Miner, A.S.
Published in Proceedings International Conference on Dependable Systems and Networks (2002)

by Ciardo, G., Miner, A.S.
Published in Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) (1999)

by Miner, A.S.
Published in Proceedings 9th International Workshop on Petri Nets and Performance Models (2001)

by Miner, A.S.
Published in 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings (2003)

by Ellis, Samuel J, Klinge, Titus H, Lathrop, James I, Lutz, Jack H, Lutz, Robyn R, Miner, Andrew S, Potter, Hugh D
Year of Publication 25.10.2017

by Miner, Andrew S., Basu, Samik
Published in Proceedings of the 20th international conference on Parallel and distributed processing (25.04.2006)

by Ellis, Samuel J, Klinge, Titus H, Lathrop, James I, Lutz, Jack H, Lutz, Robyn R, Miner, Andrew S, Potter, Hugh D
Published in arXiv.org (23.07.2018)