Jan Kuper

Available identifiers

zbMath Open kuper.janWikidataQ102303990 ScholiaQ102303990MaRDI QIDQ1317436

List of research outcomes

Publication	Date of Publication	Type
Proving the genericity lemma by leftmost reduction is simple	2022-12-09	Paper
On the Interplay Between Global DVFS and Scheduling Tasks With Precedence Constraints	2017-05-16	Paper
Run-time spatial mapping of streaming applications to heterogeneous multi-processor systems	2010-03-12	Paper
A Functional Programming Technique for Forms in Graphical User Interfaces	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4825974	2004-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4474831	2004-07-21	Paper
On the Jacopini technique	1998-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4335236	1998-01-28	Paper
An axiomatic theory for partial functions	1995-01-22	Paper
An Application of Non‐Wellfounded Sets to the Foundations of Geometry	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3777989	1987-01-01	Paper

Research outcomes over time

This page was built for person: Jan Kuper