Jan Kuper

zbMath Openkuper.janWikidataQ102303990 ScholiaQ102303990MaRDI QIDQ1317436

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