Stefan Kowalewski

72 papers and 468 indexed citations i.

About

Stefan Kowalewski has authored 72 papers that have received a total of 468 indexed citations. This includes 37 papers in Computational Theory and Mathematics, 32 papers in Software and 18 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (36 papers), Petri Nets in System Modeling (18 papers) and Software Reliability and Analysis Research (18 papers). Stefan Kowalewski is often cited by papers focused on Formal Methods in Verification (36 papers), Petri Nets in System Modeling (18 papers) and Software Reliability and Analysis Research (18 papers) and collaborates with scholars based in Germany, Austria and Ireland. Stefan Kowalewski's co-authors include Bassam Alrifaee, Jörg Bräuer, Jan Lunze, Bastian Schlich and Olaf Stursberg and has published in prestigious journals such as Automatica, IEEE Transactions on Industrial Informatics and SAE technical papers on CD-ROM/SAE technical paper series

In The Last Decade

Rankless by CCL
2025