Prof. Dr. Sergei Gorlatch

Professur für Praktische Informatik (Prof. Gorlatch)
Prof. Dr. Sergei Gorlatch

Einsteinstr. 62
48149 Münster

  • Forschungsschwerpunkte

    • Algorithmen- und Softwareentwicklung für moderne Rechnersysteme
    • Parallele und verteilte Systeme, Middleware, Grids und Clouds
    • Hochleistungsrechnen, multi-core und GPU-basierte Systeme
    • Verteilte Anwendungen: Online Spiele, Simulationen
    • Performance-Modelle und Optimierung

  • Vita

    Akademische Ausbildung

    Habilitation an der Universität Passau, Erlangung der Venia legendi für Informatik, Habilitationsthema: "Abstraction and Performance in the Development of Programs for Parallel and Networked Systems"
    Promotion zum Dr. rer. nat. in Informatik am Institut für Kybernetik der Akademie der Wissenschaften in Kiew, Dissertationsthema: "Algebren von Datenstrukturen und ihre Anwendung in Parallelen Systemen", Betreuer: Prof. A. Letichevsky
    Diplom in Angewandter Mathematik und Informatik, Universität Kiew
    Studium der Angewandten Mathematik und Informatik (Diplom) an der Universität Kiew

    Beruflicher Werdegang

    Gastprofessor, Universität Iwate, Japan
    Universitätsprofessor (C4), Inhaber des Lehrstuhls für Praktische Informatik (Parallele und Verteilte Systeme) der Westfälischen Wilhelms-Universität Münster
    Universitätsprofessor (C3) für Parallele und Verteilte Programmierung, Technische Universität Berlin
    Oberassistent (C2), Universität Passau
    Gastprofessor, Universität Lyon, Frankreich
    Wissenschaftlicher Assistent (C1) und Habilitand, Universität Passau
    Gastprofessor, Universität Pisa, Italien
    Gastprofessor an der TU München als Research Fellow der Alexander-von-Humboldt-Stiftung (Bonn)
    Projektgruppenleiter am Institut fuer Kybernetik, Kiew

    Mitgliedschaften und Aktivitäten in Gremien

    Mitglied des Editorial Boards des "Journal of Cluster Computing"
    Mitglied des Editorial Boards der Zeitschrift "Multiagent and Grid Systems"
    Herausgeber des "Journal of Programming and Artificial Intelligence"
    Vorsitzender des Programm-Ausschusses des "International Workshop on Constructive Methods for Parallel Programming"

    Rufe

    Ruf an die Universität Düsseldorf (abgelehnt)
    – abgelehnt
    Ruf an die TU Berlin (abgelehnt)
    – abgelehnt
    Ruf an die Universität Gießen, (abgelehnt)
    – abgelehnt

  • Publikationen

    • , , , und . . „Towards an Autoscaling Service for Real-Time Online Interactive Applications on Clouds.“ In Euromicro Conference on Parallel, Distributed and Network-Based Processing, herausgegeben von A Chis und H. González-Vélez. New York City: Wiley-IEEE Press. doi: 10.1109/PDP62718.2024.00024.
    • , , und . „Performance Evaluation of a Legacy Real-Time System: An Improved RAST Approach.“ In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von JL. Guisado-Lizar, A. Riscos-Núñez, MJ. Morón-Fernández und G. Wainer. Heidelberg: Springer. doi: 10.1007/978-3-031-57523-5_2.
    • , und . „KNOWLEDGE ACQUISITION IN MULTI-AGENT SYSTEMS: A FORMALIZATION OF THE ELEUSIS CARD GAME.“ Journal of Mathematical Sciences, Nr. 281 (2) doi: 10.1007/s10958-024-07107-y.
    • , , und . . „Descend: A Safe GPU Systems Programming Language.“ Proceedings of the ACM on Programming Languages, Nr. 8 (PLDI): 841–864. doi: 10.1145/3656411.
    • , und . . „Autotuning Parallel Programs by Model Checking.“ Automatic Control and Computer Sciences, Nr. 56 (7): 634–648. doi: 10.3103/S0146411622070045.
    • , , , , , und . . „(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules.“ In CC 2023: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, herausgegeben von Clark Verbrugge. New York, NY: ACM Press. doi: 10.1145/3578360.3580269.
    • , , , , , und . . „Achieving High Performance the Functional Way: Expressing High-Performance Optimizations as Rewrite Strategies.“ Communications of the ACM, Nr. 66 (3): 89–97. doi: 10.1145/3580371.
    • , , , und . „Multi-Cloud Container Orchestration for High-Performance Real-Time Online Applications.“ In Euromicro Conference on Parallel, Distributed and Network-Based Processing, herausgegeben von R. Montella, A. Ciaramella, M. Lapegna, M. Danelutto und D. Blanco Heras. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/PDP59025.2023.00054.
    • , , , und . „An OpenVPN-Based Interconnection in Multi-Clouds with Windows and Linux nodes.“ In Consumer Communications and Networking Conference, CCNC IEEE, herausgegeben von K. Chowdhury. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/CCNC51644.2023.10059709.
    • , , und . „Accelerating Neural Network Training Process on Multi-Core Machine Using OpenMP.“ In 2022 III International Conference on Neural Networks and Neurotechnologies (NeuroNT), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/NeuroNT55429.2022.9805549.
    • , , und . . „Modeling and interactive simulation of measures against infection transmission.“ Simulation: Transactions of the Society for Modeling and Simulation International, Nr. I (20) doi: 10.1177/00375497221133849.
    • , , und . „Model Checking Meets Auto-Tuning of High-Performance Programs.“ In Logic-Based Program Synthesis and Transformation, Bd. 13474 aus Lecture Notes in Computer Science, herausgegeben von A. Villanueva. Heidelberg: Springer. doi: 10.1007/978-3-031-16767-6_4.
    • , und . . „RAST: Evaluating Performance of a Legacy System Using Regression Analysis and Simulation.“ In 2022 30th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), herausgegeben von K Grochla und E Gelenbe. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/MASCOTS56607.2022.00015.
    • , , und . . „Towards a Generic Framework for GPU-Parallelized Simulations of Light-Driven Nano-Particles.“ In Proceedings of the 2022 International Conference on Computational Science and Computational Intelligence, herausgegeben von Hamid Arabnia, Leonidas Deligiannidis, Fernando Tinetti und Quoc-Nam Tran. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/CSCI58124.2022.00245.
    • , , , und . . „Systematically extending a high-level code generator with support for tensor cores.“ In GPGPU@PPoPP 2022: Proceedings of the 14th Workshop on General Purpose Processing Using GPU, Virtual Event, Seoul, Republic of Korea, 3 April 2022, herausgegeben von Y Sun, D Wong und H Naghibijouybari. New York, NY: ACM Press. doi: 10.1145/3530390.3532733.
    • Mohamed, Salem Abdel-Badeeh, und Gorlatch, Sergei, Hrsg. . Advances in Science and Technology, Bd. 105, Materials, Computer Engineering and Education Technology, Bäch: Trans Tech Publications. doi: 10.4028/www.scientific.net/AST.105.
    • , und . . „Efficient GPU-parallelization of batch plants design using metaheuristics with parameter tuning.“ Journal of Parallel and Distributed Computing, Nr. 154: 74–81. doi: 10.1016/j.jpdc.2021.03.012.
    • , und . . „Measuring Performance of Fault Management in a Legacy System: An Alarm System Study.“ In Modelling, Analysis, and Simulation of Computer and Telecommunication Systems. MASCOTS 2020, Bd. 12527 aus Lecture Notes in Computer Science, herausgegeben von M Calzarossa, E Gelenbe, K Grochla, R Lent und T Czachórski. Heidelberg: Springer. doi: 10.1007/978-3-030-68110-4_9.
    • , und . . „Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF).“ Transactions on Architecture and Code Optimization, Nr. 18 (1): 1–26. doi: 10.1145/3427093.
    • , , , und . . „A Scalable Cloud Deployment Architecture for High-Performance Real-Time Online Applications.“ In High Performance Computing, Bd. 12761 aus Lecture Notes in Computer Science, herausgegeben von H Jagode, H Anzt, H Ltaief und P Luszczek. Heidelberg: Springer. doi: 10.1007/978-3-030-90539-2_26.
    • , , und . . „Introducing Interactivity in Disaster Recovery Simulations.“ In New Trends in Intelligent Software Methodologies, Tools and Techniques, Frontiers in Artificial Intelligence and Applications, herausgegeben von H Fujita und H Perez-Meana. Amsterdam: IOS Press. doi: 10.3233/FAIA210026.
    • , und . . „Implicit Data Layout Optimization for Portable Parallel Programming in C++.“ In Parallel Computing Technologies, Bd. 12942 aus Lecture Notes in Computer Science, herausgegeben von V Malyshkin. Heidelberg: Springer. doi: 10.1007/978-3-030-86359-3_17.
    • , , , , und . . „Testing of multithreaded applications with locks on non-atomic variables.“ Scientific and Technical Journal of Information Technologies, Mechanics and Optics, Nr. 20 (2): 243–248. doi: 10.17586/2226-1494-2020-20-2-243-248.
    • , , und . . „Efficient Distribution and Processing of Data for Parallelizing Data Mining in Mobile Clouds.“ Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Nr. 11 (1): 2–17. doi: 10.22667/JOWUA.2020.03.31.002.
    • , , und . . „Performance Portability and Unified Profiling for Finite Element Methods on Parallel Systems.“ Advances in Science, Technology and Engineering Systems Journal (ASTESJ), Nr. 5 (1): 119–127. doi: 10.25046/aj050116.
    • , , und . . „Improving Parallel Data Mining for Different Data Distributions in IoT Systems.“ In Intelligent Distributed Computing XIII, Bd. 868 aus Studies in Computational Intelligence, herausgegeben von I Kotenko, C Badica, V Desnitsky, Baz D El und M Ivanovic. Heidelberg: Springer. doi: 10.1007/978-3-030-32258-8_9.
    • , und . . „Simulating Infection Transmission: A Case Study of COVID-19.“ In Modelling and Simulation 2020, herausgegeben von Alexandre Nketsa, Claude Baron und Clément Foucher. N/A: Sonstiger Verlag / other publisher.
    • , , , , , und . . „An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.“ In Formal Methods. FM 2019 International Workshops, Bd. 12232 aus Lecture Notes in Computer Science, herausgegeben von E Sekerinski, N Moreira, JN Oliveira, D Ratiu, R Guidotti, M Farrell, M Luckcuck, D Marmsoler, J Campos, T Astarte, L Gonnord, A Cerone, L Couto, B Dongol, M Kutrib, P Monteiro und D Delmas. doi: 10.1007/978-3-030-54994-7_9.
    • , , , , , und . . „Dedicative Verification of Reflex Programs.“ Programming and Computer Software, Nr. 46: 261–272. doi: 10.1134/S0361768820040027.
    • , , und . . „A Plug-in Framework for Efficient Multicast Using SDN.“ In Wireless Internet, Bd. 317 aus Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von DJ Deng, AC Pang und CC Lin. Heidelberg: Springer. doi: 10.1007/978-3-030-52988-8_24.
    • , , , , , und . . „Achieving High-Performance the Functional Way: A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies.“ In Proceedings of the ACM on Programming Languages, Bd. ICFP aus 4 USA.
    • , , und . . „md_poly: A Performance-Portable Polyhedral Compiler Based on Multi-Dimensional Homomorphisms.“ Beitrag präsentiert auf der 10th International Workshop on Polyhedral Compilation Techniques, Bologna
    • , , , und . . „Parallelization of the self-organized maps algorithm for federated learning on distributed sources.“ The Journal of Supercomputing, Nr. 2020 doi: 10.1007/s11227-020-03509-2.
    • , , , , , und . . „Reasoning about Programmable Logic Controllers.“ System Informatics, Nr. 2020 (17): 33–42.
    • , und . . „Distributed Simulation of Crowds with Groups in CrowdSim.“ In 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/DS-RT47707.2019.8958690.
    • , , und . . „Two-Step Deductive Verification of Control Software Using Reflex.“ In Perspectives of System Informatics, Bd. 11964 aus Lecture Notes in Computer Science, herausgegeben von Nikolaj Bjørner, Irina Virbitskaite und Andrei Voronkov. Heidelberg: Springer. doi: 10.1007/978-3-030-37487-7.
    • . . „Toward Structured Parallel Programming: Send-Receive Considered Harmful.“ In Models, Mindsets, Meta: The What, the How, and the Why Not?, Bd. 11200 aus Lecture Notes in Computer Science, herausgegeben von T Margaria, S Graf und K Larsen. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-22348-9_13.
    • , , , und . . „Parallelization of Algorithms for Mining Data from Distributed Sources.“ In Parallel Computing Technologies. PaCT 2019, Bd. 11657 aus Lecture Notes in Computer Science, herausgegeben von V Malyshkin. Heidelberg: Springer. doi: 10.1007/978-3-030-25636-4_23.
    • , und . . „Optimizing a GPU-Parallelized Ant Colony Metaheuristic by Parameter Tuning.“ In Parallel Computing Technologies. PaCT 2019, Bd. 11657 aus Lecture Notes in Computer Science, herausgegeben von V Malyshkin. Heidelberg: Springer. doi: 10.1007/978-3-030-25636-4_12.
    • , , , , , und . . „High-performance Probabilistic Record Linkage via Multi-dimensional Homomorphisms.“ In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC '19, herausgegeben von ACM. New York, NY: ACM Press. doi: 10.1145/3297280.3297330.
    • , , , , und . . „dOCAL: high-level distributed programming with OpenCL and CUDA.“ The Journal of Supercomputing, Nr. 65: 1–22. doi: 10.1007/s11227-019-02829-2.
    • , , und . . „Unified Cross-Platform Profiling of Parallel C++ Applications.“ Beitrag präsentiert auf der 2018 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS), Dallas, TX, USA doi: 10.1109/PMBS.2018.8641652.
    • , und . . „ATF: A generic directive‐based auto‐tuning framework.“ Concurrency Computation - Practice and Experience, Nr. 31 (5) doi: 10.1002/cpe.4423.
    • . . „Send-Receive Considered Harmful: Toward Structured Parallel Programming.“ In The Art of Structuring: Bridging the Gap Between Information Systems Research and Practice, herausgegeben von Katrin Bergener, Michael Räckers und Armin Stein. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-06234-7.
    • , , und . . „Generating Portable High-Performance Code via Multi-Dimensional Homomorphisms.“ Beitrag präsentiert auf der 28th International Conference on Parallel Architectures and Compilation Techniques (PACT), Seattle WA
    • , , und . . „Generating efficient FFT GPU code with Lift.“ In Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019, herausgegeben von M Zocca. New York, NY: ACM Press. doi: 10.1145/3331553.3342613.
    • , und . . „Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.“ International Journal of Parallel Programming, Nr. 46: 1–3. doi: 10.1007/s10766-017-0512-3.
    • , und . . „ATF: A Generic, Directive-Based Auto-Tuning Framework.“ Concurrency Computation - Practice and Experience, Nr. 30 (3) doi: 10.1002/cpe.4423.
    • , und . . „Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.“ Future Generation Computer Systems, Nr. 2018 (86): 1019–1031. doi: 10.1016/j.future.2017.07.041.
    • , , , und . . „A formally based parallelization of data mining algorithms for multi-core systems.“ The Journal of Supercomputing, Nr. 2018: 1–12. doi: 10.1007/s11227-018-2473-8.
    • , und . . „Comparing GPU-parallelized metaheuristics to branch-and-bound for batch plants optimization.“ The Journal of Supercomputing, Nr. 2018: 1–13. doi: 10.1007/s11227-018-2472-9.
    • , , , , und . . „Efficient Load Balancing for Multicast Traffic in Data Center Networks Using SDN.“ In 2018 10th International Conference on Communication Systems & Networks (COMSNETS), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/COMSNETS.2018.8328187.
    • , , , , und . . „High Performance Stencil Code Generation with Lift.“ In Proceedings of the 2018 International Symposium on Code Generation and Optimization, {CGO} 2018, Vössendorf / Vienna, Austria, February 24-28, 2018 doi: 10.1145/3168824.
    • , , und . „A Transformation-Based Approach to Developing High-Performance GPU Programs.“ In Bd. null aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Heidelberg: Springer. doi: 10.1007/978-3-319-74313-4_14.
    • , , , und . . „OCAL: An Abstraction for Host-Code Programming with OpenCL and CUDA.“ In 2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/PADSW.2018.8644541.
    • , und . . „An Ontology of Specification Patterns for Verification of Concurrent Systems.“ In New Trends in Intelligent Software Methodologies, Tools and Techniques, Bd. 303 aus Frontiers in Artificial Intelligence and Applications, herausgegeben von Hamido Fujita und Enrique Herrera-Viedma. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-900-3-515.
    • , , , , und . . „Towards Composable GPU Programming: Programming GPUs with Eager Actions and Lazy Views.“ In Proceedings of the 8th International Workshop on Programming Models and Applications for Multicores and Manycores, herausgegeben von Q Chen und Z Huang. New York, NY: ACM Press. doi: 10.1145/3026937.3026942.
    • , und . . „Parallelizing Metaheuristics for Optimal Design of Multiproduct Batch Plants on GPU.“ In Lecture Notes in Computer Science (LNCS, volume 10421), herausgegeben von V. Malyshkin. Heidelberg: Springer. doi: 10.1007/978-3-319-62932-2_39.
    • , , , , und . . „eccCL: Parallelized GPU Implementation of Ensemble Classifier Chains.“ BMC Bioinformatics, Nr. 2017 doi: 10.1186/s12859-017-1783-9.
    • , , und . . „Towards Simulating the Communication Behavior of Real-Time Interactive Applications.“ Beitrag präsentiert auf der 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM PADS'17), Singapore doi: 10.1145/3064911.3064931.
    • , und . . „Multi-Dimensional Homomorphisms and Their Implementation in OpenCL.“ International Journal of Parallel Programming, Nr. 2017: 1–19. doi: 10.1007/s10766-017-0508-z.
    • , und . . „Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications.“ Parallel Processing Letters, Nr. 27 (1): 1–2. doi: 10.1142/S0129626417020017.
    • , und . . „High-Level Programming for Many-Cores using C++14 and the STL.“ International Journal of Parallel Programming, Nr. 2017 doi: 10.1007/s10766-017-0497-y.
    • , und . . „Using Multiple Semantic Measures for Coreference Resolution in Ontology Population.“ International Journal of Computing, Nr. 16 (3): 166–176.
    • , , , , , und . . „Skeleton Programming for Portable Many-Core Computing.“ In Programming Multicore and Many-core Computing Systems, herausgegeben von Sabri Pllana und Fatos Xhafa. New York City: John Wiley & Sons.
    • , , und . . „A Functional Approach to Parallelizing Data Mining Algorithms in Java.“ In Lecture Notes in Computer Science (LNCS, volume 10421), Bd. 10421 , herausgegeben von V. Malyshkin. Heidelberg: Springer. doi: 10.1007/978-3-319-62932-2_44.
    • , , und . . „Towards Efficient Multicast Communication in Software-Defined Networks.“ In 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/ICDCSW.2016.15.
    • , , , und . „TripleID: A low-overhead representation and querying using GPU for large RDFs.“ In Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery, Bd. 613 aus Communications in Computer and Information Science, herausgegeben von S Kozielsk. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-319-34099-9_31.
    • , und . . „Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.“ Beitrag präsentiert auf der International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, Chicago, USA
    • , und . . „Efficient Development and Execution of Adaptable Online Games on Clouds.“ Emerging Technologies and Applications for Cloud-Based Gaming, Nr. 2016
    • , , und . . „A GPU parallelization of branch-and-bound for multiproduct batch plants optimization.“ The Journal of Supercomputing, Nr. 72: 1–13. doi: 10.1007/s11227-016-1784-x.
    • , , und . . „Programming GPUs with C++14 and Just-In-Time Compilation.“ In Bd. 27 aus Advances in Parallel Computing Bristol: IOP Publishing. doi: 10.3233/978-1-61499-621-7-247.
    • , , , und . . „Multi-Stage Programming for GPUs in Modern C++ using PACXX.“ Beitrag präsentiert auf der The 9th Annual Workshop on General Purpose Processing Using Graphics Processing Unit, GPGPU '16, Barcelona, Spain New York, NY: ACM Press. doi: 10.1145/2884045.2884049.
    • , , , , und . . „RTF+Shark: Using Software-Defined Networks for Multiplayer Online Games.“ Beitrag präsentiert auf der 14th IEEE/ACM International Workshop on Network and Systems Support for Games (NetGames) 2015, Zagreb
    • , , und . . „A Network-Based Scalability Model for Distributed Real-Time Resource Management.“ In Bd. 1 aus International MultiConference of Engineers and Computer Scientists Hong Kong: Newswood.
    • , , , und . . „Accelerating Keyword Search for Large RDF Data on Many-Core Systems.“ Beitrag präsentiert auf der The 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, Naples, Italy
    • , , und . . „Parallelizing Branch-and-Bound on GPUs for Optimization of Multiproduct Batch Plants.“ In Parallel Computing Technologies, Bd. 9251 aus Lecture Notes in Computer Science, herausgegeben von Springer. Heidelberg: Springer. doi: 10.1007/978-3-319-21909-7_33.
    • , und . . „Enabling High-Level QoS Metrics for Interactive Online Applications Using SDN.“ Beitrag präsentiert auf der International Conference on Computing, Networking and Communications (ICNC'15), Anaheim
    • , , , , und . . „gCUP: Rapid GPU-based HIV-1 Coreceptor Usage Prediction for Next-Generation Sequencing.“ Bioinformatics, Nr. 30 (22): 3272–3273. doi: 10.1093/bioinformatics/btu535.
    • , und . . „High-Level Programming of Stencil Computations on Multi-GPU Systems using the SkelCL Library.“ Parallel Processing Letters, Nr. 24 (03): 1441005. doi: 10.1142/S0129626414410059.
    • , , und . . „A Northbound API for QoS Management in Real-Time Interactive Applications on Software-Defined Networks.“ Journal of Communications, Nr. 2014 (9): 607–615. doi: 10.12720/jcm.9.8.607-615.
    • , und . . „HLSF: A High-Level, C++-Based Framework for Stencil Computations on Accelerators.“ Beitrag präsentiert auf der Second Workshop on Optimizing Stencil Computations WOSC'14 at SPLASH 14, Portland New York, NY: ACM Press. doi: 10.1145/2686745.2686751.
    • , und . . „PACXX: Towards a Unified Programming Model for Programming Accelerators using C++14.“ In LLVM-HPC '14 Proceedings of the 2014 LLVM Compiler Infrastructure in HPC New York City: Wiley-IEEE Press. doi: 10.1109/LLVM-HPC.2014.9.
    • , , , , , und . . „Using Mobile Cloud Computing for Real-Time Online Applications.“ Beitrag präsentiert auf der IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, Oxford, UK
    • , , , , , und . . „Bringing Mobile Online Games to Clouds.“ Beitrag präsentiert auf der IEEE INFOCOM Workshop on Mobile Cloud Computing, Toronto, Canada
    • , , und . „Using Software-Defined Networking for Real-Time Internet Applications.“ In Proc. of the International MultiConference of Engineers and Computer Scientists (IMECS 2014), Lecture Notes in Engineering and Computer Science, herausgegeben von Newswood Limited.
    • , , und . „Improving QoS in real-time internet applications: From best-effort to software-defined networks.“ In Bd. null New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/ICCNC.2014.6785329.
    • , und . . „Towards High-Level Programming for Systems with Many Cores.“ In Perspectives of Systems Informatics - 9th International Andrei Ershov Memorial Conference, PSI 2014, Lecture Notes in Computer Schience, herausgegeben von Alexander Marchuk und Andrey Terekhov. Heidelberg: Springer.
    • , und . . „SkelCL: a high-level extension of OpenCL for multi-GPU systems.“ The Journal of Supercomputing, Nr. 69 (1): 25–33. doi: 10.1007/s11227-014-1213-y.
    • , , und . . „Extending the SkelCL Skeleton Library for Stencil Computations on Multi-GPU Systems.“ In Proceedings of the 1st International Workshop on High-Performance Stencil Computations, herausgegeben von A Größlinger und H Köstler. Wien: International Workshop on High-Performance Stencil Computations.
    • , und . . „Introducing and Implementing the Allpairs Skeleton for Programming Multi-GPU Systems.“ International Journal of Parallel Programming, Nr. 42 (4): 601–618. doi: 10.1007/s10766-013-0265-6.
    • , und . . „High-Level Programming for Medical Imaging on Multi-GPU Systems using the SkelCL Library.“ Procedia Computer Science, Nr. 18: 749–758. doi: 10.1016/j.procs.2013.05.239.
    • , , und . . „A Scalability Model for Distributed Resource Management in Real-Time Online Applications.“ In Proceedings of the 2013 International Conference on Parallel Processing (ICPP)
    • , , und . . „dOpenCL: Towards uniform programming of distributed heterogeneous multi-/many-core systems.“ Journal of Parallel and Distributed Computing, Nr. 73 (12): 1639–1648. doi: 10.1016/j.jpdc.2013.07.021.
    • , und . . „SkelCL: Enhancing OpenCL for High-Level Programming of Multi-GPU Systems.“ In Parallel Computing Technologies - 12th International Conference (PaCT 2013), Bd. 7979 aus Lecture Notes in Computer Science, herausgegeben von Malyshkin Victor. Heidelberg: Springer. doi: 10.1007/978-3-642-39958-9_24.
    • , , und . . „Uniform High-Level Programming of Many-Core and Multi-GPU Systems.“ In Transition of HPC Towards Exascale Computing, Bd. 24 aus Advances in Parallel Computing, herausgegeben von Erik D'Hollander, Jack Dongarra, Ian Foster, Lucio Grandinetti und Gerhard Joubert. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-324-7-159.
    • , , , und . . „Towards bringing real-time online applications on clouds.“ Beitrag präsentiert auf der International Conference on Computing, Networking and Communications (ICNC), Maui, Hawaii, USA
    • , , , , , , , , und . . „Research challenges on engineering service-oriented applications.“ Beitrag präsentiert auf der ICSE 2012 Workshop on European Software Services and Systems Research -- Results and Challenges (S-Cube), Zurich, Switzerland
    • , , , , und . . „Developing Infrastructures for Online Games and Distance Learning using RTF.“ In Proceedings of the International MultiConference of Engineers and Computer Scientists 2012, Bd. 2195 aus Lecture Notes in Engineering and Computer Science, herausgegeben von S.I. Ao, Oscar Castillo, Craig Douglas, David Dagan Feng und Jeong-A Lee. Hong Kong: Newswood.
    • , , , und . . „Designing Scalable Multiplayer Online Games.“ Game Coder Magazine, Nr. 05/2012: 24–30.
    • , , , und . . „Designing Multiplayer Online Games Using the Real-Time Framework.“ In Algorithmic and Architectural Gaming Design: Implementation and Development, herausgegeben von IGI Global.
    • , , und . . „dOpenCL: Towards a uniform programming approach for distributed heterogeneous multi-/many-core systems.“ In Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012 New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/IPDPSW.2012.16.
    • , , , und . . „Using the SkelCL Library for High-Level GPU Programming of 2D Applications.“ In Euro-Par 2012: Parallel Processing Workshops - BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers, Bd. 7640 aus Lecture Notes in Computer Science, herausgegeben von Ioannis Caragiannis, Michael Alexander, Rosa M. Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Frederic Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott und Josef Weidendorfer. Heidelberg: Springer. doi: 10.1007/978-3-642-36949-0_41.
    • , , und . . „A High-Level Programming Approach for Distributed Systems with Accelerators.“ In New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eleventh SoMeT '12, herausgegeben von Hamido Fujita und Roberto Revetria. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-125-0-430.
    • , , , , , und . . „Skeleton Programming for Portable Many-Core Computing.“ In Programming Multi-core and Many-core Computing Systems, Parallel and Distributed Computing, herausgegeben von Sabri Pllana und Fatos Xhafa. Hoboken, NJ, USA: Wiley-Blackwell.
    • , , und . . „Towards High-Level Programming of Multi-GPU Systems Using the SkelCL Library.“ In Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012, herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/IPDPSW.2012.229.
    • , , , , , und . . „Design for Self-Adaptation in Service-Oriented Systems in the Cloud.“ In European Research Activities in Cloud Computing, herausgegeben von Cambridge Scholars Publishing. Newcastle upon Tyne: Cambridge Scholars Publishing.
    • , , und . . „Accelerating Multi-User Online Games on Multi-Core Systems Using DependenTS.“ In 2011 IEEE Consumer Communications and Networking Conference (CCNC), herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/CCNC.2011.5766448.
    • , und . . „Parallel Skeletons.“ In Encyclopedia of Parallel Computing, herausgegeben von D Padua.
    • , und . . „Bandwidth-Latency Models (BSP, LogP).“ In Encyclopedia of Parallel Computing, herausgegeben von D Padua.
    • , , und . . „SkelCL - A Portable Skeleton Library for High-Level GPU Programming.“ In 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW) New York City: Wiley-IEEE Press. doi: 10.1109/IPDPS.2011.269.
    • , , und . . „Comparing Programming Models for Medical Imaging on Multi-Core Systems.“ Concurrency and Computation: Practice and Experience, Nr. 23 (10): 1051–1065. doi: 10.1002/cpe.1671.
    • , , und . . „Optimal Design of Multiproduct Batch Plants Using a Parallel Branch-and-Bound Method.“ Beitrag präsentiert auf der PaCT 2011, Kanzan, Rusia
    • , , und . . „Improving the Concurrent Updates of Replicated Global Objects in Multi-Server Virtual Environments.“ In Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, herausgegeben von ACM. New York, NY: ACM Press.
    • , , , und . . „Towards the Scalability of Real-Time Online Interactive Applications on Multiple Servers and Clouds.“ In High Performance Computing: From Grids and Clouds to Exascale, herausgegeben von IOS Press. Amsterdam: IOS Press.
    • , , , , , , und im Druck. „GPU-accelerated Simulation of Linear and Nonlinear Optical Beam Propagation in Waveguides.“ präsentiert auf der International Conference on Simulation Technology (SimTech), Stuttgart
    • , , , und . . „Software Development for Real-Time Online Interactive Applications on Clouds.“ In Frontiers in Artificial Intelligence and Applications, Bd. 231 aus New Trends in Software Methodologies, Tools and Techniques, herausgegeben von IOS Press. Bristol: IOP Publishing.
    • , , , und . . „A Dynamic Resource Management System for Real-Time Online Applications on Clouds.“ In Euro-Par 2011: Parallel Processing Workshops, Lecture Notes in Computer Science, herausgegeben von Springer. Heidelberg: Springer.
    • , , , , und . . „Netlag: A performance evaluation tool for Massively multi-user networked applications.“ In HPDC '10: Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, herausgegeben von Salim Hariri und Kate Keahey. New York, NY: ACM Press. doi: 10.1145/1851476.1851561.
    • , , , , , und . . „Using a lifecycle model for developing and executing adaptable interactive distributed applications.“ Lecture notes in computer science, Nr. 6481 LNCS: 175–186.
    • , , , , , , , , , und . . „Scalable distributed simulation of large dense crowds using the Real-Time Framework (RTF).“ Lecture notes in computer science, Nr. 6271 LNCS (PART 1): 572–583.
    • , , , , , , , und . . „Cheating prevention in virtual worlds: Software, economic, and law aspects.“ Frontiers in Artificial Intelligence and Applications, Nr. 217: 268–289.
    • , , , und . . „Cheating Prevention in Virtual Worlds: Software, Economic, and Law Aspects.“ In New trends in software methodologies, tools and techniques, Bd. 217 aus Frontiers in artificial intelligence and applications, herausgegeben von Fujita Hamido. Amsterdam: IOS Press. doi: 10.3233/978-1-60750-629-4-268.
    • , , und . . Angewandte Mathematik und Informatik, Bd. 04/10 - I, SkelCL - A Portable Multi-GPU Skeleton Library, Münster: University Münster.
    • , , , und . „A service-oriented interface for highly interactive distributed applications.“ In Bd. null aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) doi: 10.1007/978-3-642-14122-5_31.
    • , , und . . „Using OpenMP vs. Threading Building Blocks for Medical Imaging on Multi-cores.“ In Euro-Par 2009 Parallel Processing, Bd. 5704 aus Lecture Note in Computer Science, herausgegeben von Henk Sips, Dick Epema und Hai-Xiang Lin. Heidelberg: Springer. doi: 10.1007/978-3-642-03869-3_62.
    • , , und . . „Towards a scalable real-time cyberinfrastructure for online computer games.“ Proceedings of the International Conference on Parallel and Distributed Systems, Nr. 2009: 722–727.
    • , , und . . „A Case Study on Using RTF for Developing Multi-Player Online Games.“ Lecture notes in computer science, Nr. 5415 LNCS: 390–400.
    • , , , , , , und . . „Parallel medical image reconstruction: From graphics processors to grids.“ Lecture notes in computer science, Nr. 5698 LNCS: 457–473.
    • , , , , und . . „Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.“ Beitrag präsentiert auf der International Conference ParCo, Lyon, France
    • , , , , , und . . „Parallel medical image reconstruction: From graphics processors to grids.“ Beitrag präsentiert auf der 10th International Conference PaCT, Novosibirsk, Russia
    • , und . . Higher-Order Components for Grid Programming, Düsseldorf: Springer VDI Verlag.
    • , , und . . „A Case Study on Multi-Core Programming Using Threading Building Blocks.“ In ARCS '09 Workshop Proceedings, herausgegeben von Karl-Erwin Großpietsch, Andreas Herkersdorf, Sascha Uhrig, Theo Ungerer und Jörg Hähner. Berlin: VDE Verlag.
    • , , , , , , , , , , , und . . „Scalability of Real-Time Online Applications in Edutain@Grid.“ In Proceedings of the 9th WSEAS International Conference on Applied Informatics and Communications, herausgegeben von NE Mastorakis, M Demiralp, V Mladenov und Z Bojkovic. Moskau: World Scientific and Engineering Academy and Society (WSEAS). doi: 10.5555/1628095.1628156.
    • , , , und . . „A Service-Oriented Interface for Highly Interactive Distributed Applications.“ In Proceedings of the 2nd International Workshop on Real Time Online Interactive Applications on the Grid, herausgegeben von H Lin, M Alexander, M Forsell, A Knüpfer, R Prodan, L Sousa und A Streit. Heidelberg: Springer. doi: 10.1007/978-3-642-14122-5_31.
    • , , und . . „Implementing a Data-Parallel Application with Low Data Locality on Multicore Processors.“ In International Conference on Architecture of Computing Systems - Workshop Proceedings, herausgegeben von K Großpietsch, A Herkersdorf, S Uhrig, T Ungerer und J Hähner. Delft, NL.
    • , , , und . . „Cost-effective medical image reconstruction: From clusters to Graphics Processing Units.“ Beitrag präsentiert auf der Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italien
    • , , , , , , und . . „Enhancing grids for massively multiplayer online computer games.“ Lecture notes in computer science, Nr. 5168 LNCS: 466–477.
    • Gorlatch, Sergei, Fragopoulou, Paraskevi, und Priol, Thierry, Hrsg. . Grid Computing: Achievements and Prospects, Düsseldorf: Springer VDI Verlag.
    • Gorlatch, Sergei, Fragopoulou, Paraskevi, und Priol, Thierry, Hrsg. . Integrated Research in Grid Computing, N/A: Selbstverlag / Eigenverlag.
    • , , und . . Achievements in European Research on Grid Systems, Heidelberg: Springer.
    • , , , und . . „High-level development of multiserver online games.“ International Journal of Computer Games Technology, Nr. 2008 (5): 1–16. doi: 10.1155/2008/327387.
    • , , , , und . . „User-Oriented Software Development for Real-Time Online Applications.“ In New Trends in Software Methodologies, Tools and Techniques, Frontiers in Artificial Intelligence and Applications, herausgegeben von IOS Press. Amsterdam: IOS Press.
    • , , , , , , und . . „A Grid Environment for Real-Time Multiplayer Online Games.“ In Proceedings of the CoreGRID Integration Workshop Hersonissos, Crete. doi: 10.1007/978-0-387-09457-1_19.
    • , , , und . „From a single- to multi-server online game: A Quake 3 case study using RTF.“ In Proceedings of the International Conference on Advances in Computer Entertainment Technology: ACE 2008, Bd. null New York, NY: ACM Press. doi: 10.1145/1501750.1501769.
    • , , , , , , , , , , und . „Edutain@Grid: A business grid infrastructure for real-time on-line interactive applications.“ In Bd. null aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) doi: 10.1007/978-3-540-85485-2_12.
    • , , , und . . „RTF: A real-time framework for developing scalable multiplayer online games.“ In Proceedings of the 6th ACM SIGCOMM Workshop on Network and System Support for Games, NetGames '07, herausgegeben von Grenville Armitage. New York, NY: ACM Press. doi: 10.1145/1326257.1326272.
    • Gorlatch, S, und Danelutto, M, Hrsg. . Integrated Research in GRID Computing, Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-0-387-47658-2.
    • , , , und . „Towards a high-level design approach for multi-server online games.“ In Bd. null
    • Gorlatch, Sergei, Bubak, Marian, und Priol, Thierry, Hrsg. . Integrated Research in Grid Computing, N/A: Selbstverlag / Eigenverlag.
    • Gorlatch, Sergei, Bubak, Marian, und Priol, Thierry, Hrsg. . Achievements in European Research on Grid Systems, Düsseldorf: Springer VDI Verlag.
    • , und . . „Scaling Online Games on the Grid.“ In Proceedings of Game Design and Technology Workshop 2006 (GDTW'06), herausgegeben von Madjid Merabti, Newton Lee, Ken Perlin und Abdennour El Rhalibi. New York, NY: ACM Press.
    • , und . . „Rokkatan: scaling an RTS game design to the massively multiplayer realm.“ ACM Computers in Entertainment, Nr. 4 (3): 11. doi: 10.1145/1146816.1146833.
    • , , , , und . . „Rokkatan: Scaling an RTS game design to the massively multiplayer realm.“ ACM International Conference Proceeding Series, Nr. 265: 125–132.
    • , , , und . . „Data parallelism in C++ template programs: a Barnes-Hut case study.“ Parallel Processing Letters, Nr. 15 (3): 257–272. doi: 10.1142/S0129626405002209.
    • . . „Send-Receive Considered Harmful: Myths and Realities of Message Passing.“ ACM Transactions on Programming, Languages and System, Nr. 26 (1): 36–53.
    • Rabhi, Fethi A., und Gorlatch, Sergei, Hrsg. . Patterns and Skeletons for Parallel and Distributed Computing, Düsseldorf: Springer VDI Verlag.
    • , , und . . „DatTeL: A data-parallel C++ template library.“ Parallel Processing Letters, Nr. 13 (3): 461–472. doi: 10.1142/S0129626403001422.
    • , , und . . „Cost optimality and predictability of parallel programming with skeletons.“ Parallel Processing Letters, Nr. 13 (4): 575–587. doi: 10.1142/S0129626403001525.
    • Gorlatch, Sergei, und Lengauer, Christian, Hrsg. . Advances in Computation: Theory and Practice, Bd. 10, Constructive Methods for Parallel Programming, Hauppauge, NY: Nova Science Publishers.
    • , und . . „The Double-scan Skeleton and Its Parallelization.“
    • , und . . „Double-Scan: Introducing and Implementing a New Data-Parallel Skeleton.“ In Euro-Par 2002. Parallel Processing, Bd. 2400 aus Lecture Notes in Computer Science, herausgegeben von B Monien und R Feldmann. Heidelberg: Springer. doi: 10.1007/3-540-45706-2_88.
    • , , und . . „Program development for Computational Grids Using Skeletons and Performance Prediction.“ Parallel Processing Letters, Nr. 12: 157–174.
    • , und . . „Turing universality of recursive patterns for parallel programming.“ Parallel Processing Letters, Nr. 12 (2): 229–246. doi: 10.1142/S012962640200094X.
    • , , , und . . „Towards parallel programming by transformation: The FAN skeleton framework.“ Parallel algorithms and applications, Nr. 16 (2): 87–121. doi: 10.1080/01495730108935268.
    • , , , , und . . „Network performance-aware collective communication for clustered wide-area systems.“ Parallel Computing, Nr. 27 (11): 1431–1456. doi: 10.1016/S0167-8191(01)00098-9.
    • Hubbard, John R, und Gorlatch, Sergei, Hrsg. . Schaum's Überblicke und Aufgaben, Programmieren in C++, New York City: McGraw-Hill.
    • , , und . . „Bandwidth-efficient collective communication for clustered wide area systems.“ In Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000, herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/IPDPS.2000.846026.
    • , und . . „Abstraction and performance in the design of parallel programs: an overview of the SAT approach.“ Acta Informatica, Nr. 36: 761–803. doi: 10.1007/s002360050174.
    • . . „Towards Formally-Based Design of Message-Passing Programs.“ IEEE Transactions on Software Engineering, Nr. 26: 276–288.
    • Hubbard, John R., und Gorlatch, Sergei, Hrsg. . Programmieren in Java, New York City: McGraw-Hill.
    • , und . . „Parallelizing functional programs by generalization.“ Journal of Functional Programming, Nr. 9 (6): 649–673. doi: 10.1017/S0956796899003536.
    • , und . . „A Transformational Framework for Skeletal Programs: Overview and Case Study.“ In Parallel and Distributed Processing, Bd. 1586 aus Lecture Notes in Computer Science, herausgegeben von J Rolim. Heidelberg: Springer.
    • , , , und . . „Skeletons and Transformations in an Integrated Parallel Programming Environment.“ In Parallel Computing Technologies, Bd. 1662 aus Lecture Notes in Computer Science, herausgegeben von V Malyshkin. Heidelberg: Springer. doi: 10.1007/3-540-48387-X_2.
    • , , und . . „Optimization rules for programming with collective operations.“ In Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, herausgegeben von IEEE. New York City: Wiley-IEEE Press. doi: 10.1109/IPPS.1999.760522.
    • . . „Extracting and implementing list homomorphisms in parallel program development.“ Science of Computer Programming, Nr. 33 (1): 1–27. doi: 10.1016/S0167-6423(97)00014-2.
    • . . „Programming with Divide-and-Conquer Skeletons: A Case Study of FFT.“ The Journal of Supercomputing, Nr. 12: 85–97. doi: 10.1023/A:1007981511582.
    • , und . . „A Generic MPI Implementation for a Data-Parallel Skeleton: Formal Derivation and Application to FFT.“ Parallel Processing Letters, Nr. 08 (04): 447–458. doi: 10.1142/S0129626498000456.
    • , und . . „Parallelizing functional programs by generalization.“ In Algebraic and Logic Programming, Bd. 1298 aus Lecture Notes in Computer Science, herausgegeben von M Hanus, J Heering und K Meinke. Düsseldorf: Springer VDI Verlag. doi: 10.1007/BFb0027002.
    • . . „Optimizing compositions of scans and reductions in parallel program derivation.“
    • . . „N-graphs: scalable topology and design of balanced divide-and-conquer algorithms.“ Parallel Computing, Nr. 23: 687–698. doi: 10.1016/S0167-8191(97)00024-0.
    • , , und . . „The Static Parallelization of Loops and Recursions.“ The Journal of Supercomputing, Nr. 11: 333–353. doi: 10.1023/A:1007904422322.
    • , und . . „Formal derivation of divide-and-conquer programs: A case study in the multidimensional FFT's.“ Beitrag präsentiert auf der Formal Methods for Parallel Programming: Theory and Practice, Workshop at IPPS'97, Genf, Schweiz
    • , und . . „(De)composition rules for parallel scan and reduction.“ In Proceedings. Third Working Conference on Massively Parallel Programming Models doi: 10.1109/MPPM.1997.715958.
    • . . „Stages and Transformations in Parallel Programming.“ In Abstract Machine Models for Parallel and Distributed Computing, herausgegeben von IOS Press. Amsterdam: IOS Press.
    • . . „Systematic extraction and implementation of divide-and-conquer parallelism.“ In Programming Languages: Implementations, Logics, and Programs, Bd. 1140 aus Lecture Notes in Computer Science, herausgegeben von H Kuchen und Swierstra S Doaitse. Heidelberg: Springer. doi: 10.1007/3-540-61756-6_91.
    • . „Systematic efficient parallelization of scan and other list homomorphisms.“ In Euro-Par'96 Parallel Processing, Bd. 1124 aus Lecture Notes in Computer Science, herausgegeben von L. Bougé, P. Fraigniaud, A. Mignotte und Y. Robert. Heidelberg: Springer. doi: 10.1007/BFb0024729.
    • , und . . „N-graphs: A topology for parallel divide-and-conquer on transputer networks.“
    • . . „Constructing List Homomorphisms for Parallelism.“
    • , und . . „Parallelization of divide-and-conquer in the Bird-Meertens formalism.“ Formal Aspects of Computing, Nr. 7 (6): 663–682. doi: 10.1007/BF01211000.
    • . . „Formal Derivation and Implementation of Divide-and-Conquer on a Transputer Network.“ In Transputer Applications and Systems '94, herausgegeben von A De Gloria, M Jane und D Marini. Amsterdam: IOS Press.
    • , und . . „Systematic development of an SPMD implementation schema for mutually recursive divide-and-conquer specifications.“ In Proceedings of 8th International Parallel Processing Symposium, herausgegeben von H Siegel. New York City: Wiley-IEEE Press. doi: 10.1109/IPPS.1994.288275.
    • . . „Development and efficiency evaluation of abstract parallel program representation.“ Beitrag präsentiert auf der International Conference on Computing Systems and Software Engineering, Den Haag, Niederlande
    • . . „Parallel program design for sparse grid algorithms.“ Beitrag präsentiert auf der IFIP Working Conference on Programming Environments for Parallel Computing, Edinburgh, Vereinigtes Königreich
    • . . „Parallel program development for a recursive numerical algorithm: A case study.“ München.
    • . . „Systematic development of parallel programs for recursive numerical algorithms: abstract implementation.“ In Bericht von Sonderforschungsbereich 342: Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen, herausgegeben von TU München. München.
    • . . „A case study: Parallel program development for a recursive numerical algorithm.“ In PARLE '92 Parallel Architectures and Languages Europe., Bd. 605 aus Lecture Notes in Computer Science, herausgegeben von Daniel Etiemble und Jean-Claude Syre. Heidelberg: Springer. doi: 10.1007/3-540-55599-4_134.
    • . . „Distributed-memory program development in declarative and procedural environment.“ Beitrag präsentiert auf der Internat. Conf. Parallel Computing Technologies (PaCT), Singapur Singapore: World Scientific Publishing.
    • . . „Parallel program generation from nonprocedural specifications.“ Cybernetics, Nr. 26 (1)
    • , , und . . „Program specification and synthesis using systems of equations over data structures.“ Cybern Syst Anal, Nr. 25: 22–35. doi: 10.1007/BF01074880.
    • , und . . „Transformation of recurrences into parallel programs.“ Beitrag präsentiert auf der Workshop on parallel programming, Kiew, Ukraine
    • , und . . „Parallel programs synthesis from systems of recursive relationships.“ In Matematicheskoe obespechenie vychislitelnych sistem, herausgegeben von IKAN USSR. Kiew.
    • Michalevich, V, und Gorlatch, S, Hrsg. . System software of the ES multiprocessor system, N/A: Selbstverlag / Eigenverlag.
    • Michalevich, V, und Gorlatch, S, Hrsg. . Numerical Methods for the ES multiprocessor system, N/A: Selbstverlag / Eigenverlag.
    • . . „A method for macro-conveyor programs development.“ In In Proektirovanie mnogoprocessornych system, herausgegeben von IKAN USSR. Kiew.
    • , und . . „Synthesis of parallel programs from systems of recursive relationships.“ In Mathematical Software and Hardware for Computing Systems, herausgegeben von IKAN USSR. Kiew.
    • . . „Constructing parallel programs using systems of recurrence equations.“ Beitrag präsentiert auf der Conference on problems of synthesis, testing, verification and debugging of programs, Riga, Lettland
    • , und . . „Tools for multimodule programs simulation in the PROEKT environment.“ In Proektirovanie mnogoprocessornych system, herausgegeben von IKAN USSR. Kiew.
    • , und . . „A language for representing parallel programs models and its implementation.“ In Issledovanie slozhnych system metodami modelirovaniya, herausgegeben von IKAN USSR. Kiew.
    • . . „On a new method of macro-pipelined program design.“ In Design of Multiprocessor Computing Systems, herausgegeben von IKAN USSR. Kiew.
    • , , und . . „Data structures algebra and parallel program synthesis.“ Beitrag präsentiert auf der All-Union Conference on Applied Logic, Nowosibirsk, Russland
    • , und . . „Data structures aggregation and parallel programs synthesis.“ In Analiz i obrabotka matematicheskich tekstov, herausgegeben von IKAN USSR. Kiew.
    • . . „Verification of an algorithm for simulating parallel programs.“ In Razvitie teorii mnogoprocessornych system, herausgegeben von IKAN USSR. Kiew.
    • . . „Simulation tools in the development of parallel software.“ Beitrag präsentiert auf der All-Union Conference on system simulation, Swerdlowsk, Russland
    • , und . . „Development of distributed operation systems in PROEKT environment.“ Cybernetics, Nr. 20 (3)
    • , und . . „Aggregation of data structures and synthesis of parallel programs.“ In Analysis and Processing of Mathematical Texts, herausgegeben von IKAN USSR. Kiew.
    • . . „Towards the justification of an algorithm for modelling parallel programs.“ In Development of the Theory of Multiprocessor Systems, herausgegeben von IKAN USSR. Kiew.
    • . . „Design tools for macro-pipelined algorithms and programs.“ Cybernetics, Nr. -
    • . . „Design of parallel programs computing functions over data structures.“ Beitrag präsentiert auf der All-Union Symposium on System and Theoretical Programming, Kischinew, Moldau
    • , , und . . „An approach to estimating the operational efficiency of multiprocessor systems.“ Cybernetics, Nr. 19 (6)
    • , und . . „Some investigation results on target programs for a macro-conveyor computer.“ In Modelirovanie vychislitelnych system, herausgegeben von IKAN USSR. Kiew.
    • , und . . „Multi-based algebra of data structures.“ In Mathematical Software for Computerized Logical Inference and Deductive Construction Systems, herausgegeben von IKAN USSR. Kiew.
    • . . „Asynchronous macro-conveyor computation of structural functions.“ Cybernetics, Nr. 19 (5)
    • . . „Interactive design of macro-conveyor programs.“ Beitrag präsentiert auf der Workshop on dialog systems, Tiflis, Georgien Tiflis.
    • , und . . „Full systems of identities in many-based algebra of data structures.“ Cybernetics, Nr. 18 (1)
    • , , und . . „Simulation of multimodule programs.“ In Parallel Programming and High-Performance Systems, herausgegeben von -. Kiew: Naukova Dumka.
    • , und . . „System and algorithmic model of multiprocessor computer.“ In Automatic Design and Simulation of Computing Systems , herausgegeben von IKAN USSR. Kiew.
    • . . „On efficiency of parallel algorithms and programs.“ Beitrag präsentiert auf der All-union USSR Conference on supercomputers, Kiew, Ukraine
    • , , , und . . „Macro-pipelined computations of functions over data structures.“ Cybernetics, Nr. -

  • Betreute Promotionen

    Portable Implicit Parallel Programming in C++ using the Pacxx Framework
    Zhang, YuQuality of Service in Software-Defined Networking with Applications to Social Networks
    Mina AbadeerAgent-based Modeling and Interactive Simulation Applied to Pandemics and Disaster Scenarios
    Hagedorn, BastianHigh-Performance Domain-Specific Compilation without Domain-Specific Compilers
    Sun, HuihuiTaming Control Divergence for Vectorizing Programs on SIMD Extensions
    Martins, Denis Mayr LimaBefähigung nicht-technischer Nutzer zum Anfragen und Kauf von Daten
    Humernbrum, TimEnforcing Quality of Service in Real-Time Applications Using Software-Defined Networking
    Haidl, MichaelTowards Heterogeneous Computing in C++: PACXX: A Portable, High-Performance Programming Model
    Nsaif, MohammedEfficient Persistence Management in Distributed Real-Time Online Interactive Applications
    Data Parallel Algorithmic Skeletons with Accelerator Support.
    Glinka, FrankHigh-Level Development of Scalable Real-Time Online Interactive Applications for Grids and Clouds
    Efficient Resource Management of Real-Time Online Interactive Applications in Cloud Environments
    Improving Programmability and Performance Portability on Many-Core Processors
    A Uniform, OpenCL-based Approach for Programming Distributed Systems with Multicores and GPUs
    Efficient Dynamic Communication for Real-Time Online Interactive Applications in Heterogeneous Environments
    Exploiting Spatial and Temporal Coherence in GPU-Based Volume Rendering
    Schellmann, MaraikeEfficient PET Image Reconstruction on Modern Parallel and Distributes Systems
    Dünnweber, JanHigher-Order Components for Web-Enabled Grid Applications
    Müller-Iden, JensReplication-based Scalable Parallelisation of Virtual Environments
    Alt, MartinUsing Algorithmic Skeletons for Efficient Grid Computing with Performance
    Bischof, HolgerSystematic Development of Parallel Programs Using Skeletons