by Hinchey, M.G., Pressburger, T., Feather, M.S., Markosian, L., Deadrick, W.
Published in Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) (01.11.2006)

by Rash, J.L., Hinchey, M.G., Gracanin, D., Rouff, C.A.
Published in 2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05) (2005)

by HINCHEY MICHAEL G, STEFFEN BERNARD, RASH JAMES L, ROUFF CHRISTOPHER A, MARGARIA TIZIANA
Year of Publication 12.07.2007

by HINCHEY MICHAEL G, GRACANIN DENIS, RASH JAMES L, ROUFF CHRISTOPHER A
Year of Publication 29.03.2007

by Rash, J.L., Hinchey, M.G., Rouff, C.A.
Published in 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) (2005)

by Rash, J.L., Hinchey, M.G., Rouff, C.A., Gracanin, D., Erickson, J.
Published in 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) (2005)

by Margaria, Tiziana, Hinchey, Michael G., Raffelt, Harald, Rash, James L., Rouff, Christopher A., Steffen, Bernhard
Published in Biologically Inspired Cooperative Computing

by Gracanin, D., Singh, H.L., Hinchey, M.G., Eltoweissy, M., Bohner, S.A.
Published in 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) (2005)

by Rouff, C.A., Hinchey, M.G., Rash, J.L., Truszkowski, W.F.
Published in 29th Annual IEEE/NASA Software Engineering Workshop (2005)

by Rouff, Christopher A., Rash, James L., Hinchey, Michael G., Truszkowski, Walter F.
Published in Agent Technology from a Formal Perspective

by Bowen, J.P., Hinchey, M.G.
Published in Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97) (1997)

by Hinchey, M.G., Jarvis, S.A.
Published in Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering '93 (1993)