Gernot Salzer

20 papers and 108 indexed citations i.

About

Gernot Salzer has authored 20 papers that have received a total of 108 indexed citations. This includes 14 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 7 papers in Information Systems. The topics of these papers are Logic, Reasoning, and Knowledge (7 papers), Logic, programming, and type systems (7 papers) and Blockchain Technology Applications and Security (6 papers). Gernot Salzer is often cited by papers focused on Logic, Reasoning, and Knowledge (7 papers), Logic, programming, and type systems (7 papers) and Blockchain Technology Applications and Security (6 papers) and collaborates with scholars based in Austria, France and The Netherlands. Gernot Salzer's co-authors include Monika di Angelo, Ingo Feinerer, Miki Hermann, Nadia Creignou and João F. Ferreira and has published in prestigious journals such as SIAM Journal on Computing, Theoretical Computer Science and Lecture notes in computer science

In The Last Decade

Rankless by CCL
2025