Matthew Fluet

28 papers and 165 indexed citations i.

Matthew Fluet has authored 28 papers that have received a total of 165 indexed citations. This includes 18 papers in Hardware and Architecture, 17 papers in Computer Networks and Communications and 15 papers in Artificial Intelligence. The topics of these papers are Parallel Computing and Optimization Techniques (18 papers), Logic, programming, and type systems (14 papers) and Distributed systems and fault tolerance (14 papers). Matthew Fluet is often cited by papers focused on Parallel Computing and Optimization Techniques (18 papers), Logic, programming, and type systems (14 papers) and Distributed systems and fault tolerance (14 papers) and collaborates with scholars based in United States and Germany. Matthew Fluet's co-authors include John Reppy, Mike Rainey, Greg Morrisett, Lars Bergström and Amal Ahmed and has published in prestigious journals such as American Mathematical Monthly, ACM SIGPLAN Notices and The Electronic Journal of Combinatorics