BibSonomyburst/author/Stroetmann, Karl A.BibSonomy RSS feed for /author/Stroetmann, Karl A.2012-02-17T00:11:29+01:00http://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>)Mon Dec 05 00:00:00 CET 2011CoRRCombining Inclusion Polymorphism and Parametric Polymorphismcs.LO/99060131999dblp 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>)Mon Jun 27 00:00:00 CEST 2011SASconf/sas/1996220-237Lecture Notes in Computer ScienceAutomated Modular Termination Proofs for Real Prolog Programs.11451996dblp 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>)Mon Jun 27 00:00:00 CEST 2011SASconf/sas/1996387-388Lecture Notes in Computer SciencePAN - The Prolog Analyzer.11451996dblp 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>)Mon Mar 21 00:00:00 CET 2011I-XII, 1-408Computer-Architektur - Modellierung, Entwicklung und Verifikation mit Verilog: Grundlagen der Elektro- und Informationstechnik.2007dblp 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>)Wed Sep 30 00:00:00 CEST 2009ELPconf/elp/1996255-271Lecture Notes in Computer ScienceA Declarative Semantics for the Prolog Cut Operator.10501996dblp dblphttp://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>)Wed Sep 16 00:00:00 CEST 2009MIEconf/mie/2009876-880Studies in Health Technology and InformaticsDesigning a Socio-Economic Assessment Method for Integrative Biomedical Research: The Osteoporotic Virtual Physiological Human Project.1502009dblp dblphttp://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>)Fri Aug 21 15:12:59 CEST 2009BonnTechnology assessment1982Nachrichtenvermittlung http://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>)Fri Aug 21 09:55:59 CEST 2009BonnNeue Informations- und Kommunikationstechniken1982Nachrichtenvermittlung 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>)Mon Nov 27 00:00:00 CET 2006ISBMDAconf/ismda/2006482-493Lecture Notes in Computer ScienceICT for Patient Safety: Towards a European Research Roadmap.43452006dblp dblphttp://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>)Thu Jul 21 00:00:00 CEST 2005Universal Access in Health Telematicsconf/EUprojects/2005uaht77-87Lecture Notes in Computer SciencePatients and EHRs Tele Home Monitoring Reference Scenario.30412005dblp dblphttp://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>)Thu Jul 21 00:00:00 CEST 2005Universal Access in Health Telematicsconf/EUprojects/2005uaht271-296Lecture Notes in Computer ScienceParticipatory Insight to Universal Access: Methods and Validation Exercises.30412005dblp dblphttp://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>)Mon Dec 01 00:00:00 CET 2003J. UCS4304-319The Constrained Shortest Path Problem: A Case Study in Using ASMs.31997dblp dblphttp://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>)Thu Nov 27 00:00:00 CET 2003J. Log. Program.4337-355A Completeness Result for SLDNF-Resolution.151993dblp dblphttp://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>)Tue Feb 05 00:00:00 CET 2002KORSO Bookconf/korso/1995299-316Lecture Notes in Computer ScienceSeduct - A Proof Compiler for First Order Logic.10091995dblp dblp