Johannes Borgström

20 papers and 114 indexed citations i.

Johannes Borgström has authored 20 papers that have received a total of 114 indexed citations. This includes 18 papers in Artificial Intelligence, 9 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (9 papers), Bayesian Modeling and Causal Inference (6 papers) and Formal Methods in Verification (4 papers). Johannes Borgström is often cited by papers focused on Logic, programming, and type systems (9 papers), Bayesian Modeling and Causal Inference (6 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in Sweden, United Kingdom and United States. Johannes Borgström's co-authors include Andrew D. Gordon, Björn Victor, Joachim Parrow, Claudio Russo and Thore Graepel and has published in prestigious journals such as ACM SIGPLAN Notices, Communications Biology and ACM Transactions on Embedded Computing Systems.