Stefan Kowalewski

73 papers and 472 indexed citations i.

About

Stefan Kowalewski has authored 73 papers that have received a total of 472 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