Prof. Dr. Sergei 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
Studium der Angewandten Mathematik und Informatik (Diplom) an der Universität Kiew
Diplom in Angewandter Mathematik und Informatik, 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
Gastprofessor, Universität Pisa, Italien
Wissenschaftlicher Assistent (C1) und Habilitand, Universität Passau
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 TU Berlin (abgelehnt)
– abgelehnt
Ruf an die Universität Düsseldorf (abgelehnt)
– abgelehnt
Ruf an die Universität Gießen, (abgelehnt)
– abgelehnt
Publikationen
  • , , , , , und . . „Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters.“ In Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, herausgegeben von for Computing Machinery Association. New York: ACM Press. doi: 10.1145/3771775.3786282.
  • , , , und . „SAFE MUTATIONS OF COMMUNICATION PROTOCOLS.“ Journal of Mathematical Sciences -. doi: 10.1007/s10958-026-08465-5.
  • , , , und . . „A CUDA Performance Study of Global- and Shared-Memory Kernels for the Buckley–Leverett Polymer-Flooding Problem.“ Applied Sciences 16 (5449). doi: 10.3390/app16115449.
  • , , und . . „pyATF: Constraint-Based Auto-Tuning in Python.“ Beitrag präsentiert auf der 34th ACM SIGPLAN International Conference on Compiler Construction, Las Vegas ACM Press. doi: 10.1145/3708493.3712682.
  • , , und . . „Reduction-Aware Directive-Based Programming via Multi-Dimensional Homomorphisms.“ In Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis doi: 10.1145/3731599.3767572.
  • , , und . „USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.“ Journal of Mathematical Sciences - (-). doi: 10.1007/s10958-025-07687-3.
  • , und . . „A Toolset for Predicting Performance of Legacy Real-Time Software Based on the RAST Approach.“ Beitrag präsentiert auf der ACM SIGSIM-PADS Principles of Advanced Discrete Simulation, Atlanta, Georgia, doi: 10.1145/3673897.
  • , und . . „A Case Study on Architectural Refactoring of Real-Time Legacy Distributed Systems.“ In Proceedings of the 9th International Conference on Algorithms, Computing and Systems, ICACS '25, herausgegeben von for Computing Machinery Association. New York, United States: ACM Press. doi: 10.1145/3789418.3789437.
  • , , , 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. Dublin: 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. Cham: 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 281 (2). doi: 10.1007/s10958-024-07107-y.
  • , , und . . „Descend: A Safe GPU Systems Programming Language.“ Proceedings of the ACM on Programming Languages 8 (PLDI): 841–864. doi: 10.1145/3656411.
  • , und . . „Autotuning Parallel Programs by Model Checking.“ Automatic Control and Computer Sciences 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: 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 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. Neapel: 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. Las Vegas: 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. Sankt Petersburg: 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 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. Cham: 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. Nizza: 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. Las Vegas: 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: ACM Press. doi: 10.1145/3530390.3532733.
  • Salem Abdel-Badeeh Mohamed, Gorlatch Sergei, Hrsg. . Advances in Science and Technology, Bd. 105, Materials, Computer Engineering and Education Technology Trans Tech Publications. doi: 10.4028/www.scientific.net/AST.105.
  • . . „Efficient GPU-parallelization of batch plants design using metaheuristics with parameter tuning.“ Journal of Parallel and Distributed Computing 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. Cham: 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 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. Cham: 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. Cham: 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 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 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) 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. Cham: Springer. doi: 10.1007/978-3-030-32258-8_9.
  • . . „Simulating Infection Transmission: A Case Study of COVID-19.“ In Modelling and Simulation 2020, herausgegeben von Alexandre Nketsa, Claude Baron und Clément Foucher. Toulouse: EUROSIS-ETI.
  • , , , , , 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 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. Cham: 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 2020. doi: 10.1007/s11227-020-03509-2.
  • , , , , , und . . „Reasoning about Programmable Logic Controllers.“ System Informatics 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. Cosenza: 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. Cham: 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. Cham: 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. Cham: 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. Cham: 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, USA: ACM Press. doi: 10.1145/3297280.3297330.
  • , , , , und . . „dOCAL: high-level distributed programming with OpenCL and CUDA.“ The Journal of Supercomputing 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 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. Cham: 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: ACM Press. doi: 10.1145/3331553.3342613.
  • , und . . „Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.“ International Journal of Parallel Programming 46: 1–3. doi: 10.1007/s10766-017-0512-3.
  • , und . . „ATF: A Generic, Directive-Based Auto-Tuning Framework.“ Concurrency Computation - Practice and Experience 30 (3). doi: 10.1002/cpe.4423.
  • . . „Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.“ Future Generation Computer Systems 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 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 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. Bengaluru, India: 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) 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. Singapur: 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 . . „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. Cham: Springer. doi: 10.1007/978-3-319-62932-2_44.
  • , 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. Cham: Springer. doi: 10.1007/978-3-319-62932-2_39.
  • , , , , und . . „eccCL: Parallelized GPU Implementation of Ensemble Classifier Chains.“ BMC Bioinformatics 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 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 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 2017. doi: 10.1007/s10766-017-0497-y.
  • , und . . „Using Multiple Semantic Measures for Coreference Resolution in Ontology Population.“ International Journal of Computing 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. John Wiley & Sons.
  • , , und . . „Towards Efficient Multicast Communication in Software-Defined Networks.“ In 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), herausgegeben von IEEE. Nara: 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. 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 2016.
  • , , und . . „A GPU parallelization of branch-and-bound for multiproduct batch plants optimization.“ The Journal of Supercomputing 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 Amsterdam, Netherlands: 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, USA: 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 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. Cham: Springer. doi: 10.1007/978-3-319-21909-7_33.
  • . . „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 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 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 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: ACM Press. doi: 10.1145/2686745.2686751.
  • . . „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 Piscataway, NJ, USA: 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 Limited Newswood.
  • , , und . „Improving QoS in real-time internet applications: From best-effort to software-defined networks.“ In Bd. null Wiley-IEEE Computer Society Press. doi: 10.1109/ICCNC.2014.6785329.
  • . . „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. Springer.
  • . . „SkelCL: a high-level extension of OpenCL for multi-GPU systems.“ The Journal of Supercomputing 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 42 (4): 601–618. doi: 10.1007/s10766-013-0265-6.
  • , , 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 73 (12): 1639–1648. doi: 10.1016/j.jpdc.2013.07.021.
  • . . „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 Victor Malyshkin. 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. IOS Press. doi: 10.3233/978-1-61499-324-7-159.
  • . . „High-Level Programming for Medical Imaging on Multi-GPU Systems using the SkelCL Library.“ Procedia Computer Science 18: 749–758. doi: 10.1016/j.procs.2013.05.239.
  • , , , 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. Hongkong: Newswood.
  • , , , , , und . . „Design for Self-Adaptation in Service-Oriented Systems in the Cloud.“ In European Research Activities in Cloud Computing, herausgegeben von Scholars Publishing Cambridge. Cambridge Scholars Publishing.
  • , , , und . . „Designing Scalable Multiplayer Online Games.“ Game Coder Magazine 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 Global IGI.
  • , , 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 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. Rhodes Islands, Greece: 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. 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. Shanghai: Wiley-IEEE Press. doi: 10.1109/IPDPSW.2012.229.
  • , , und . . „Accelerating Multi-User Online Games on Multi-Core Systems Using DependenTS.“ In 2011 IEEE Consumer Communications and Networking Conference (CCNC), herausgegeben von IEEE. Las Vegas, NV, USA: Wiley-IEEE Press. doi: 10.1109/CCNC.2011.5766448.
  • , , 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) 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 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. Barcelona: 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 Press IOS. 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 Press IOS. 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. Springer.
  • , 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 . . „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. Chicago: 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 6481 LNCS: 175–186.
  • , , , , , , , , , und . . „Scalable distributed simulation of large dense crowds using the Real-Time Framework (RTF).“ Lecture notes in computer science 6271 LNCS (PART 1): 572–583.
  • , , , , , , , und . . „Cheating prevention in virtual worlds: Software, economic, and law aspects.“ Frontiers in Artificial Intelligence and Applications 217: 268–289.
  • , , 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 . . „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 Hamido Fujita. Amsterdam: IOS Press. doi: 10.3233/978-1-60750-629-4-268.
  • , , 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. Berlin, 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 2009: 722–727.
  • , , und . . „A Case Study on Using RTF for Developing Multi-Player Online Games.“ Lecture notes in computer science 5415 LNCS: 390–400.
  • , , , , , , und . . „Parallel medical image reconstruction: From graphics processors to grids.“ Lecture notes in computer science 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 Heidelberg: 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. Delft: 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. Delft, NL: 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 5168 LNCS: 466–477.
  • , , und . . Achievements in European Research on Grid Systems Berlin Heidelberg: Springer.
  • , , , und . . „High-level development of multiserver online games.“ International Journal of Computer Games Technology 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 Press IOS. 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: 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.
  • Gorlatch, Sergei, Fragopoulou, Paraskevi, und Priol, Thierry, Hrsg. . Grid Computing: Achievements and Prospects New York: Springer VDI Verlag.
  • Gorlatch, Sergei, Fragopoulou, Paraskevi, und Priol, Thierry, Hrsg. . Integrated Research in Grid Computing Heraklion: Selbstverlag / Eigenverlag.
  • , , , 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: ACM Press. doi: 10.1145/1326257.1326272.
  • Gorlatch, S, und Danelutto, M, Hrsg. . Integrated Research in GRID Computing Berlin Heidelberg: 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
  • , und . . „Rokkatan: scaling an RTS game design to the massively multiplayer realm.“ ACM Computers in Entertainment 4 (3): 11. doi: 10.1145/1146816.1146833.
  • Gorlatch, Sergei, Bubak, Marian, und Priol, Thierry, Hrsg. . Integrated Research in Grid Computing Krakau: Selbstverlag / Eigenverlag.
  • Gorlatch, Sergei, Bubak, Marian, und Priol, Thierry, Hrsg. . Achievements in European Research on Grid Systems 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: ACM Press.
  • , , , , und . . „Rokkatan: Scaling an RTS game design to the massively multiplayer realm.“ ACM International Conference Proceeding Series 265: 125–132.
  • , , , und . . „Data parallelism in C++ template programs: a Barnes-Hut case study.“ Parallel Processing Letters 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 26 (1): 36–53.
  • , , und . . „DatTeL: A data-parallel C++ template library.“ Parallel Processing Letters 13 (3): 461–472. doi: 10.1142/S0129626403001422.
  • , , und . . „Cost optimality and predictability of parallel programming with skeletons.“ Parallel Processing Letters 13 (4): 575–587. doi: 10.1142/S0129626403001525.
  • Rabhi, Fethi A., und Gorlatch, Sergei, Hrsg. . Patterns and Skeletons for Parallel and Distributed Computing London: Springer VDI Verlag.
  • , , und . . „Program development for Computational Grids Using Skeletons and Performance Prediction.“ Parallel Processing Letters 12: 157–174.
  • , und . . „Turing universality of recursive patterns for parallel programming.“ Parallel Processing Letters 12 (2): 229–246. doi: 10.1142/S012962640200094X.
  • Gorlatch, Sergei Lengauer Christian, Hrsg. . Advances in Computation: Theory and Practice, Bd. 10, Constructive Methods for Parallel Programming New York: 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 . . „Towards parallel programming by transformation: The FAN skeleton framework.“ Parallel algorithms and applications 16 (2): 87–121. doi: 10.1080/01495730108935268.
  • , , , , und . . „Network performance-aware collective communication for clustered wide-area systems.“ Parallel Computing 27 (11): 1431–1456. doi: 10.1016/S0167-8191(01)00098-9.
  • . . „Towards Formally-Based Design of Message-Passing Programs.“ IEEE Transactions on Software Engineering 26: 276–288.
  • Hubbard, John R, und Gorlatch, Sergei, Hrsg. . Schaum's Überblicke und Aufgaben, Programmieren in C++ Maidenhead: 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. Cancun: 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 36: 761–803.. doi: 10.1007/s002360050174.
  • Hubbard, John R., und Gorlatch, Sergei, Hrsg. . Programmieren in Java Maidenhead: McGraw-Hill.
  • , und . . „Parallelizing functional programs by generalization.“ Journal of Functional Programming 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. Cham: 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. Berlin, 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. San Juan: Wiley-IEEE Press. doi: 10.1109/IPPS.1999.760522.
  • . . „Extracting and implementing list homomorphisms in parallel program development.“ Science of Computer Programming 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 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 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. Berlin: 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 23: 687–698. doi: 10.1016/S0167-8191(97)00024-0.
  • , , und . . „The Static Parallelization of Loops and Recursions.“ The Journal of Supercomputing 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 Press IOS. 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. Berlin, 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 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 Gloria A De, 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. Cancun: 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 München TU. 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. Berlin, 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 Singapur: World Scientific Publishing.
  • . . „Parallel program generation from nonprocedural specifications.“ Cybernetics 26 (1).
  • , , und . . „Program specification and synthesis using systems of equations over data structures.“ Cybern Syst Anal 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 ANUSSR IK. Kiew.
  • Michalevich, V, und Gorlatch, S, Hrsg. . System software of the ES multiprocessor system Moskau: Selbstverlag / Eigenverlag.
  • Michalevich, V, und Gorlatch, S, Hrsg. . Numerical Methods for the ES multiprocessor system Moskau: Selbstverlag / Eigenverlag.
  • . . „A method for macro-conveyor programs development.“ In In Proektirovanie mnogoprocessornych system, herausgegeben von ANUSSR IK. Kiew.
  • , und . . „Synthesis of parallel programs from systems of recursive relationships.“ In Mathematical Software and Hardware for Computing Systems, herausgegeben von ANUSSR IK. 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 ANUSSR IK. Kiew.
  • , und . . „A language for representing parallel programs models and its implementation.“ In Issledovanie slozhnych system metodami modelirovaniya, herausgegeben von ANUSSR IK. Kiew.
  • . . „On a new method of macro-pipelined program design.“ In Design of Multiprocessor Computing Systems, herausgegeben von ANUSSR IK. 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 ANUSSR IK. Kiew.
  • . . „Verification of an algorithm for simulating parallel programs.“ In Razvitie teorii mnogoprocessornych system, herausgegeben von ANUSSR IK. 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 20 (3).
  • , und . . „Aggregation of data structures and synthesis of parallel programs.“ In Analysis and Processing of Mathematical Texts, herausgegeben von ANUSSR IK. Kiew.
  • . . „Towards the justification of an algorithm for modelling parallel programs.“ In Development of the Theory of Multiprocessor Systems, herausgegeben von ANUSSR IK. Kiew.
  • . . „Design tools for macro-pipelined algorithms and programs.“ Cybernetics -.
  • . . „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 19 (6).
  • , und . . „Some investigation results on target programs for a macro-conveyor computer.“ In Modelirovanie vychislitelnych system, herausgegeben von ANUSSR IK. Kiew.
  • , und . . „Multi-based algebra of data structures.“ In Mathematical Software for Computerized Logical Inference and Deductive Construction Systems, herausgegeben von ANUSSR IK. Kiew.
  • . . „Asynchronous macro-conveyor computation of structural functions.“ Cybernetics 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 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 ANUSSR IK. 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 -.
Betreute Promotionen