Explore over 5,113,590 papers,
50 were added last week.
Author
|
Conference
|
Journal
|
Year
Look for results that meet for the following criteria:
Later than
Equal to
Earlier than
Papers
Authors
Conferences
Journals
View Top Co-Authors In
Visual Explorer
Karl A. Stroetmann
Top Co-Authors:
Veli N. Stroetmann (6)
Thomas Glaß (5)
Michael Pieper (4)
Martin Müller (3)
L Kubitschke (2)
Yuri Gurevich (1)
Helmut Schwichtenberg (1)
Sabine Glesner (1)
Patrick Ruch (1)
Christian Lovis (1)
Giuseppe Del Castillo (1)
Marco Viceconti (1)
Gerd Venzl (1)
Douglas Teodoro (1)
Emilie Pasche (1)
Jean-pierre Thierry (1)
T H???sing (1)
B Str?hler (1)
T Husing (1)
Daniel Spichtinger (1)
ObjectID : Author/295466
Karl A. Stroetmann
Embed
Subscribe
Publications: 21
|
Citations: 32
|
G-Index: 5
|
H-Index: 2
Research Interest:
Software Engineering & Programming Languages
,
Artificial Intelligence
,
Human-Computer Interaction
Siemens AG; ZFE T SE 1
Bing
Order by:
Year
|
Citation
|
Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.
Learn more
Papers
Citations
Year 2009
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
, 2009
Year 2006
Veli N. Stroetmann
,
Daniel Spichtinger
,
Karl Stroetmann
,
Jean-pierre Thierry
:
ICT for Patient Safety: Towards a European Research Roadmap
,
ISMDA
, 2006
Year 2005
Michael Pieper
,
Karl Stroetmann
:
Patients and EHRs Tele Home Monitoring Reference Scenario
,
EUPROJECTS
, 2005
(
Citations: 1
)
Michael Pieper
,
Karl Stroetmann
:
Participatory Insight to Universal Access: Methods and Validation Exercises
,
EUPROJECTS
, 2005
Year 2003
Karl A. Stroetmann
,
Michael Pieper
,
Veli N. Stroetmann
:
Understanding patients: participatory approaches for the user evaluation of vital data presentation
,
CUU
, 2003
Year 2002
L Kubitschke
,
T H???sing
,
B Str?hler
,
K. A Stroetmann
:
Older Citizens (50+) and European markets for ICT products and services: Representative data from th
, 2002
(
Citations: 2
)
K. A. Stroetmann
,
V. N. Stroetmann
:
E-business sector report no
, 2002
(
Citations: 2
)
L Kubitschke
,
T Husing
,
V Stroetmann
,
K Stroetmann
:
From market research to action: priorities for the 6, Framework programme
, 2002
(
Citations: 1
)
Karl A. Stroetmann
,
Michael Pieper
,
Veli N. Stroetmann
:
Understanding patients: participatory approaches for the user evaluation of vital data presentation
,
CUU
, 2002
(
Citations: 1
)
Year 1999
Sabine Glesner
,
Karl Stroetmann
:
Combining Inclusion Polymorphism and Parametric Polymorphism
,
CORR
, 1999
Year 1997
Karl Stroetmann
:
The Constrained Shortest Path Problem: A Case Study in Using ASMs
,
JUCS
, 1997
(
Citations: 3
)
Year 1996
Karl Stroetmann
,
Thomas Glaß
:
A Declarative Semantics for the Prolog Cut Operator
,
ELP
, 1996
(
Citations: 2
)
Martin Müller
,
Thomas Glaß
,
Karl Stroetmann
:
Automated Modular Termination Proofs for Real Prolog Programs
,
SAS(WSA)
, 1996
(
Citations: 1
)
Martin Müller
,
Thomas Glaß
,
Karl Stroetmann
:
PAN - The Prolog Analyzer
,
SAS(WSA)
, 1996
Year 1995
Karl Stroetmann
,
Thomas Glaß
:
Augmented Prolog - An Evolutionary Approach
, 1995
(
Citations: 1
)
Karl Stroetmann
:
Seduct - A Proof Compiler for First Order Logic
,
KORSO
, 1995
Year 1993
Karl Stroetmann
:
A Completeness Result for SLDNF-Resolution
,
JLP
, 1993
(
Citations: 18
)
Year Unknown
Thomas Glaß
,
Martin Müller
,
Karl Stroetmann
,
Gerd Venzl
:
Boosting the Quality and Maintainability of Prolog Applications by New Static Analysis Techniques
Christian Lovis
,
Teodoro Douglas
,
Emilie Pasche
,
Patrick Ruch
,
Karl Stroetmann
:
DebugIT: Building a European distributed clinical data mining network to foster the fight against microbial diseases
Giuseppe Del Castillo
,
Yuri Gurevich
,
Karl Stroetmann
:
Typed Abstract State Machines
Helmut Schwichtenberg
,
Karl Stroetmann
:
From Higher Order Terms To Circuits