Andrzej Tarlecki
About
Andrzej Tarlecki has authored 38 papers that have received a total of 718 indexed citations.
This includes 27 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 7 papers in Software. The topics of these papers are Logic, programming, and type systems (25 papers), Formal Methods in Verification (21 papers) and Advanced Software Engineering Methodologies (9 papers). Andrzej Tarlecki is often cited by papers focused on Logic, programming, and type systems (25 papers), Formal Methods in Verification (21 papers) and Advanced Software Engineering Methodologies (9 papers) and collaborates with scholars based in Poland, United Kingdom and Germany. Andrzej Tarlecki's co-authors include Donald Sannella, Till Mossakowski, Michel Bidoit, Egidio Astesiano and Răzvan Diaconescu and has published in prestigious journals such as ACM Computing Surveys, SIAM Journal on Computing and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Roberts Wc Top journals papers by Nicola Lanatà are published in Top countries impacted by papers by Hiroshi Kamioka Top authors papers by Yuzhe He are co-authored with Top countries impacted by papers by Ronald C. Riis Top fields papers by Marija M. Janjic are about Top authors papers by Lili Huang are co-authored with Top fields papers by Natalie Boytsov are about