Ursula Goltz
About
Ursula Goltz has authored 37 papers that have received a total of 458 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 11 papers in Software. The topics of these papers are Formal Methods in Verification (19 papers), Petri Nets in System Modeling (12 papers) and Advanced Software Engineering Methodologies (10 papers). Ursula Goltz is often cited by papers focused on Formal Methods in Verification (19 papers), Petri Nets in System Modeling (12 papers) and Advanced Software Engineering Methodologies (10 papers) and collaborates with scholars based in Germany, Australia and United States. Ursula Goltz's co-authors include Malte Lochau, Rob J. van Glabbeek, Rob van Glabbeek, Sascha Lity and Lukas Märtin and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, Computer Methods and Programs in Biomedicine and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Yuki Ohnishi are published in Top journals papers by Rohit Garg are published in Top authors papers by Luciana Paula Cadore Stefani are co-authored with Top journals papers by Óscar Martínez-Matos are published in Top countries impacted by papers by Habteyes Hailu Tola Top countries impacted by papers by Weiming Yan Top journals papers by Patrick Tassone are published in Top journals papers by Marcel Haversath are published in