BibSonomy publications for /author/Stroetmann, Karl A.BibSonomypublrss/author/Stroetmann, Karl A.BibSonomy RSS feed for /author/Stroetmann, Karl A.2012-02-17T01:59:22+01:00Combining Inclusion Polymorphism and Parametric Polymorphismhttp://www.bibsonomy.org/bibtex/2b1e4ff1657e631767829af0962b3eeaa/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Glesner">Sabine Glesner</a>, and <a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>CoRR</em> (<em>1999</em>)Automated Modular Termination Proofs for Real Prolog Programs.http://www.bibsonomy.org/bibtex/21586b40b2f0eec79388d5c5ff5aa5fa4/dblpdblp2011-06-27T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/0002">Martin Müller 0002</a>, <a href="/author/Glaß">Thomas Glaß</a>, and <a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>SAS, </em><em>volume 1145 of Lecture Notes in Computer Science, </em><em>page 220-237. </em><em>Springer, </em>(<em>1996</em>)PAN - The Prolog Analyzer.http://www.bibsonomy.org/bibtex/20ef0ec787bc7af05b1603c1a5944f109/dblpdblp2011-06-27T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/0002">Martin Müller 0002</a>, <a href="/author/Glaß">Thomas Glaß</a>, and <a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>SAS, </em><em>volume 1145 of Lecture Notes in Computer Science, </em><em>page 387-388. </em><em>Springer, </em>(<em>1996</em>)Computer-Architektur - Modellierung, Entwicklung und Verifikation mit Verilog: Grundlagen der Elektro- und Informationstechnik.http://www.bibsonomy.org/bibtex/21109d4abd07493424377ec4def73584c/dblpdblp2011-03-21T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>Oldenbourg, </em>(<em>2007</em>)A Declarative Semantics for the Prolog Cut Operator.http://www.bibsonomy.org/bibtex/27668eb929cda3f83db4bd8ed84c70d13/dblpdblp2009-09-30T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Stroetmann">Karl Stroetmann</a>, and <a href="/author/Glaß">Thomas Glaß</a> </span><em>ELP, </em><em>volume 1050 of Lecture Notes in Computer Science, </em><em>page 255-271. </em><em>Springer, </em>(<em>1996</em>)dblpDesigning a Socio-Economic Assessment Method for Integrative Biomedical Research: The Osteoporotic Virtual Physiological Human Project.http://www.bibsonomy.org/bibtex/2e09b699eb7699c6855cc6370c519056d/dblpdblp2009-09-16T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Thiel">Rainer Thiel</a>, <a href="/author/Stroetmann">Karl Stroetmann</a>, <a href="/author/Stroetmann">Veli N. Stroetmann</a>, and <a href="/author/Viceconti">Marco Viceconti</a> </span><em>MIE, </em><em>volume 150 of Studies in Health Technology and Informatics, </em><em>page 876-880. </em><em>IOS Press, </em>(<em>2009</em>)dblpTechnology assessmenthttp://www.bibsonomy.org/bibtex/2e8b348a3a3ee46437f5cc5ae32b8b72f/fbw_hannoverfbw_hannover2009-08-21T15:12:59+02:00Nachrichtenvermittlung <span class="authorEditorList"><a href="/author/Schnepf">Gisela Schnepf</a>, <a href="/author/Stroetmann">Karl A Stroetmann</a>, and <a href="/author/Zänger">Adolf Zänger</a> </span><em>Informationszentrum Sozialwiss., </em><em>Bonn, </em>(<em>1982</em>)Neue Informations- und Kommunikationstechnikenhttp://www.bibsonomy.org/bibtex/294c4428baa27d2da5e20253f8d521e17/fbw_hannoverfbw_hannover2009-08-21T09:55:59+02:00Nachrichtenvermittlung <span class="authorEditorList"><a href="/author/Schnepf">Gisela Schnepf</a>, <a href="/author/Stroetmann">Karl A Stroetmann</a>, and <a href="/author/Zänger">Adolf Zänger</a> </span><em>Informationszentrum Sozialwiss., </em><em>Bonn, </em>(<em>1982</em>)ICT for Patient Safety: Towards a European Research Roadmap.http://www.bibsonomy.org/bibtex/20875d648be7044d3155601cddc43c64b/dblpdblp2006-11-27T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Stroetmann">Veli N. Stroetmann</a>, <a href="/author/Spichtinger">Daniel Spichtinger</a>, <a href="/author/Stroetmann">Karl Stroetmann</a>, and <a href="/author/Thierry">Jean-Pierre Thierry</a> </span><em>ISBMDA, </em><em>volume 4345 of Lecture Notes in Computer Science, </em><em>page 482-493. </em><em>Springer, </em>(<em>2006</em>)dblpPatients and EHRs Tele Home Monitoring Reference Scenario.http://www.bibsonomy.org/bibtex/2c9d4770fd2f5356692118194fdc77d2e/dblpdblp2005-07-21T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Pieper">Michael Pieper</a>, and <a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>Universal Access in Health Telematics, </em><em>volume 3041 of Lecture Notes in Computer Science, </em><em>page 77-87. </em><em>Springer, </em>(<em>2005</em>)dblpParticipatory Insight to Universal Access: Methods and Validation Exercises.http://www.bibsonomy.org/bibtex/25b27f3010cbe038803c8143b0af1cbfa/dblpdblp2005-07-21T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Pieper">Michael Pieper</a>, and <a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>Universal Access in Health Telematics, </em><em>volume 3041 of Lecture Notes in Computer Science, </em><em>page 271-296. </em><em>Springer, </em>(<em>2005</em>)dblpThe Constrained Shortest Path Problem: A Case Study in Using ASMs.http://www.bibsonomy.org/bibtex/20df87bebbcbbf3b7d5bf4107165b43e7/dblpdblp2003-12-01T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>J. UCS</em> <em>3(4):304-319</em> (<em>1997</em>)dblpA Completeness Result for SLDNF-Resolution.http://www.bibsonomy.org/bibtex/295ce3f4949af3ad5d7518b8e66b3671d/dblpdblp2003-11-27T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>J. Log. Program.</em> <em>15(4):337-355</em> (<em>1993</em>)dblpSeduct - A Proof Compiler for First Order Logic.http://www.bibsonomy.org/bibtex/205ceaa1e15420bbe0358ac8c2619f870/dblpdblp2002-02-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Stroetmann">Karl Stroetmann</a> </span><em>KORSO Book, </em><em>volume 1009 of Lecture Notes in Computer Science, </em><em>page 299-316. </em><em>Springer, </em>(<em>1995</em>)dblp