Institut für Softwaretechnik und Programmiersprachen

Publikationen

Publikationen pro Jahr 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Scopus-Zitationen
• 95 Konferenzpapiere
• 87 Konferenzbeitrag
• 50 Zeitschriftenaufsätze
• 15 Bachelorarbeiten
• 39 Mehr
  • 14 Masterarbeiten
  • 8 Anthologien
  • 4 Konferenzbände und -dokumentationen
  • 4 Andere
  • 2 Kapitel
  • 2 Leitartikel
  • 1 Bücher
  • 1 Besondere Zeitschrifteneditionen/Sonderausgaben
  • 1 Konferenzaufsätze in Fachzeitschriften
  • 1 Übersichtsarbeiten
  • 1 Dissertationen

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2001

  Data Parallel List Programming with Two-Level Homomorphisms.

  Dosch, W. & Wiedemann, B., 2001, S. 1033-1040 . 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Deriving Data Parallel Implementations For List Predicates.

  Dosch, W., 2001, S. 200-206 . 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• From Stream Transformers to State Transition Systems with Input and Output.

  Dosch, W. & Stümpel, A., 2001, S. 231-238. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• High-Level Synthesis of Digital Comparators

  Dosch, W., 2001, S. 583-590. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Order-Theoretic Refinement of Infinite Stream Behaviours

  Dosch, W., 2001, S. 68-74. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Refining Stream Transformers to State-Based Components.

  Dosch, W. & Stümpel, A., 2001, S. 165-169. 5 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Stream Based Design of Communicating Components.

  Dosch, W., 2001.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Views of a memory cell

  Dosch, W. & Stümpel, A., 01.12.2001, Advances in Automation, Multimedia and Video Systems, and Modern Computer Science. World Scientific and Engineering Academy and Society, S. 47-55 9 S.

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Kapitel › Begutachtung

  • Acoustic waves 100%
  • Specifications 81%
  • Data storage equipment 77%
  5 Zitate (Scopus)

• Views of an Unbounded Buffer.

  Dosch, W. & Stümpel, A., 2001, S. 108-115. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung
• 2000

  Circuit Design with List Homomorphisms

  Dosch, W., 2000, S. 141-148. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Designing a Data-Parallel Implementation for a Triple-Based Functional Skeleton

  Dosch, W., 2000, S. 45-52 . 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Designing a Single Pulser

  Dosch, W., 2000, S. 244-249. 6 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Merging Ordered Streams

  Dosch, W. & Stümpel, A., 2000, S. 377-382. 6 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Refining Infinite Stream Behaviours By Bound Functions.

  Dosch, W., 2000, S. 689-694. 6 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Transformational Derivation of a Bytecode Verifier

  Dosch, W. & Magnussen, S., 2000, S. 443-448. 6 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Transforming Stream Processing Functions into State Based Components

  Dosch, W., 2000, S. 27-34. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung
• 1999

  Enriching List Homomorphisms By Index Calculations

  Dosch, W. & Wiedemann, B., 1999, S. 3041-3047. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• From Streams To States

  Dosch, W., 1999, S. 62-62. 1 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Inhibition of thiopurine S-methyltransferase activity by impurities in commercially available substrates: A factor for differing results of TPMT measurements

  Kröplin, T., Fischer, C. & Iven, H., 03.07.1999, in: European Journal of Clinical Pharmacology. 55, 4, S. 285-291 7 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • thiopurine methyltransferase 100%
  • Thioguanine 89%
  • S-Adenosylmethionine 42%
  • Methylation 29%
  • Mercaptopurine 21%
  27 Zitate (Scopus)

• List Homomorphisms with Accumulation and Indexing

  Dosch, W. & Wiedemann, B., 1999, S. 135-143. 9 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Transformational Design of a Merge Agent For Ordered Streams.

  Dosch, W. & Stümpel, A., 1999, S. 171-176. 6 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung
• 1998

  An Improved Data Parallel Algorithm For the LSS Problem.

  Dosch, W., 1998, S. 111-116 . 6 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• A Pair-Based Functional Skeleton and its List Homomorphic Implementation

  Dosch, W., 1998, S. 561-567 . 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Calculating List Homomorphisms For Parallel Bracket Matching

  Dosch, W. & Wiedemann, B., 1998, S. 1710-1717. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Deriving a Data Parallel Implementation For a Pair-Based List Cover.

  Dosch, W., 1998, in: Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware PARS 17.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

• Deriving A Data Parallel Implementation For A Prefix-Based Skeleton.

  Dosch, W., 1998, S. 684-690. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• On Monotonic Extensions of Boolean Functions

  Dosch, W., 1998, S. 149-152. 4 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Partition-Based Skeletons and Their List Homomorphic Implementation

  Dosch, W., 1998, S. 297-315. 9 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Target anticipation and impairment of smooth pursuit eye movements in schizophrenia

  Trillenberg, P., Heide, W., Junghanns, K., Blankenburg, M., Arolt, V. & Kömpf, D., 26.05.1998, in: Experimental Brain Research. 120, 3, S. 316-324 9 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Smooth Pursuit 100%
  • Eye Movements 74%
  • Schizophrenia 58%
  • Eye 12%
  • Healthy Volunteers 6%
  20 Zitate (Scopus)
• 1997

  'Auto-CPAP'-therapie des obstruktiven Schlafapnoe-syndroms: Eine prospektive randomisierte untersuchung wahrend der therapie-einleitung

  Picker, J. H., Wiest, G. H., Lehnert, G., Fischer, C. J., Katalinic, A. & Hahn, E. G., 01.12.1997, in: Deutsche Medizinische Wochenschrift. 122, 48, S. 1482-1488 7 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Obstructive Sleep Apnea 100%
  • Prospective Studies 62%
  • Apnea 45%
  • Continuous Positive Airway Pressure 38%
  • Sleep 33%
  7 Zitate (Scopus)

• "Auto-CPAP"-Therapie des obstruktiven Schlafapnoe-Syndroms. Eine prospektive randomisierte Untersuchung während der Therapie-Einleitung

  Ficker, J. H., Wiest, G. H., Lehnert, G., Fischer, C. J., Katalinic, A. & Hahn, E. G., 28.11.1997, in: Deutsche medizinische Wochenschrift (1946). 122, 48, S. 1482-8 7 S.

  Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Obstructive Sleep Apnea 100%
  • Prospective Studies 62%
  • Apnea 51%
  • Continuous Positive Airway Pressure 43%
  • Sleep 28%

• Calculating a Functional Module for Binary Search Trees

  Dosch, W. & Möller, B., 1997, S. 267-284. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Specifications 100%

• Design Decisions for the Parallel Evaluation of Polynomials.

  Dosch, W., 1997, S. 636-644. 9 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• On Swap Systems

  Dosch, W., 1997, S. 32-36. 5 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung
• 1996

  Calculating Digital Counters

  Dosch, W., 01.01.1996, PSI 1996: Perspectives of System Informatics . Springer Verlag, Band 1181. S. 21-39 9 S. (Lecture Notes in Computer Science ; Band 1181).

  Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Specifications 100%
  • Networks (circuits) 42%

• Calculating Hamming Streams

  Dosch, W., 1996, S. 529-534. 6 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung