Jens Knoop

25 papers and 320 indexed citations i.

Jens Knoop has authored 25 papers that have received a total of 320 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, Markus Schordan, Jingling Xue and Raimund Kirner and has published in prestigious journals such as IEEE Transactions on Parallel and Distributed Systems, Theoretical Computer Science and Lecture notes in computer science.