Józef Winkowski
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Wim De Roeck are about Top journals papers by James H. Dittmar are published in Top fields papers by Benedikt Schmuelling are about Top countries impacted by papers by Jaroslav Černý Top journals papers by Fernanda Campos are published in Top journals papers by Dëmin Aa are published in Top countries impacted by papers by Damir Sumina