Józef Winkowski

32 papers and 153 indexed citations i.

Józef Winkowski has authored 32 papers that have received a total of 153 indexed citations. This includes 23 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 8 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (20 papers), Formal Methods in Verification (19 papers) and Logic, programming, and type systems (9 papers). Józef Winkowski is often cited by papers focused on Petri Nets in System Modeling (20 papers), Formal Methods in Verification (19 papers) and Logic, programming, and type systems (9 papers) and collaborates with scholars based in Poland, Italy and Germany. Józef Winkowski's co-authors include Andrea Maggiolo–Schettini, Juris Hartmanis, G Seegm er, Horst F. Wedde and Hartmut Ehrig and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Lecture notes in computer science.