Institute of Software Engineering and Programming Languages

Research output

Research Output per year 1996 2003 2004 2005 2007 2008 2012 2014 2016 2018 2024

• 746 Citations
• 95 Conference Papers
• 87 Conference contribution
• 52 Journal articles
• 15 Bachelor Theses
• 39 More
  • 14 Master Theses
  • 8 Anthologies
  • 4 Conference proceedings
  • 4 Other
  • 2 Chapter
  • 2 Editorial
  • 1 Books
  • 1 Special Journal Issues
  • 1 Conference Articles in Journals
  • 1 Scientific review articles
  • 1 Doctoral Theses

Research Output per year

Research Output per year

Search results

• 2005

  Time-awareness and proactivity in models of interactive computation

  Motus, L., Meriste, M. & Dosch, W., 22.12.2005, In: Electronic Notes in Theoretical Computer Science. 141, 5, p. 69-95 27 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Software 66%
  • Computing 33%
  • User 33%
  14 Citations (Scopus)

• Transforming Functional Signatures of Algebraic Specifications into Object-Oriented Class Signatures

  Dölle, B. & Dosch, W., 01.12.2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05). IEEE, p. 323-332 10 p. 1607168. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

  Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Transformation 75%

• Transforming Stream Processing Functions into State Transition Machines

  Dosch, W. & Stümpel, A., 01.12.2005, SERA 2004: Software Engineering Research and Applications . Springer Verlag, Vol. 3647 LNCS. p. 1-18 18 p. (Lecture Notes in Computer Science ; vol. 3647 LNCS).

  Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

• With-Loop Fusion in SAC

  Grelck, C. & Hinckfuß, K., 2005, p. 20-29. 10 p.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2004

  Bridging System Views in Software Design

  Dosch, W., 2004, p. VI-VI. 1 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Components, Interfaces, Behaviours - Concepts for Asynchronous Systems in Software Engineering

  Dosch, W., 2004, p. i-1.

  Research output: Contribution to conference › Conference Papers › peer-review

• Computer-aided refinement of data structures on higher-order algebraic specifications

  Dosch, W. & Magnussen, S., 01.12.2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3026, p. 7-33 27 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Computer 100%
  • Transformation 100%
  • Algorithms 20%
  • Practical Experience 20%
  • Algorithm Analysis 20%
  3 Citations (Scopus)

• Designing a Merge Component - From Communication Histories to State Transition Tables.

  Dosch, W., 2004, p. 1-7. 7 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Developing System Dynamics Models from Causal Loop Diagrams.

  Binder, T., Vox, A., Belyazid, S., Haraldsson, H. V. & Matssvensson, A., 2004, p. 1-22. 22 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• File Sharing Using IP-Multicast.

  Trojahner, K. & Sobe, P., 01.01.2004, p. 380-389. 10 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • User 50%

• Formal Specification Scanning Streams using RAISE

  Dosch, W., Riesco, D., Beron, M. & Montejano, G., 2004, p. 1011-1013. 3 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Generic Array Programming in SAC

  Grelck, C. & Scholz, S.-B., 2004, p. 43-53. 11 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• History Abstractions of an Interactive Dictionary

  Dosch, W., 2004, p. 337-344. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• History Abstractions of a Sequential Memory Cell

  Dosch, W. & Stümpel, A., 2004, p. 241-247. 7 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Implicit Memory Management for SaC

  Grelck, C. & Trojahner, K., 01.01.2004.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Language 25%

• Introducing Control States into Communication Based Specifications of Interactive Components

  Dosch, W. & Stümpel, A., 01.12.2004, p. 875-881. 7 p.

  Research output: Contribution to conference › Conference Papers › peer-review

• Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering

  Dosch, W. & Debnath, N. K., 2004, International Speech Communication Association (ISCA).

  Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review

• Special Issue on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing I

  (ed.), W. D., 2004, In: International Journal of Computer and Information Science . 5, 2, p. 73-162 90 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

• Special Issue on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing II

  (ed.), W. D., 2004, In: International Journal of Computer and Information Science . 5, 3, p. 163-245 83 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

• Stream-Based Design of an Asynchronous Send-Receive Protocol

  Dosch, W., 01.12.2004, p. 868-874. 7 p.

  Research output: Contribution to conference › Conference Papers › peer-review

  • Transformation 100%
  • Architecture 66%

• Streams basados en RSL Aplicados a la Métrica Web Enlaces Rotos

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

  Research output: Contribution to conference › Conference Papers › peer-review

• Transformational Design of a Synchronization Component

  Dosch, W., 2004, p. 337-344. 8 p.

  Research output: Contribution to conference › Conference Papers › peer-review

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

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

  Research output: Contribution to conference › Conference Papers › peer-review

• With-loop scalarization -Merging nested array operations

  Grelck, C., Scholz, S. B. & Trojahner, K., 01.12.2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3145, p. 118-134 17 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Algorithms 25%
  • Context 25%
  • Language 25%
  9 Citations (Scopus)
• 2003

  A Multithreaded Compiler Backend for High-Level Array Programming

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

  Research output: Contribution to conference › Conference Papers › peer-review

  • Language 50%
  • Runtime System 50%
  • Image Processing 50%

• Axis control in SAC

  Grelck, C. & Scholz, S. B., 01.12.2003, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2670, p. 182-198 17 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Language 100%
  5 Citations (Scopus)

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

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

  Research output: Contribution to conference › Conference Papers › peer-review

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

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

  Research output: Contribution to conference › Conference Papers › peer-review

• Especificacion en RSL de Componentes Basadas en Streams

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

  Research output: Contribution to conference › Conference Papers › peer-review

• High-Level Synthesis of Priority Resolution Networks

  Dosch, W., 2003, In: Transactions on Computers. 3, 2

  Research output: Journal Articles › Journal articles › Research › peer-review

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

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

  Research output: Contribution to conference › Conference Papers › peer-review

• On an Interactive Fault-Sensitive Stack - From Communication Histories to State Transition Tables

  Dosch, W., 2003, In: Transactions on Computers. 3, 2, p. 586-593 8 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

• Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03)

  Dosch, W. (Editor) & Lee, R., 2003, ACIS.

  Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review

• Proceedings of the First Hangzhou-Lübeck Conference on Software Engineering (HL-SE'03).

  Chen, C. (Editor), Dosch, W. (Editor), Qian, Y. (Editor) & Lin, H. (Editor), 2003, 113 p.

  Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review

• SAC - From high-level programming with arrays to efficient parallel execution

  Grelck, C. & Scholz, S. B., 01.09.2003, In: Parallel Processing Letters. 13, 3, p. 401-412 12 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Language 50%
  19 Citations (Scopus)

• Stream Based Design of Distributed Systems through Refinement

  Stümpel, A., 2003, 230 p.

  Research output: Published Theses › Master Theses

  • Relationships 49%

• Stream-Based Modelling of an Interactive Priority Queue

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

  Research output: Contribution to conference › Conference Papers › peer-review

  • Scientific Modelling 100%

• Towards an efficient functional implementation of the NAS benchmark FT

  Grelck, C. & Scholz, S. B., 01.12.2003, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2763, p. 230-235 6 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

  • Language 100%
  13 Citations (Scopus)

• Views of Communicating Components

  Dosch, W., 2003, p. 1-1. 1 p.

  Research output: Contribution to conference › Conference Papers › peer-review
• 2002

  Designing an Interactive Stack

  DOSCH, W., 01.01.2002, In: Transactions on Systems. 2, 1, p. 296-302 7 p.

  Research output: Journal Articles › Journal articles › Research › peer-review

• History Abstractions of a Sequential Memory Component

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

  Research output: Contribution to conference › Conference Papers › peer-review

• Implementing the NAS Benchmark MG in SAC

  Grelck, C., 01.01.2002, Proceedings 16th International Parallel and Distributed Processing Symposium. IEEE, p. 104-104 1 p. 1016488. (IEEE Proceedings).

  Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Language 33%

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

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

  Research output: Contribution to conference › Conference Papers › peer-review

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

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

  Research output: Contribution to conference › Conference Papers › peer-review

  • Language 100%
  • Shared Memory 100%
  • Good Candidate 50%

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

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

  Research output: Contribution to conference › Conference Papers › peer-review

• Optimizations on Array Skeletons in a Shared Memory Environment

  Grelck, C., 01.01.2002, IFL 2001: Implementation of Functional Languages. Springer Verlag, Vol. 2312. p. 36-54 9 p. (Lecture Notes in Computer Science; vol. 2312).

  Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Shared Memory 100%
  • Program Execution 100%

• Scanning Streams

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

  Research output: Contribution to conference › Conference Papers › peer-review

• The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

  Dosch, W. & Magnussen, S., 01.12.2002, WADT 2001: Recent Trends in Algebraic Development Techniques . Springer Verlag, p. 85-108 14 p. (Lecture Notes in Computer Science; vol. 2267 LNCS).

  Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Property 100%
  • Architecture 100%
  • Support System 100%
  • Lifecycle 100%
  • User 33%

• Views of a Bounded Stack

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

  Research output: Contribution to conference › Conference Papers › peer-review
• 2001

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

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

  Research output: Contribution to conference › Conference Papers › peer-review