Johannes Niederhauser
0000-0002-8662-6834
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, Reasoning, and Knowledge
(5)
Logic, programming, and type systems
(4)
Formal Methods in Verification
(4)
Metal-Catalyzed Oxygenation Mechanisms
(4)
bioluminescence and chemiluminescence research
(4)
Affiliations
University of Graz
King's College London
Universität Innsbruck
Graz University of Technology
Czech Academy of Sciences, Institute of Biotechnology