Stanislaw Budkowski

6 papers and 124 indexed citations i.

Stanislaw Budkowski has authored 6 papers that have received a total of 124 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 3 papers in Hardware and Architecture and 2 papers in Computer Networks and Communications. The topics of these papers are Embedded Systems Design Techniques (3 papers), Formal Methods in Verification (2 papers) and Model-Driven Software Engineering Techniques (1 paper). Stanislaw Budkowski is often cited by papers focused on Embedded Systems Design Techniques (3 papers), Formal Methods in Verification (2 papers) and Model-Driven Software Engineering Techniques (1 paper) and collaborates with scholars based in Poland and Germany. Stanislaw Budkowski's co-authors include Piotr Dembiński and Stephan Fischer and has published in prestigious journals such as Computer Communications.