Ryszard Janicki

56 papers and 354 indexed citations i.

Ryszard Janicki has authored 56 papers that have received a total of 354 indexed citations. This includes 35 papers in Computational Theory and Mathematics, 28 papers in Artificial Intelligence and 8 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (22 papers), Logic, programming, and type systems (15 papers) and Petri Nets in System Modeling (12 papers). Ryszard Janicki is often cited by papers focused on Formal Methods in Verification (22 papers), Logic, programming, and type systems (15 papers) and Petri Nets in System Modeling (12 papers) and collaborates with scholars based in Canada, Poland and United Kingdom. Ryszard Janicki's co-authors include Maciej Koutny, Peter Lauer, Waldemar W. Koczkodaj, Jetty Kleijn and Hung Son Nguyen and has published in prestigious journals such as IEEE Transactions on Software Engineering, Knowledge-Based Systems and Computers & Mathematics with Applications