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 Ahmed Hassan Albelbeisi are co-authored with Top authors papers by Eckhard Bick are co-authored with Top fields papers by Shi-Kuo Chang are about Top fields papers by Solène Morvant‐Roux are about Top journals papers by Emad Abdallah are published in Top journals papers by Surekha Kashyap are published in Top countries impacted by papers by Robin Aly Top authors papers by Vishnu Vasanthan are co-authored with