2006 |
10 | EE | Veli N. Stroetmann,
Daniel Spichtinger,
Karl Stroetmann,
Jean-Pierre Thierry:
ICT for Patient Safety: Towards a European Research Roadmap.
ISBMDA 2006: 482-493 |
2005 |
9 | EE | Michael Pieper,
Karl Stroetmann:
Participatory Insight to Universal Access: Methods and Validation Exercises.
Universal Access in Health Telematics 2005: 271-296 |
8 | EE | Michael Pieper,
Karl Stroetmann:
Patients and EHRs Tele Home Monitoring Reference Scenario.
Universal Access in Health Telematics 2005: 77-87 |
1999 |
7 | EE | Sabine Glesner,
Karl Stroetmann:
Combining Inclusion Polymorphism and Parametric Polymorphism
CoRR cs.LO/9906013: (1999) |
1997 |
6 | EE | Karl Stroetmann:
The Constrained Shortest Path Problem: A Case Study in Using ASMs.
J. UCS 3(4): 304-319 (1997) |
1996 |
5 | | Karl Stroetmann,
Thomas Glaß:
A Declarative Semantics for the Prolog Cut Operator.
ELP 1996: 255-271 |
4 | | Martin Müller,
Thomas Glaß,
Karl Stroetmann:
Automated Modular Termination Proofs for Real Prolog Programs.
SAS 1996: 220-237 |
3 | | Martin Müller,
Thomas Glaß,
Karl Stroetmann:
PAN - The Prolog Analyzer.
SAS 1996: 387-388 |
1995 |
2 | | Karl Stroetmann:
Seduct - A Proof Compiler for First Order Logic.
KORSO Book 1995: 299-316 |
1993 |
1 | | Karl Stroetmann:
A Completeness Result for SLDNF-Resolution.
J. Log. Program. 15(4): 337-355 (1993) |