by Hardin, David S., Davis, Jennifer A., Greve, David A., McClurg, Jedidiah R.
Published in Electronic proceedings in theoretical computer science (04.06.2014)

by GREVE, DAVID A., KAUFMANN, MATT, MANOLIOS, PANAGIOTIS, MOORE, J STROTHER, RAY, SANDIP, RUIZ-REINA, JOSÉ LUIS, SUMNERS, ROB, VROON, DARON, WILDING, MATTHEW
Published in Journal of functional programming (01.01.2008)

by Greve, David A, Coppa, Ryan J
Year of Publication 14.06.2022

by Greve David A, Marek James
Year of Publication 11.10.2016

by Greve, David A, Coppa, Ryan J, Ryon, Luke E, Goetzman, Charles E
Year of Publication 14.01.2021

by GOETZMAN, Charles E, RYON, Luke E, COPPA, Ryan J, GREVE, David A
Year of Publication 13.01.2021

by Hardin, David S, Davis, Jennifer A, Greve, David A, McClurg, Jedidiah R
Published in arXiv.org (06.06.2014)

by GREVE DAVID A
Year of Publication 17.05.2005

by Greve, David A
Year of Publication 17.05.2005

by GREVE; DAVID A
Year of Publication 10.03.1998

by MAREK JAMES A, GREVE DAVID A
Year of Publication 06.04.2006

by WILDING MATTHEW M, HARDIN DAVID S, KIM SUNG J, GREVE DAVID A
Year of Publication 20.10.2009

by Hardin, David S, Greve, David A, Kim, Sung J, Wilding, Matthew M
Year of Publication 20.10.2009

by Wilding, M.M., Hardin, D.S., Greve, D.A.
Published in Dependable Computing for Critical Applications 7 (1999)

by Greve, David A, Wilding, Matthew M
Published in Electronic engineering times (12.01.1998)

by MYKRIS NICK M, MASTERS MICHAEL H, GEE JOHN K, WILDING MATTHEW M, MASS ALLEN P, HARDIN DAVID S, GREVE DAVID A
Year of Publication 16.04.2002

by Gee, John K, Greve, David A, Hardin, David S, Mass, Allen P, Masters, Michael H, Mykris, Nick M, Wilding, Matthew M
Year of Publication 16.04.2002

by HIRATZKA T. DOUGLAS, MYKRIS NICK M, MASTERS MICHAEL H, GEE JOHN K, MASS ALLEN P, HARDIN DAVID S, GREVE DAVID A, KAMIN RAYMOND A
Year of Publication 13.11.2001

by GREVE, DAVID, G, WHEELWRIGHT BRIAN, KELLY, KEVIN, C
Year of Publication 13.09.2022