Tim Teitelbaum

27 papers and 990 indexed citations i.

About

Tim Teitelbaum has authored 27 papers that have received a total of 990 indexed citations. This includes 13 papers in Artificial Intelligence, 10 papers in Information Systems and 9 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (12 papers), Software Engineering Research (9 papers) and Parallel Computing and Optimization Techniques (7 papers). Tim Teitelbaum is often cited by papers focused on Logic, programming, and type systems (12 papers), Software Engineering Research (9 papers) and Parallel Computing and Optimization Techniques (7 papers) and collaborates with scholars based in United States and Japan. Tim Teitelbaum's co-authors include Thomas Reps, Susan Horwitz, Yanhong A. Liu, Scott D. Stoller and Paul Anderson and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and IEEE Software

In The Last Decade

Rankless by CCL
2025