Florian Kammüller

21 papers and 98 indexed citations i.

Florian Kammüller has authored 21 papers that have received a total of 98 indexed citations. This includes 15 papers in Artificial Intelligence, 11 papers in Information Systems and 6 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (6 papers), Security and Verification in Computing (6 papers) and Information and Cyber Security (6 papers). Florian Kammüller is often cited by papers focused on Logic, programming, and type systems (6 papers), Security and Verification in Computing (6 papers) and Information and Cyber Security (6 papers) and collaborates with scholars based in United Kingdom, Germany and Denmark. Florian Kammüller's co-authors include Christian W. Probst, Ludovic Henrio, Mark‐Oliver Reiser, Rajagopal Nagarajan and J. W. Sanders and has published in prestigious journals such as Lecture notes in computer science, Computers & Security and IEEE Systems Journal.