Jan Kuper

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
Proving the genericity lemma by leftmost reduction is simple Rewriting Techniques and Applications	2022-12-09	Paper
On the Interplay Between Global DVFS and Scheduling Tasks With Precedence Constraints IEEE Transactions on Computers	2017-05-16	Paper
Run-time spatial mapping of streaming applications to heterogeneous multi-processor systems International Journal of Parallel Programming	2010-03-12	Paper
A Functional Programming Technique for Forms in Graphical User Interfaces Implementation and Application of Functional Languages	2007-10-23	Paper
scientific article; zbMATH DE number 2114215 (Why is no real title available?)	2004-11-05	Paper
scientific article; zbMATH DE number 2079019 (Why is no real title available?)	2004-07-21	Paper
On the Jacopini technique Information and Computation	1998-05-25	Paper
scientific article; zbMATH DE number 1004882 (Why is no real title available?)	1998-01-28	Paper
An axiomatic theory for partial functions Information and Computation	1995-01-22	Paper
An Application of Non‐Wellfounded Sets to the Foundations of Geometry Mathematical Logic Quarterly	1992-06-28	Paper
scientific article; zbMATH DE number 4037816 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Jan Kuper