J. A. Bergstra

6 papers and 705 indexed citations i.

J. A. Bergstra has authored 6 papers that have received a total of 705 indexed citations. This includes 4 papers in Computational Theory and Mathematics, 3 papers in Hardware and Architecture and 2 papers in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (3 papers), Formal Methods in Verification (3 papers) and Petri Nets in System Modeling (2 papers). J. A. Bergstra is often cited by papers focused on Embedded Systems Design Techniques (3 papers), Formal Methods in Verification (3 papers) and Petri Nets in System Modeling (2 papers) and collaborates with scholars based in The Netherlands and Germany. J. A. Bergstra's co-authors include J. C. M. Baeten, Alban Ponse, Martin Wirsing and Scott A. Smolka and has published in prestigious journals such as Lecture notes in computer science, The Computer Journal and Formal Aspects of Computing