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

• 2004

  Una Componente de Streams para Contabilizar la Métrica Web Número de Enlaces Rotos.

  Dosch, W., Riesco, D., Beron, M. & Montejano, G., 2004.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung
• 2003

  A Multithreaded Compiler Backend for High-Level Array Programming

  Grelck, C., 01.12.2003, S. 478-484. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Data structures 100%
  • Image processing 94%
  • Specifications 78%
  • Data storage equipment 73%

• Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications

  Dosch, W., 2003, S. 210-217. 8 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Deriving Different Views of an Interactive Double-Ended Bounded Queue.

  Dosch, W., 01.01.2003, S. 397-403. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Especificacion en RSL de Componentes Basadas en Streams

  Riesco, D., Beron, M., Montejano, G. & Dosch, W., 2003, S. 470-474. 5 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• High-Level Synthesis of Two-Digit Pattern Matching Networks

  Dosch, W., 2003, S. 145-151. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Stream-Based Modelling of an Interactive Priority Queue

  Dosch, W., 01.12.2003, S. 559-565. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Acoustic waves 100%

• Views of Communicating Components

  Dosch, W., 2003, S. 1-1. 1 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung
• 2002

  History Abstractions of a Sequential Memory Component

  Dosch, W. & Stümpel, A., 2002, S. 702-702. 1 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Introducing Generalized Rank Conjunctions to SAC or How to Write and to Compile Nested Array Operations

  Grelck, C. & Scholz, S. B., 01.01.2002, S. 223-225. 3 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Lessons learned from the Shared Memory Parallelization of a Functional Array Language (Draft)

  Grelck, C., 01.07.2002, S. 1-10. 10 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Data storage equipment 100%
  • Cache memory 70%
  • Decomposition 39%

• Mechanizing the Refinement of Data Structures with the Lübeck Transformation System

  Dosch, W. & Magnussen, S., 2002, S. 35-38. 4 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Scanning Streams

  Dosch, W., 2002, S. 61-67. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Views of a Bounded Stack

  Dosch, W., 2002, S. 11-17. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung
• 2001

  Algebraic Data Structure Refinement with the Lübeck Transformation System.

  Dosch, W. & Magnussen, S., 2001, S. 7-12. 6 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• Curtailing Infinite Stream Behaviours

  Dosch, W., 2001, S. 946-952. 7 S.

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

• 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 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

• 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 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
• 1997

  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 Hamming Streams

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

  Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung