M. Lepper

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
A theory of conversion relations for prefixed units of measure Fundamenta Informaticae	2026-01-22	Paper
ALEA IACTA EST: A Declarative Domain-Specific Language for Manually Performable Random Experiments (available as arXiv preprint)	2025-01-01	Paper
Towards a theory of conversion relations for prefixed units of measure Relational and Algebraic Methods in Computer Science	2023-08-17	Paper
Foundations of total functional data-flow programming (available as arXiv preprint)	2021-06-23	Paper
Foundations of total functional data-flow programming	2021-06-23	Paper
A simple and efficient step towards type-correct XSLT transformations	2017-07-12	Paper
An analytical method for the determination of stress and strain concentrations in textile-reinforced GF/PP composites with elliptical cutout and a finite outer boundary and its numerical verification Archive of Applied Mechanics	2014-08-13	Paper
Minimize mark-up! Natural writing should guide the design of textual modeling frontends Lecture Notes in Computer Science	2004-08-04	Paper
TUB-TCI an architecture for dynamic deployment of test components Lecture Notes in Computer Science	2003-12-07	Paper
Encoding temporal logics in executable Z: A case study for the ZETA system Lecture Notes in Artificial Intelligence	2002-06-30	Paper

Research outcomes over time

This page was built for person: M. Lepper