Irek Ulidowski
About
Irek Ulidowski has authored 30 papers that have received a total of 209 indexed citations.
This includes 20 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 11 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (14 papers), Formal Methods in Verification (13 papers) and Distributed systems and fault tolerance (7 papers). Irek Ulidowski is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (13 papers) and Distributed systems and fault tolerance (7 papers) and collaborates with scholars based in United Kingdom, Japan and Italy. Irek Ulidowski's co-authors include Iain Phillips, Shoji Yuen, Ulrik Pagh Schultz, Ivan Lanese and Emanuela Merelli and has published in prestigious journals such as Knowledge-Based Systems, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Francesco Bossi are about Top authors papers by F. R. C. Bagley are co-authored with Top fields papers by Debiprasad Priyabrata Acharya are about Top fields papers by Hartwig Kuhlenbeck are about Top authors papers by Ausonio Marras are co-authored with Top journals papers by Patrícia Shu Kurizky are published in Top authors papers by Yi Lou are co-authored with Top authors papers by Satria Mandala are co-authored with