Sebastian Junges
About
Sebastian Junges has authored 24 papers that have received a total of 189 indexed citations.
This includes 18 papers in Computational Theory and Mathematics, 14 papers in Software and 11 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (18 papers), Software Reliability and Analysis Research (11 papers) and Petri Nets in System Modeling (5 papers). Sebastian Junges is often cited by papers focused on Formal Methods in Verification (18 papers), Software Reliability and Analysis Research (11 papers) and Petri Nets in System Modeling (5 papers) and collaborates with scholars based in Germany, The Netherlands and United States. Sebastian Junges's co-authors include Joost-Pieter Katoen, Ufuk Topcu, Nils Jansen, Bernd Becker and Tim Quatmann and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Industrial Informatics and Reliability Engineering & System Safety.
In The Last Decade
side by side view
Countries citing papers authored by Sebastian Junges
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Ting Cai Breakdown of academic impact, for papers by Nicholas Hudson Breakdown of academic impact, for papers by Albertas Čaplinskas Breakdown of academic impact, for papers by Mohammad A. Rob Breakdown of academic impact, for papers by Ramsay Burt Breakdown of academic impact, for papers by Waiel Bashari Breakdown of academic impact, for papers by Yvette Pearson Breakdown of academic impact, for papers by Sarita Arya