Swen Jacobs
About
Swen Jacobs has authored 19 papers that have received a total of 138 indexed citations.
This includes 15 papers in Computational Theory and Mathematics, 10 papers in Software and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (14 papers), Model-Driven Software Engineering Techniques (7 papers) and Logic, programming, and type systems (5 papers). Swen Jacobs is often cited by papers focused on Formal Methods in Verification (14 papers), Model-Driven Software Engineering Techniques (7 papers) and Logic, programming, and type systems (5 papers) and collaborates with scholars based in Germany, Austria and United States. Swen Jacobs's co-authors include Roderick Bloem, Ayrat Khalimov, Leander Tentrup, Ocan Sankur and Jean-François Raskin and has published in prestigious journals such as Computers in Biology and Medicine, Acta Informatica and Journal of Automated Reasoning
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Xingzhi Sun are co-authored with Top journals papers by U. Bravar are published in Top journals papers by Hayato Tamai are published in Top fields papers by Xuedong Deng are about Top journals papers by Go Yoshizawa are published in Top fields papers by Paulo Drinot are about Top journals papers by D. Jackuline Moni are published in Top fields papers by Ahmad Sabri are about