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 journals papers by Hitoshi Arisumi are published in Top countries impacted by papers by Paweł Dybała Top countries impacted by papers by Liran Shaul Top fields papers by L.J. Sargent are about Top authors papers by Osama Khassawneh are co-authored with Top fields papers by María Ángeles Gómez Martínez are about Top countries impacted by papers by Albert Fleischmann Top authors papers by Aruna Pallewatte are co-authored with