 | 2009 |
|---|
| 11 |       | Rainer Thiel,
Karl Stroetmann,
Veli N. Stroetmann,
Marco Viceconti:
Designing a Socio-Economic Assessment Method for Integrative Biomedical Research: The Osteoporotic Virtual Physiological Human Project.
MIE 2009: 876-880 |
| 2006 |
|---|
| 10 | | 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 | | Michael Pieper,
Karl Stroetmann:
Participatory Insight to Universal Access: Methods and Validation Exercises.
Universal Access in Health Telematics 2005: 271-296 |
| 8 | | Michael Pieper,
Karl Stroetmann:
Patients and EHRs Tele Home Monitoring Reference Scenario.
Universal Access in Health Telematics 2005: 77-87 |
| 1999 |
|---|
| 7 | | Sabine Glesner,
Karl Stroetmann:
Combining Inclusion Polymorphism and Parametric Polymorphism
CoRR cs.LO/9906013: (1999) |
| 1997 |
|---|
| 6 | | 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) |
