Stephan Winkler

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
From Authoring to Evaluating an Electronic Health Quality Measure - Applying Logic to FHIR<sup>®</sup> with CQL for Calculating Immunization Coverage.
Proceedings of the dHealth 2023, 2023

In Vitro Quantification of Cellular Spheroids in Patterned Petri Dishes.
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2006
Analysis of Max-Product via Local Maxifiers.
Proceedings of the Proceedings 2006 IEEE International Symposium on Information Theory, 2006

1996
Parallele Implementierung der funktional-logischen Programmiersprache BABEL.
PhD thesis, 1996

1995
Dynamic Detection of Determinism in Functional Languages.
Theor. Comput. Sci., 1995

An Expression-Or-Parallel Implementation for a Functional Logic Language
Proceedings of the Programming Languages: Implementations, 1995

Exploiting Expression- and Or-Parallelism for a Functional Logic Language.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Shared Memory System for Babel: a VHDL Specification.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

A Stack-based Machine for Parallel Execution of Babel Programs.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

A Babel Parallel System: VHDL Modelling for Performance Measurement.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Efficient Lazy Narrowing using Demandedness Analysis.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992
On the Interaction of Lazy Evaluation and Backtracking.
Proceedings of the Programming Language Implementation and Logic Programming, 1992


  Loading...