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 fields papers by Zoltán Tar are about Top countries impacted by papers by Paulo Henrique dos Santos Mota Top journals papers by Cara Krmpotich are published in Top countries impacted by papers by Neil Badmington Top journals papers by Frank van Lingen are published in Top fields papers by Juliana Craig are about Top fields papers by P.P. Koopmans are about Top countries impacted by papers by María J. Guillen Sacoto