Stephan Schulz
About
Stephan Schulz has authored 19 papers that have received a total of 392 indexed citations.
This includes 12 papers in Artificial Intelligence, 5 papers in Atomic and Molecular Physics, and Optics and 5 papers in Computational Theory and Mathematics. The topics of these papers are Logic, Reasoning, and Knowledge (6 papers), Formal Methods in Verification (5 papers) and Logic, programming, and type systems (5 papers). Stephan Schulz is often cited by papers focused on Logic, Reasoning, and Knowledge (6 papers), Formal Methods in Verification (5 papers) and Logic, programming, and type systems (5 papers) and collaborates with scholars based in Germany, United States and France. Stephan Schulz's co-authors include F. Schmidt–Kaler, Geoff Sutcliffe, Ulrich Poschinger, Jasmin Christian Blanchette and Jörg Denzinger and has published in prestigious journals such as Monthly Notices of the Royal Astronomical Society, Physical Review A and Transplantation
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by William Seffens are published in Top journals papers by Yusuke Takeuchi are published in Top authors papers by Simona Spaccavento are co-authored with Top fields papers by Paul J. Westgate are about Top authors papers by Christine Elias are co-authored with Top journals papers by Mariateresa Di Stazio are published in Top journals papers by R. B. Godfrey are published in Top countries impacted by papers by Iman Gharibshahian