George H. Mealy

4 papers and 389 indexed citations i.

George H. Mealy has authored 4 papers that have received a total of 389 indexed citations. This includes 2 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 2 papers in Hardware and Architecture. The topics of these papers are Embedded Systems Design Techniques (2 papers), Formal Methods in Verification (1 paper) and Peer-to-Peer Network Technologies (1 paper). George H. Mealy is often cited by papers focused on Embedded Systems Design Techniques (2 papers), Formal Methods in Verification (1 paper) and Peer-to-Peer Network Technologies (1 paper) and collaborates with scholars based in United States. George H. Mealy's co-authors include and and has published in prestigious journals such as Bell System Technical Journal and IBM Systems Journal