Jens Knoop

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution Journal of Symbolic Computation	2017-02-06	Paper
Symbolic Loop Bound Computation for WCET Analysis Perspectives of Systems Informatics	2015-12-07	Paper
Sparse code motion Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
scientific article; zbMATH DE number 1863271 (Why is no real title available?)	2003-02-04	Paper
scientific article; zbMATH DE number 1760028 (Why is no real title available?)	2002-11-06	Paper
scientific article; zbMATH DE number 1617327 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1500563 (Why is no real title available?)	2001-06-10	Paper
scientific article; zbMATH DE number 1487856 (Why is no real title available?)	2000-08-10	Paper
Eliminating partially dead code in explicitly parallel programs Theoretical Computer Science	1998-08-13	Paper
scientific article; zbMATH DE number 177796 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 17825 (Why is no real title available?)	1992-06-26	Paper
Finite constants: Characterizations of a new decidable set of constants Theoretical Computer Science	1992-06-25	Paper

Research outcomes over time

This page was built for person: Jens Knoop