Jens Knoop

25 papers and 318 indexed citations i.

About

Jens Knoop has authored 25 papers that have received a total of 318 indexed citations. This includes 21 papers in Hardware and Architecture, 15 papers in Artificial Intelligence and 8 papers in Computer Networks and Communications. The topics of these papers are Parallel Computing and Optimization Techniques (18 papers), Logic, programming, and type systems (12 papers) and Formal Methods in Verification (7 papers). Jens Knoop is often cited by papers focused on Parallel Computing and Optimization Techniques (18 papers), Logic, programming, and type systems (12 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in Germany, Austria and United Kingdom. Jens Knoop's co-authors include Bernhard Steffen, Oliver Rüthing, Jingling Xue, Raimund Kirner and Markus Schordan and has published in prestigious journals such as IEEE Transactions on Parallel and Distributed Systems, Theoretical Computer Science and Lecture notes in computer science

In The Last Decade

Rankless by CCL
2025