BibSonomy :: author :: Stroetmann, Karl A. ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(14)

<< < 1 > >>

Combining Inclusion Polymorphism and Parametric Polymorphism
Sabine Glesner, and Karl Stroetmann CoRR (1999)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Automated Modular Termination Proofs for Real Prolog Programs.
Martin Müller 0002, Thomas Glaß, and Karl Stroetmann SAS, volume 1145 of Lecture Notes in Computer Science, page 220-237. Springer, (1996)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
PAN - The Prolog Analyzer.
Martin Müller 0002, Thomas Glaß, and Karl Stroetmann SAS, volume 1145 of Lecture Notes in Computer Science, page 387-388. Springer, (1996)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Computer-Architektur - Modellierung, Entwicklung und Verifikation mit Verilog: Grundlagen der Elektro- und Informationstechnik.
Karl Stroetmann Oldenbourg, (2007)
to dblp by dblp on Mar 21, 2011, 12:00 AM
BibTeX
A Declarative Semantics for the Prolog Cut Operator.
Karl Stroetmann, and Thomas Glaß ELP, volume 1050 of Lecture Notes in Computer Science, page 255-271. Springer, (1996)
to dblp by dblp on Sep 30, 2009, 12:00 AM
URL | BibTeX
Designing a Socio-Economic Assessment Method for Integrative Biomedical Research: The Osteoporotic Virtual Physiological Human Project.
Rainer Thiel, Karl Stroetmann, Veli N. Stroetmann, and Marco Viceconti MIE, volume 150 of Studies in Health Technology and Informatics, page 876-880. IOS Press, (2009)
to dblp by dblp on Sep 16, 2009, 12:00 AM
URL | BibTeX
Technology assessment
Gisela Schnepf, Karl A Stroetmann, and Adolf Zänger Informationszentrum Sozialwiss., Bonn, (1982)
to Nachrichtenvermittlung by fbw_hannover on Aug 21, 2009, 3:12 PM
URL | BibTeX
Neue Informations- und Kommunikationstechniken
Gisela Schnepf, Karl A Stroetmann, and Adolf Zänger Informationszentrum Sozialwiss., Bonn, (1982)
to Nachrichtenvermittlung by fbw_hannover on Aug 21, 2009, 9:55 AM
URL | BibTeX
ICT for Patient Safety: Towards a European Research Roadmap.
Veli N. Stroetmann, Daniel Spichtinger, Karl Stroetmann, and Jean-Pierre Thierry ISBMDA, volume 4345 of Lecture Notes in Computer Science, page 482-493. Springer, (2006)
to dblp by dblp on Nov 27, 2006, 12:00 AM
URL | BibTeX
Patients and EHRs Tele Home Monitoring Reference Scenario.
Michael Pieper, and Karl Stroetmann Universal Access in Health Telematics, volume 3041 of Lecture Notes in Computer Science, page 77-87. Springer, (2005)
to dblp by dblp on Jul 21, 2005, 12:00 AM
URL | BibTeX
Participatory Insight to Universal Access: Methods and Validation Exercises.
Michael Pieper, and Karl Stroetmann Universal Access in Health Telematics, volume 3041 of Lecture Notes in Computer Science, page 271-296. Springer, (2005)
to dblp by dblp on Jul 21, 2005, 12:00 AM
URL | BibTeX
The Constrained Shortest Path Problem: A Case Study in Using ASMs.
Karl Stroetmann J. UCS 3(4):304-319 (1997)
to dblp by dblp on Dec 1, 2003, 12:00 AM
URL | BibTeX
A Completeness Result for SLDNF-Resolution.
Karl Stroetmann J. Log. Program. 15(4):337-355 (1993)
to dblp by dblp on Nov 27, 2003, 12:00 AM
URL | BibTeX
Seduct - A Proof Compiler for First Order Logic.
Karl Stroetmann KORSO Book, volume 1009 of Lecture Notes in Computer Science, page 299-316. Springer, (1995)
to dblp by dblp on Feb 5, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100