Ernst Althaus
About
Ernst Althaus has authored 29 papers that have received a total of 255 indexed citations.
This includes 12 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 6 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (7 papers), Advanced Graph Theory Research (4 papers) and Logic, programming, and type systems (4 papers). Ernst Althaus is often cited by papers focused on Formal Methods in Verification (7 papers), Advanced Graph Theory Research (4 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Germany, United States and Canada. Ernst Althaus's co-authors include Hans‐Peter Lenhof, Kurt Mehlhorn, Stefan Canzar, Alexander Koller and Knut Reinert and has published in prestigious journals such as Bioinformatics, Journal of Computational Chemistry and BMC Bioinformatics
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by T. Jayasree are published in Top authors papers by H.‐J. Fiebig are co-authored with Top fields papers by Rammohan K. Ragade are about Top journals papers by Óscar Altimir are published in Top journals papers by Santiago Ochandiano are published in Top journals papers by Sorayya Rezayi are published in Top journals papers by Shotaro Kinoshita are published in Top authors papers by Jennifer M. Taylor are co-authored with