Walter Dosch

16 papers and 96 indexed citations i.

Walter Dosch has authored 16 papers that have received a total of 96 indexed citations. This includes 8 papers in Artificial Intelligence, 8 papers in Computer Networks and Communications and 5 papers in Hardware and Architecture. The topics of these papers are Advanced Database Systems and Queries (5 papers), Logic, programming, and type systems (4 papers) and Formal Methods in Verification (3 papers). Walter Dosch is often cited by papers focused on Advanced Database Systems and Queries (5 papers), Logic, programming, and type systems (4 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in Germany, United States and Ireland. Walter Dosch's co-authors include Martin Wirsing, Peter Pepper, H. Partsch, Manfred Broy and K. Samelson and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Acta Informatica.