Kent Petersson

3 papers and 16 indexed citations i.

Kent Petersson has authored 3 papers that have received a total of 16 indexed citations. This includes 2 papers in Artificial Intelligence, 1 paper in Computational Theory and Mathematics and 1 paper in Information Systems. The topics of these papers are Advanced Software Engineering Methodologies (1 paper), Formal Methods in Verification (1 paper) and Model-Driven Software Engineering Techniques (1 paper). Kent Petersson is often cited by papers focused on Advanced Software Engineering Methodologies (1 paper), Formal Methods in Verification (1 paper) and Model-Driven Software Engineering Techniques (1 paper) and collaborates with scholars based in Sweden. Kent Petersson's co-authors include Bengt Nordström and Jan M. Smith and has published in prestigious journals such as ACM SIGPLAN Notices