Allen L. Ambler
About
Allen L. Ambler has authored 14 papers that have received a total of 161 indexed citations.
This includes 8 papers in Artificial Intelligence, 5 papers in Computer Networks and Communications and 5 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Model-Driven Software Engineering Techniques (3 papers). Allen L. Ambler is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in United States, Australia and Germany. Allen L. Ambler's co-authors include Margaret Burnett, Charles G. Hoch, Donald I. Good, R. M. Cohen and James C. Browne and has published in prestigious journals such as Computer, Journal of Systems and Software and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Stéphanie Smet are published in Top authors papers by Nathan LaPierre are co-authored with Top countries impacted by papers by Filip Korzeniowski Top authors papers by Prathik Bandiya are co-authored with Top countries impacted by papers by Tiia Laurila Top countries impacted by papers by Charles F. Crane Top journals papers by Narin Nard Carmel are published in Top authors papers by R. C. Mason are co-authored with