Hans-Dieter Ehrich

24 papers and 222 indexed citations i.

Hans-Dieter Ehrich has authored 24 papers that have received a total of 222 indexed citations. This includes 12 papers in Artificial Intelligence, 12 papers in Computer Networks and Communications and 12 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (9 papers), Advanced Database Systems and Queries (9 papers) and Logic, programming, and type systems (6 papers). Hans-Dieter Ehrich is often cited by papers focused on Formal Methods in Verification (9 papers), Advanced Database Systems and Queries (9 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in Germany, The Netherlands and United Kingdom. Hans-Dieter Ehrich's co-authors include Amı́lcar Sernadas, Cristina Sernadas, Udo W. Lipeck, Martin Gogolla and Mark Ryan and has published in prestigious journals such as Journal of the ACM, IEEE Transactions on Computers and Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment.