Wolfgang Schreiner
About
Wolfgang Schreiner has authored 29 papers that have received a total of 343 indexed citations.
This includes 14 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 11 papers in Computer Networks and Communications. The topics of these papers are Distributed and Parallel Computing Systems (11 papers), Logic, programming, and type systems (10 papers) and Formal Methods in Verification (9 papers). Wolfgang Schreiner is often cited by papers focused on Distributed and Parallel Computing Systems (11 papers), Logic, programming, and type systems (10 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in Austria, Slovakia and Romania. Wolfgang Schreiner's co-authors include Temur Kutsia, Hoon Hong, Vladimir Creţu, William Steingartner and Manfred Droste and has published in prestigious journals such as Symmetry, Information and Computation and Journal of Symbolic Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Amit R. Nayak are published in Top authors papers by Kevin Donnelly are co-authored with Top fields papers by Y. Matsuda are about Top journals papers by Fadıl Ayan are published in Top fields papers by Qinglu Song are about Top fields papers by Rafael Stuani Floriano are about Top journals papers by Yiyuan Yang are published in Top fields papers by Xiang Xu are about