Research Foci
- Algorithm- and software development for modern computer system
- Parallel and distributed systems, middleware, grids and clouds
- High performance computing, multi-core und GPU bases systems
- Distributed applications: Online games, simulations
- Performance modells and optimization
CV
Academic Education
- Habilitation and venia legendi in Computer Science at University of Passau
- Doctoral degree (Dr. rer. nat.) in Computer Science at the Institute of Glushkov Cybernetics, Kiev, Ukraine
- Diploma in Applied Mathematics and Computer Science, University of Kiev
- Studies in Applied Mathematics and Computer Science at University of Kiev
Positions
- Visiting Professor at University of Iwate, Japan
- Professor for parallel and distributed systems at University of Münster
- Professor for parallel and distributed programming at TU Berlin
- Assistant professor, University of Passau
- Visiting Professor at University of Lyon, France
- Research Assistant at University of Passau
- Visiting Professor at University of Pisa, Italy
- Visiting Professor at TU Munich as a Research Fellow from the Alexander von Humboldt Foundation
- Project group leader at the Institute for Cybernetics, Kiev
Honors
- Best Poster Award – Programming and Tuning Massively Parallel Systems + Artificial Intelligence Conference (PUMPS+AI)
- Best Paper Award – CGO Conference Committee
- Research Fellowship – Alexander-von-Humboldt Stiftung
External Functions
- Member of the Editorial Board of "Journal of Cluster Computing"
- Member of the Editorial Board of the Journal "Multiagent and Grid Systems"
- Associate Editor of the "Journal of Programming and Artificial Intelligence"
- Chairman of the program committee "International Workshop on Constructive Methods for Parallel Programming"
Appointments
- University of Düsseldorf – rejected
- Technische Universität Berlin – rejected
- University of Gießen – rejected
Projects
- PPP-DL – Performance, Portabilität und Produktivität für Deep-Learning Anwendungen auf Multi- und Many-Core Architekturen ( – )
Individual Granted Project: DFG - Individual Grants Programme | Project Number: GO 756/8-1 - Automatische Skalierbarkeit in verteilten Systemen mit Echtzeit-Anforderungen ( – )
Individual Granted Project: GS electronic Gebr. Schönweitz GmbH - NVIDA Graduate Fellowship award ( – )
Individual Granted Project: Nvidia Corporation - HPC²SE – Verbundprojekt: HPC2SE - Hardware- und Leistungsorientierte Codegenerierung für Informatik und Ingenieurwesen ( – )
participations in bmbf-joint project: Federal Ministry of Education and Research | Project Number: 01IH16003B - EXC 1003 A6 - Motion Analysis in Cellular Systems ( – )
Subproject in DFG-Joint Project Hosted at the University of Münster: DFG - Cluster of Excellence | Project Number: EXC1003/1 - 9th International Symposium on High-Level Parallel Programming and Applications ( – )
Scientific Event: Participation / conference fees - Data Structures and Algorithms for RDF on Many-Core Systems ( – )
participations in other joint project: German Academic Exchange Service | Project Number: 57084841 - MONICA – Mobile Cloud Computing: Networks, Services and Architecture ( – )
EU-Project Hosted outside the University of Münster: EC FP 7 - Marie Curie Actions - International Research Staff Exchange Scheme | Project Number: PIRSES-GA-2011-295222 - OFERTIE – OpenFlow in Real-Time Internet Edutainment ( – )
EU-Project Hosted outside the University of Münster: EC FP 7 - Collaborative Project | Project Number: 318665 - SFB 656 PM13 – CRC 656 PM13 - Parallel 4D image reconstruction methods ( – )
Subproject in DFG-Joint Project Hosted at the University of Münster: DFG - Collaborative Research Centre - Optimierung von Scheduling-Mechanismen innerhalb der ATIS-Softwareprodukte ( – )
Individual Granted Project: Wirtschaft - EDUTAIN@GRID – A scalable QoS-enabled business Grid Environment for multi-user real-time online interactive applications ( – )
EU-Project Hosted outside the University of Münster: EC FP 6 - Specific Targeted Research Projects | Project Number: 034601 - Durchführung einer gemeinsam betreuten Diplomarbeit/Vereinbarung mit der OVSoftware GmbH ( – )
Individual Granted Project: Wirtschaft - ITSoftTeam – ITSoftTeam ( – )
EU-Project Hosted outside the University of Münster: EC - Tempus | Project Number: TEMPUS CD_JEP-26195-2005 - CoreGrid – European research network on foundations, software infrastructures and applications for large scale distributed, grid and peer-to-peer technologies ( – )
EU-Project Hosted outside the University of Münster: EC FP 6 - Networks of Excellence | Project Number: 4265 - COFFEE – Collective Operations: Formal Framework, Equalities, Efficiency ( – )
Individual Granted Project: DFG - Individual Grants Programme | Project Number: GO 756/4-2
- PPP-DL – Performance, Portabilität und Produktivität für Deep-Learning Anwendungen auf Multi- und Many-Core Architekturen ( – )
Publications
- . . ‘Towards an Autoscaling Service for Real-Time Online Interactive Applications on Clouds.’ In Euromicro Conference on Parallel, Distributed and Network-Based Processing, edited by , 1–8. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/PDP62718.2024.00024.
- ‘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, edited by , 18–33. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-031-57523-5_2. .
- ‘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. .
- . . ‘Descend: A Safe GPU Systems Programming Language.’ Proceedings of the ACM on Programming Languages 8, № PLDI: 841–864. doi: 10.1145/3656411.
- . . ‘Autotuning Parallel Programs by Model Checking.’ Automatic Control and Computer Sciences 56, № 7: 634–648. doi: 10.3103/S0146411622070045.
- . . ‘(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules.’ In CC 2023: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, edited by , 61–72. 0th Ed. New York, NY: ACM Press. doi: 10.1145/3578360.3580269.
- . . ‘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.
- ‘Multi-Cloud Container Orchestration for High-Performance Real-Time Online Applications.’ In Euromicro Conference on Parallel, Distributed and Network-Based Processing, edited by , 307–313. 0th Ed. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/PDP59025.2023.00054. .
- ‘An OpenVPN-Based Interconnection in Multi-Clouds with Windows and Linux nodes.’ In Consumer Communications and Networking Conference, CCNC IEEE, edited by , 867–870. 0th Ed. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/CCNC51644.2023.10059709. .
- ‘Accelerating Neural Network Training Process on Multi-Core Machine Using OpenMP.’ In 2022 III International Conference on Neural Networks and Neurotechnologies (NeuroNT), edited by , 7–11. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/NeuroNT55429.2022.9805549. .
- . . ‘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.
- ‘Model Checking Meets Auto-Tuning of High-Performance Programs.’ In Logic-Based Program Synthesis and Transformation, edited by , 63–82. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-031-16767-6_4. .
- . . ‘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), edited by , 49–56. 0th Ed. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/MASCOTS56607.2022.00015.
- . . ‘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, edited by , 1374–1379. 0th Ed. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/CSCI58124.2022.00245.
- . . ‘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, edited by , 3:1:6–3:3:6. 0th Ed. New York, NY: ACM Press. doi: 10.1145/3530390.3532733.
- Materials, Computer Engineering and Education Technology. 0th Ed. Bäch: Trans Tech Publications. doi: 10.4028/www.scientific.net/AST.105. (Eds.): .
- . . ‘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.
- . . ‘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, edited by , 129–146. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-68110-4_9.
- . . ‘Efficient Auto-Tuning of Parallel Programs with Interdependent Tuning Parameters via Auto-Tuning Framework (ATF).’ ACM Transactions on Architecture and Code Optimization 18, № 1: 1–26. doi: 10.1145/3427093.
- . . ‘A Scalable Cloud Deployment Architecture for High-Performance Real-Time Online Applications.’ In High Performance Computing, edited by , 395–405. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-90539-2_26.
- . . ‘Introducing Interactivity in Disaster Recovery Simulations.’ In New Trends in Intelligent Software Methodologies, Tools and Techniques, edited by , 267–280. 0th Ed. Amsterdam: IOS Press. doi: 10.3233/FAIA210026.
- . . ‘Implicit Data Layout Optimization for Portable Parallel Programming in C++.’ In Parallel Computing Technologies, edited by , 223–234. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-86359-3_17.
- . . ‘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.
- . . ‘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.
- . . ‘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.
- . . ‘Improving Parallel Data Mining for Different Data Distributions in IoT Systems.’ In Intelligent Distributed Computing XIII, edited by , 75–85. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-32258-8_9.
- . . ‘Simulating Infection Transmission: A Case Study of COVID-19.’ In Modelling and Simulation 2020, edited by , 310–317. 0th Ed. N/A: Sonstiger Verlag / other publisher.
- . . ‘An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.’ In Formal Methods. FM 2019 International Workshops, edited by , 114–130. 0th Ed. . doi: 10.1007/978-3-030-54994-7_9.
- . . ‘Dedicative Verification of Reflex Programs.’ Programming and Computer Software 46: 261–272. doi: 10.1134/S0361768820040027.
- . . ‘A Plug-in Framework for Efficient Multicast Using SDN.’ In Wireless Internet, edited by , 271–284. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-52988-8_24.
- . . ‘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. 0th Ed. USA.
- . . ‘md_poly: A Performance-Portable Polyhedral Compiler Based on Multi-Dimensional Homomorphisms.’ Contributed to the 10th International Workshop on Polyhedral Compilation Techniques, Bologna.
- . . ‘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.
- . . ‘Reasoning about Programmable Logic Controllers.’ System Informatics 2020, № 17: 33–42.
- . . ‘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, edited by , 1–13. 0th Ed. New York, NY: ACM Press. doi: 10.1145/3331553.3342613.
- . . ‘Distributed Simulation of Crowds with Groups in CrowdSim.’ In 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), edited by , 1–8. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/DS-RT47707.2019.8958690.
- . . ‘Two-Step Deductive Verification of Control Software Using Reflex.’ In Perspectives of System Informatics, edited by , 50–63. 0th Ed. 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?, edited by , 208–217. 0th Ed. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-22348-9_13.
- . . ‘Parallelization of Algorithms for Mining Data from Distributed Sources.’ In Parallel Computing Technologies. PaCT 2019, edited by , 289–303. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-25636-4_23.
- . . ‘Optimizing a GPU-Parallelized Ant Colony Metaheuristic by Parameter Tuning.’ In Parallel Computing Technologies. PaCT 2019, edited by , 151–165. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-030-25636-4_12.
- . . ‘High-performance Probabilistic Record Linkage via Multi-dimensional Homomorphisms.’ In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, edited by , 526–533. 0th Ed. New York, NY: ACM Press. doi: 10.1145/3297280.3297330.
- . . ‘dOCAL: high-level distributed programming with OpenCL and CUDA.’ The Journal of Supercomputing 65: 1–22. doi: 10.1007/s11227-019-02829-2.
- . . ‘Unified Cross-Platform Profiling of Parallel C++ Applications.’ Contributed to the 2018 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS), Dallas, TX, USA. doi: 10.1109/PMBS.2018.8641652.
- . . ‘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, edited by , 515–525. 0th Ed. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-06234-7.
- . . ‘Generating Portable High-Performance Code via Multi-Dimensional Homomorphisms.’ Contributed to the 28th International Conference on Parallel Architectures and Compilation Techniques (PACT), Seattle WA.
- . . ‘Guest Editorial: High-Level Parallel Programming with Algorithmic Skeletons.’ International Journal of Parallel Programming 46: 1–3. doi: 10.1007/s10766-017-0512-3.
- . . ‘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.
- . . ‘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.
- . . ‘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.
- . . ‘Efficient Load Balancing for Multicast Traffic in Data Center Networks Using SDN.’ In 2018 10th International Conference on Communication Systems & Networks (COMSNETS), edited by , 113–120. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/COMSNETS.2018.8328187.
- . . ‘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, 100–112. 0th Ed. . doi: 10.1145/3168824.
- ‘A Transformation-Based Approach to Developing High-Performance GPU Programs.’ Contributed to the 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017, rus. doi: 10.1007/978-3-319-74313-4_14. .
- . . ‘OCAL: An Abstraction for Host-Code Programming with OpenCL and CUDA.’ In 2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS), edited by , 408–416. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/PADSW.2018.8644541.
- . . ‘An Ontology of Specification Patterns for Verification of Concurrent Systems.’ In New Trends in Intelligent Software Methodologies, Tools and Techniques, edited by , 515–528. 0th Ed. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-900-3-515.
- . . ‘Parallelizing Metaheuristics for Optimal Design of Multiproduct Batch Plants on GPU.’ In Lecture Notes in Computer Science (LNCS, volume 10421), edited by , 405–417. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-319-62932-2_39.
- . . ‘eccCL: Parallelized GPU Implementation of Ensemble Classifier Chains.’ BMC Bioinformatics 2017. doi: 10.1186/s12859-017-1783-9.
- . . ‘Towards Simulating the Communication Behavior of Real-Time Interactive Applications.’ Contributed to the 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (SIGSIM PADS'17), Singapore. doi: 10.1145/3064911.3064931.
- . . ‘Multi-Dimensional Homomorphisms and Their Implementation in OpenCL.’ International Journal of Parallel Programming 2017: 1–19. doi: 10.1007/s10766-017-0508-z.
- . . ‘Guest Editors' Note: Special Issue on High-Level Parallel Programming and Applications .’ Parallel Processing Letters 27, № 1: 1–2. doi: 10.1142/S0129626417020017.
- . . ‘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.
- . . ‘Using Multiple Semantic Measures for Coreference Resolution in Ontology Population.’ International Journal of Computing 16 (3): 166–176.
- . . ‘Skeleton Programming for Portable Many-Core Computing.’ In Programming Multicore and Many-core Computing Systems, edited by , 121–142. 0th Ed. New York City: John Wiley & Sons.
- . . ‘A Functional Approach to Parallelizing Data Mining Algorithms in Java.’ In Lecture Notes in Computer Science (LNCS, volume 10421), edited by , 459–472. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-319-62932-2_44.
- . . ‘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, edited by , 58–67. 0th Ed. New York, NY: ACM Press. doi: 10.1145/3026937.3026942.
- ‘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, edited by , 400–415. 0th Ed. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-319-34099-9_31. .
- . . ‘Modelling the Scalability of Real-Time Online Interactive Applications on Clouds.’ Contributed to the International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, Chicago, USA.
- . . ‘Efficient Development and Execution of Adaptable Online Games on Clouds.’ Emerging Technologies and Applications for Cloud-Based Gaming 2016.
- . . ‘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.
- . . ‘Programming GPUs with C++14 and Just-In-Time Compilation.’ Contributed to the Advances in Parallel Computing: On the Road to Exascale, ParCo2015, Edinburgh, Schottland. doi: 10.3233/978-1-61499-621-7-247.
- . . ‘Multi-Stage Programming for GPUs in Modern C++ using PACXX.’ Contributed to the The 9th Annual Workshop on General Purpose Processing Using Graphics Processing Unit, GPGPU '16, Barcelona, Spain. doi: 10.1145/2884045.2884049.
- . . ‘Towards Efficient Multicast Communication in Software-Defined Networks.’ In 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), edited by , 106–113. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/ICDCSW.2016.15.
- . . ‘A Network-Based Scalability Model for Distributed Real-Time Resource Management.’ Contributed to the International MultiConference of Engineers and Computer Scientists 2015, IMECS 2015, Hong Kong.
- . . ‘Accelerating Keyword Search for Large RDF Data on Many-Core Systems.’ Contributed to the The 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, Naples, Italy.
- . . ‘Parallelizing Branch-and-Bound on GPUs for Optimization of Multiproduct Batch Plants.’ In Parallel Computing Technologies, edited by , 324–337. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-319-21909-7_33.
- . . ‘Enabling High-Level QoS Metrics for Interactive Online Applications Using SDN.’ Contributed to the International Conference on Computing, Networking and Communications (ICNC'15), Anaheim.
- . . ‘RTF+Shark: Using Software-Defined Networks for Multiplayer Online Games.’ Contributed to the 14th IEEE/ACM International Workshop on Network and Systems Support for Games (NetGames) 2015, Zagreb.
- . . ‘gCUP: Rapid GPU-based HIV-1 Coreceptor Usage Prediction for Next-Generation Sequencing.’ Bioinformatics 30, № 22: 3272–3273. doi: 10.1093/bioinformatics/btu535.
- . . ‘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.
- . . ‘HLSF: A High-Level, C++-Based Framework for Stencil Computations on Accelerators.’ Contributed to the Second Workshop on Optimizing Stencil Computations WOSC'14 at SPLASH 14, Portland. doi: 10.1145/2686745.2686751.
- . . ‘PACXX: Towards a Unified Programming Model for Programming Accelerators using C++14.’ Contributed to the The LLVM Compiler Infrastructure in HPC Workshop at Supercomputing '14, New Orleans. doi: 10.1109/LLVM-HPC.2014.9.
- . . ‘Using Mobile Cloud Computing for Real-Time Online Applications.’ Contributed to the IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, Oxford, UK.
- . . ‘Bringing Mobile Online Games to Clouds.’ Contributed to the IEEE INFOCOM Workshop on Mobile Cloud Computing, Toronto, Canada.
- ‘Using Software-Defined Networking for Real-Time Internet Applications.’ In Proc. of the International MultiConference of Engineers and Computer Scientists (IMECS 2014), edited by , 150–155. 0th Ed. . .
- ‘Improving QoS in real-time internet applications: From best-effort to software-defined networks.’ Contributed to the 2014 International Conference on Computing, Networking and Communications, ICNC 2014, Honolulu, HI, usa. 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, edited by . 0th Ed. Heidelberg: 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.
- . . ‘Extending the SkelCL Skeleton Library for Stencil Computations on Multi-GPU Systems.’ In Proceedings of the 1st International Workshop on High-Performance Stencil Computations, edited by , 15–21. 0th Ed. Wien: International Workshop on High-Performance Stencil Computations.
- . . ‘High-Level Programming of Stencil Computations on Multi-GPU Systems using the SkelCL Library.’ Parallel Processing Letters 24, № 03: 1441005. doi: 10.1142/S0129626414410059.
- . . ‘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.
- . . ‘A Scalability Model for Distributed Resource Management in Real-Time Online Applications.’ In Proceedings of the 2013 International Conference on Parallel Processing (ICPP), 763–772. 0th Ed. .
- . . ‘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), edited by , 258–272. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-642-39958-9_24.
- . . ‘Uniform High-Level Programming of Many-Core and Multi-GPU Systems.’ In Transition of HPC Towards Exascale Computing, edited by , 159–176. 0th Ed. Amsterdam: 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.
- . . ‘Towards bringing real-time online applications on clouds.’ Contributed to the International Conference on Computing, Networking and Communications (ICNC), Maui, Hawaii, USA.
- . . ‘Research challenges on engineering service-oriented applications.’ Contributed to the ICSE 2012 Workshop on European Software Services and Systems Research -- Results and Challenges (S-Cube), Zurich, Switzerland.
- . . ‘Design for Self-Adaptation in Service-Oriented Systems in the Cloud.’ In European Research Activities in Cloud Computing, edited by , 214–240. 0th Ed. Newcastle upon Tyne: Cambridge Scholars Publishing.
- . . ‘Designing Scalable Multiplayer Online Games.’ Game Coder Magazine 05/2012: 24–30.
- . . ‘Designing Multiplayer Online Games Using the Real-Time Framework.’ In Algorithmic and Architectural Gaming Design: Implementation and Development, edited by , 290–321. 0th Ed. .
- . . ‘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, 174–186. 0th Ed. New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/IPDPSW.2012.16.
- . . ‘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, edited by , 370–380. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-642-36949-0_41.
- . . ‘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, edited by , 430–441. 0th Ed. Amsterdam: IOS Press. doi: 10.3233/978-1-61499-125-0-430.
- . . ‘Skeleton Programming for Portable Many-Core Computing.’ In Programming Multi-core and Many-core Computing Systems, edited by , 1–21. 0th Ed. Hoboken, NJ, USA: Wiley-Blackwell.
- . . ‘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, edited by , 1858–1865. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/IPDPSW.2012.229.
- . . ‘Developing Infrastructures for Online Games and Distance Learning using RTF.’ In Proceedings of the International MultiConference of Engineers and Computer Scientists 2012, edited by , 614–619. 0th Ed. Hong Kong: Newswood.
- . . ‘Accelerating Multi-User Online Games on Multi-Core Systems Using DependenTS.’ In 2011 IEEE Consumer Communications and Networking Conference (CCNC), edited by , 177–181. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/CCNC.2011.5766448.
- ‘GPU-accelerated Simulation of Linear and Nonlinear Optical Beam Propagation in Waveguides.’ contributed to the International Conference on Simulation Technology (SimTech), Stuttgart, . [accepted / in Press (not yet published)]
- . . ‘Software Development for Real-Time Online Interactive Applications on Clouds.’ In Frontiers in Artificial Intelligence and Applications, edited by , 81–94. 0th Ed. Bristol: IOP Publishing.
- . . ‘A Dynamic Resource Management System for Real-Time Online Applications on Clouds.’ In Euro-Par 2011: Parallel Processing Workshops, edited by , 149–158. 0th Ed. Heidelberg: Springer.
- . . ‘Parallel Skeletons.’ In Encyclopedia of Parallel Computing, edited by , 1417–1422. 0th Ed. .
- . . ‘Bandwidth-Latency Models (BSP, LogP).’ In Encyclopedia of Parallel Computing, edited by , 107–112. 0th Ed. .
- . . ‘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), 1176–1182. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/IPDPS.2011.269.
- . . ‘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.
- . . ‘Optimal Design of Multiproduct Batch Plants Using a Parallel Branch-and-Bound Method .’ Contributed to the PaCT 2011, Kanzan, Rusia.
- . . ‘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, edited by , 320–327. 0th Ed. New York, NY: ACM Press.
- . . ‘Towards the Scalability of Real-Time Online Interactive Applications on Multiple Servers and Clouds.’ In High Performance Computing: From Grids and Clouds to Exascale, edited by , 267–287. 0th Ed. Amsterdam: IOS Press.
- . . ‘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, edited by , 573–580. 0th Ed. New York, NY: ACM Press. doi: 10.1145/1851476.1851561.
- . . ‘Using a lifecycle model for developing and executing adaptable interactive distributed applications.’ Lecture notes in computer science 6481 LNCS: 175–186.
- . . ‘Scalable distributed simulation of large dense crowds using the Real-Time Framework (RTF).’ Lecture notes in computer science 6271 LNCS, № PART 1: 572–583.
- . . ‘Cheating prevention in virtual worlds: Software, economic, and law aspects.’ Frontiers in Artificial Intelligence and Applications 217: 268–289.
- ‘A service-oriented interface for highly interactive distributed applications.’ Contributed to the Workshop on Highly Parallel Processing, Euro-Par 2009, Delft, nld. doi: 10.1007/978-3-642-14122-5_31. .
- . . ‘Cheating Prevention in Virtual Worlds: Software, Economic, and Law Aspects.’ In New trends in software methodologies, tools and techniques, edited by , 268–289. 0th Ed. Amsterdam: IOS Press. doi: 10.3233/978-1-60750-629-4-268.
- . . SkelCL - A Portable Multi-GPU Skeleton Library. 0th Ed. Münster: University Münster.
- . . ‘Using OpenMP vs. Threading Building Blocks for Medical Imaging on Multi-cores.’ In Euro-Par 2009 Parallel Processing, edited by , 654–665. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-642-03869-3_62.
- . . ‘Towards a scalable real-time cyberinfrastructure for online computer games.’ Proceedings of the International Conference on Parallel and Distributed Systems 2009: 722–727.
- . . ‘A Case Study on Using RTF for Developing Multi-Player Online Games.’ Lecture notes in computer science 5415 LNCS: 390–400.
- . . ‘Parallel medical image reconstruction: From graphics processors to grids.’ Lecture notes in computer science 5698 LNCS: 457–473.
- . . ‘Implementing a Data-Parallel Application with Low Data Locality on Multicore Processors.’ In International Conference on Architecture of Computing Systems - Workshop Proceedings, edited by , 57–64. 0th Ed. Delft, NL.
- . . ‘Parallelizing the LM OSEM Image Reconstruction on Multi-Core Clusters.’ Contributed to the International Conference ParCo, Lyon, France.
- . . ‘Parallel medical image reconstruction: From graphics processors to grids.’ Contributed to the 10th International Conference PaCT, Novosibirsk, Russia.
- . . Higher-Order Components for Grid Programming. 0th Ed. Düsseldorf: Springer VDI Verlag.
- . . ‘A Case Study on Multi-Core Programming Using Threading Building Blocks.’ In ARCS '09 Workshop Proceedings, edited by , 39–46. 0th Ed. Berlin: VDE Verlag.
- . . ‘Scalability of Real-Time Online Applications in Edutain@Grid.’ In Proceedings of the 9th WSEAS International Conference on Applied Informatics and Communications, edited by , 351–356. 0th Ed. Moskau: World Scientific and Engineering Academy and Society (WSEAS). doi: 10.5555/1628095.1628156.
- . . ‘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, edited by , 266–277. 0th Ed. Heidelberg: Springer. doi: 10.1007/978-3-642-14122-5_31.
- . . ‘Cost-effective medical image reconstruction: From clusters to Graphics Processing Units.’ Contributed to the Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italien.
- . . ‘Enhancing grids for massively multiplayer online computer games.’ Lecture notes in computer science 5168 LNCS: 466–477.
- ‘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, 83–90. 0th Ed. New York, NY: ACM Press. doi: 10.1145/1501750.1501769. .
- ‘Edutain@Grid: A business grid infrastructure for real-time on-line interactive applications.’ Contributed to the 5th International Workshop on Grid Economics and Business Models, GECON 2008, Las Palmas de Gran Canaria, esp. doi: 10.1007/978-3-540-85485-2_12. .
- Grid Computing: Achievements and Prospects. 0th Ed. Düsseldorf: Springer VDI Verlag. (Eds.): .
- Integrated Research in Grid Computing. 0th Ed. N/A: Selbstverlag / Eigenverlag. (Eds.): .
- . . Achievements in European Research on Grid Systems. 0th Ed. Heidelberg: Springer.
- . . ‘High-level development of multiserver online games.’ International Journal of Computer Games Technology 2008, № 5: 1–16. doi: 10.1155/2008/327387.
- . . ‘User-Oriented Software Development for Real-Time Online Applications.’ In New Trends in Software Methodologies, Tools and Techniques, edited by , 339–360. 0th Ed. Amsterdam: IOS Press.
- . . ‘A Grid Environment for Real-Time Multiplayer Online Games.’ In Proceedings of the CoreGRID Integration Workshop. 0th Ed. Hersonissos, Crete. doi: 10.1007/978-0-387-09457-1_19.
- . . ‘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, edited by , 81–86. 0th Ed. New York, NY: ACM Press. doi: 10.1145/1326257.1326272.
- ‘Towards a high-level design approach for multi-server online games.’ Contributed to the 8th International Conference on Intelligent Games and Simulation, GAME-ON 2007, Bologna, ita. .
- Integrated Research in GRID Computing. 0th Ed. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-0-387-47658-2. (Eds.): .
- Integrated Research in Grid Computing. 0th Ed. N/A: Selbstverlag / Eigenverlag. (Eds.): .
- Achievements in European Research on Grid Systems. 0th Ed. Düsseldorf: Springer VDI Verlag. (Eds.): .
- . . ‘Scaling Online Games on the Grid.’ In Proceedings of Game Design and Technology Workshop 2006 (GDTW'06), edited by , 6–10. 0th Ed. New York, NY: ACM Press.
- . . ‘Rokkatan: scaling an RTS game design to the massively multiplayer realm.’ ACM Computers in Entertainment 4, № 3: 11. doi: 10.1145/1146816.1146833.
- . . ‘Rokkatan: Scaling an RTS game design to the massively multiplayer realm.’ ACM International Conference Proceeding Series 265: 125–132.
- . . ‘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.
- Patterns and Skeletons for Parallel and Distributed Computing. 0th Ed. Düsseldorf: Springer VDI Verlag. (Eds.): .
- . . ‘DatTeL: A data-parallel C++ template library.’ Parallel Processing Letters 13, № 3: 461–472. doi: 10.1142/S0129626403001422.
- . . ‘Cost optimality and predictability of parallel programming with skeletons.’ Parallel Processing Letters 13, № 4: 575–587. doi: 10.1142/S0129626403001525.
- Constructive Methods for Parallel Programming. 0th Ed. Hauppauge, NY: Nova Science Publishers. (Eds.): .
- . . The Double-scan Skeleton and Its Parallelization , .
- . . ‘Double-Scan: Introducing and Implementing a New Data-Parallel Skeleton.’ In Euro-Par 2002. Parallel Processing, edited by , 640–647. 0th Ed. Heidelberg: Springer. doi: 10.1007/3-540-45706-2_88.
- . . ‘Program development for Computational Grids Using Skeletons and Performance Prediction.’ Parallel Processing Letters 12: 157–174.
- . . ‘Turing universality of recursive patterns for parallel programming.’ Parallel Processing Letters 12, № 2: 229–246. doi: 10.1142/S012962640200094X.
- . . ‘Towards parallel programming by transformation: The FAN skeleton framework.’ Parallel algorithms and applications 16, № 2: 87–121. doi: 10.1080/01495730108935268.
- . . ‘Network performance-aware collective communication for clustered wide-area systems.’ Parallel Computing 27, № 11: 1431–1456. doi: 10.1016/S0167-8191(01)00098-9.
- Programmieren in C++. 0th Ed. New York City: McGraw-Hill. (Hrsg.): .
- . . ‘Bandwidth-efficient collective communication for clustered wide area systems.’ In Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000, edited by , 492–499. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/IPDPS.2000.846026.
- . . ‘Abstraction and performance in the design of parallel programs: an overview of the SAT approach.’ Acta Informatica 36: 761–803. doi: 10.1007/s002360050174.
- . . ‘Towards Formally-Based Design of Message-Passing Programs.’ IEEE Transactions on Software Engineering 26: 276–288.
- Programmieren in Java. 0th Ed. New York City: McGraw-Hill. (Hrsg.): .
- . . ‘Parallelizing functional programs by generalization.’ Journal of Functional Programming 9, № 6: 649–673. doi: 10.1017/S0956796899003536.
- . . ‘A Transformational Framework for Skeletal Programs: Overview and Case Study.’ In Parallel and Distributed Processing, edited by , 123–137. 0th Ed. Heidelberg: Springer.
- . . ‘Skeletons and Transformations in an Integrated Parallel Programming Environment.’ In Parallel Computing Technologies, edited by , 13–27. 0th Ed. Heidelberg: Springer. doi: 10.1007/3-540-48387-X_2.
- . . ‘Optimization rules for programming with collective operations.’ In Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, edited by , 492–499. 0th Ed. 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 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.
- . . ‘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.
- . . ‘Parallelizing functional programs by generalization.’ In Algebraic and Logic Programming, edited by , 46–60. 0th Ed. 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 23: 687–698. doi: 10.1016/S0167-8191(97)00024-0.
- . . ‘The Static Parallelization of Loops and Recursions.’ The Journal of Supercomputing 11: 333–353. doi: 10.1023/A:1007904422322.
- . . ‘Formal derivation of divide-and-conquer programs: A case study in the multidimensional FFT's.’ Contributed to the Formal Methods for Parallel Programming: Theory and Practice, Workshop at IPPS'97, Genf, Schweiz.
- . . ‘(De)composition rules for parallel scan and reduction.’ In Proceedings. Third Working Conference on Massively Parallel Programming Models, 23–32. 0th Ed. . doi: 10.1109/MPPM.1997.715958.
- . . ‘Stages and Transformations in Parallel Programming.’ In Abstract Machine Models for Parallel and Distributed Computing, edited by , 147–161. 0th Ed. Amsterdam: IOS Press.
- . . ‘Systematic extraction and implementation of divide-and-conquer parallelism.’ In Programming Languages: Implementations, Logics, and Programs, edited by , 274–288. 0th Ed. 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, edited by , 401–408. 0th Ed. Heidelberg: Springer. doi: 10.1007/BFb0024729. .
- . . N-graphs: A topology for parallel divide-and-conquer on transputer networks , .
- . . Constructing List Homomorphisms for Parallelism , .
- . . ‘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, edited by , 763–776. 0th Ed. Amsterdam: IOS Press.
- . . ‘Systematic development of an SPMD implementation schema for mutually recursive divide-and-conquer specifications.’ In Proceedings of 8th International Parallel Processing Symposium, edited by , 368–375. 0th Ed. New York City: Wiley-IEEE Press. doi: 10.1109/IPPS.1994.288275.
- . . ‘Development and efficiency evaluation of abstract parallel program representation.’ Contributed to the International Conference on Computing Systems and Software Engineering, Den Haag, Niederlande.
- . . ‘Parallel program design for sparse grid algorithms.’ Contributed to the 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, edited by , –. 0th Ed. München.
- . . ‘A case study: Parallel program development for a recursive numerical algorithm.’ In PARLE '92 Parallel Architectures and Languages Europe., edited by , 943–946. 0th Ed. Heidelberg: Springer. doi: 10.1007/3-540-55599-4_134.
- . . ‘Distributed-memory program development in declarative and procedural environment.’ Contributed to the Internat. Conf. Parallel Computing Technologies (PaCT), Singapur.
- . . ‘Parallel program generation from nonprocedural specifications.’ Cybernetics 26, № 1.
- . . ‘Program specification and synthesis using systems of equations over data structures.’ Cybern Syst Anal 25: 22–35. doi: 10.1007/BF01074880.
- . . ‘Transformation of recurrences into parallel programs.’ Contributed to the Workshop on parallel programming, Kiew, Ukraine.
- . . ‘Parallel programs synthesis from systems of recursive relationships.’ In Matematicheskoe obespechenie vychislitelnych sistem, edited by , 29–37. 0th Ed. Kiew.
- System software of the ES multiprocessor system. 0th Ed. N/A: Selbstverlag / Eigenverlag. (Eds.): .
- Numerical Methods for the ES multiprocessor system. 0th Ed. N/A: Selbstverlag / Eigenverlag. (Eds.): .
- . . ‘A method for macro-conveyor programs development.’ In In Proektirovanie mnogoprocessornych system, edited by , 16–28. 0th Ed. Kiew.
- . . ‘Synthesis of parallel programs from systems of recursive relationships.’ In Mathematical Software and Hardware for Computing Systems, edited by , 3–9. 0th Ed. Kiew.
- . . ‘Constructing parallel programs using systems of recurrence equations.’ Contributed to the Conference on problems of synthesis, testing, verification and debugging of programs, Riga, Lettland.
- . . ‘Tools for multimodule programs simulation in the PROEKT environment.’ In Proektirovanie mnogoprocessornych system, edited by , 27–35. 0th Ed. Kiew.
- . . ‘A language for representing parallel programs models and its implementation.’ In Issledovanie slozhnych system metodami modelirovaniya, edited by , 42–47. 0th Ed. Kiew.
- . . ‘On a new method of macro-pipelined program design.’ In Design of Multiprocessor Computing Systems, edited by , 16–25. 0th Ed. Kiew.
- . . ‘Data structures algebra and parallel program synthesis.’ Contributed to the All-Union Conference on Applied Logic, Nowosibirsk, Russland.
- . . ‘Data structures aggregation and parallel programs synthesis.’ In Analiz i obrabotka matematicheskich tekstov, edited by , 34–43. 0th Ed. Kiew.
- . . ‘Verification of an algorithm for simulating parallel programs.’ In Razvitie teorii mnogoprocessornych system, edited by , 24–33. 0th Ed. Kiew.
- . . ‘Simulation tools in the development of parallel software.’ Contributed to the All-Union Conference on system simulation, Swerdlowsk, Russland.
- . . ‘Development of distributed operation systems in PROEKT environment.’ Cybernetics 20, № 3.
- . . ‘Aggregation of data structures and synthesis of parallel programs.’ In Analysis and Processing of Mathematical Texts, edited by , 34–44. 0th Ed. Kiew.
- . . ‘Towards the justification of an algorithm for modelling parallel programs.’ In Development of the Theory of Multiprocessor Systems, edited by , 34–40. 0th Ed. Kiew.
- . . ‘Design tools for macro-pipelined algorithms and programs.’ Cybernetics -.
- . . ‘Design of parallel programs computing functions over data structures.’ Contributed to the All-Union Symposium on System and Theoretical Programming, Kischinew, Moldau.
- . . ‘An approach to estimating the operational efficiency of multiprocessor systems.’ Cybernetics 19, № 6.
- . . ‘Some investigation results on target programs for a macro-conveyor computer.’ In Modelirovanie vychislitelnych system, edited by , 34–41. 0th Ed. Kiew.
- . . ‘Multi-based algebra of data structures.’ In Mathematical Software for Computerized Logical Inference and Deductive Construction Systems, edited by , 18–31. 0th Ed. Kiew.
- . . ‘Asynchronous macro-conveyor computation of structural functions.’ Cybernetics 19, № 5.
- . . ‘Interactive design of macro-conveyor programs.’ Contributed to the Workshop on dialog systems, Tiflis, Georgien.
- . . ‘Full systems of identities in many-based algebra of data structures.’ Cybernetics 18, № 1.
- . . ‘Simulation of multimodule programs.’ In Parallel Programming and High-Performance Systems, edited by , 10–12. 0th Ed. Kiew: Naukova Dumka.
- . . ‘System and algorithmic model of multiprocessor computer.’ In Automatic Design and Simulation of Computing Systems , edited by , 12–19. 0th Ed. Kiew.
- . . ‘On efficiency of parallel algorithms and programs.’ Contributed to the All-union USSR Conference on supercomputers, Kiew, Ukraine.
- . . ‘Macro-pipelined computations of functions over data structures.’ Cybernetics -.
Supervised Doctoral Studies
Kucher, Vladyslav Portable Implicit Parallel Programming in C++ using the Pacxx Framework Zhang, Yu Quality of Service in Software-Defined Networking with Applications to Social Networks Mina Abadeer Agent-based Modeling and Interactive Simulation Applied to Pandemics and Disaster Scenarios Hagedorn, Bastian High-Performance Domain-Specific Compilation without Domain-Specific Compilers Sun, Huihui Taming Control Divergence for Vectorizing Programs on SIMD Extensions Martins, Denis Mayr Lima Enabling Non-technical Users to ery and Purchase Data Humernbrum, Tim Enforcing Quality of Service in Real-Time Applications Using Software-Defined Networking Haidl, Michael Towards Heterogeneous Computing in C++: PACXX: A Portable, High-Performance Programming Model Nsaif, Mohammed Efficient Persistence Management in Distributed Real-Time Online Interactive Applications Ernsting, Steffen Data Parallel Algorithmic Skeletons with Accelerator Support. Glinka, Frank High-Level Development of Scalable Real-Time Online Interactive Applications for Grids and Clouds Meiländer, Dominique Efficient Resource Management of Real-Time Online Interactive Applications in Cloud Environments Steuwer, Michel Improving Programmability and Performance Portability on Many-Core Processors Kegel, Philipp A Uniform, OpenCL-based Approach for Programming Distributed Systems with Multicores and GPUs Ploß, Alexander Efficient Dynamic Communication for Real-Time Online Interactive Applications in Heterogeneous Environments Mensmann, Jörg Exploiting Spatial and Temporal Coherence in GPU-Based Volume Rendering Schellmann, Maraike Efficient PET Image Reconstruction on Modern Parallel and Distributes Systems Dünnweber, Jan Higher-Order Components for Web-Enabled Grid Applications Müller-Iden, Jens Replication-based Scalable Parallelisation of Virtual Environments Alt, Martin Using Algorithmic Skeletons for Efficient Grid Computing with Performance Bischof, Holger Systematic Development of Parallel Programs Using Skeletons
Prof. Dr. Sergei Gorlatch
Professur für Praktische Informatik (Prof. Gorlatch)