Gerhard Buntrock

3 papers and 102 indexed citations i.

Gerhard Buntrock has authored 3 papers that have received a total of 102 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 2 papers in Artificial Intelligence and 1 paper in Molecular Biology. The topics of these papers are Machine Learning and Algorithms (1 paper), Algorithms and Data Compression (1 paper) and Formal Methods in Verification (1 paper). Gerhard Buntrock is often cited by papers focused on Machine Learning and Algorithms (1 paper), Algorithms and Data Compression (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in Germany and United States. Gerhard Buntrock's co-authors include Ulrich Hertrampf, Lane A. Hemachandra, Dirk Siefkes, Christoph Meinel and Friedrich Otto and has published in prestigious journals such as Information and Computation.