Institutionen der Universität Bayreuth
Institut für Informatik

A

Ackermann, Lars:
Sprachzentrierte Ansätze zur Steigerung der Akzeptanz von Geschäftsprozessmodellen.
2018 . - XIX, 337 S.
( Dissertation, 2018 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Simulation of Multi-Perspective Declarative Process Models.
Bayreuth , 2016 . - 12 S.

Awais, Muhammad:
Intuitive Human-Robot Interaction by Intention Recognition.
Bayreuth , 2013 . - 146 S. S.
( Dissertation, 2013 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

B

Biener, Verena:
Virtual Reality for Mobile Knowledge Work.
Bayreuth , 2024 . - VIII, 153 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Brunner, Christopher:
Erweiterung eines channelbasierten Task-Laufzeitsystems um eine OpenMP-Nutzerschnittstelle.
Bayreuth , 2022 . - v, 64 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 16 )
( Bachelorarbeit, 2022 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Bartel, Silas ; Korch, Matthias:
Generation of logic designs for efficiently solving ordinary differential equations on field programmable gate arrays.
In: Software : Practice and Experience. (19 Oktober 2021) .
ISSN 1097-024X
DOI der Verlagsversion: https://doi.org/10.1002/spe.3043

Bartel, Silas:
Generierung von Logikschaltungen zum effizienten Lösen von Differentialgleichungen auf FPGAs.
Bayreuth , 2020 . - VIII, 66 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 13 )
( Bachelorarbeit, 2020 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Bachynskyi, Myroslav ; Paneva, Viktorija ; Müller, Jörg:
LeviCursor : Dexterous Interaction with a Levitating Object.
2018
Veranstaltung: ACM International Conference on Interactive Surfaces and Spaces ISS 2018 , 25-28.11.2018 , Tokyo, Japan.
(Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung , Paper )
DOI der Verlagsversion: https://doi.org/10.1145/3279778.3279802

Baumann, Michaela:
Über die Anwendung, Klassifizierung und Übertragbarkeit von Methoden für einen Ähnlichkeitsabgleich von Geschäftsprozessmodellen.
Bayreuth , 2018 . - 239 S.
( Dissertation, 2018 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Bogner, Christina ; Seo, Bumsuk ; Rohner, Dorian ; Reineking, Björn:
Classification of rare land cover types: Distinguishing annual and perennial crops in an agricultural catchment in South Korea.
In: PLOS ONE. Bd. 13 (2018) Heft 1 . - No. e0190476.
ISSN 1932-6203
DOI der Verlagsversion: https://doi.org/10.1371/journal.pone.0190476

Baumann, Michaela:
Comparing Imperative and Declarative Process Models.
Bayreuth , 2017 . - 12 S.

Bankau, Marcel ; Baumann, Michaela ; Baumann, Michael Heinrich ; Schönig, Stefan ; Jablonski, Stefan:
The Process Checklist Generator : Establishing Paper-based Process Support.
Universität Bayreuth
Bayreuth , 2017 . - 5 S.

Baumann, Michaela ; Baumann, Michael Heinrich ; Schönig, Stefan ; Jablonski, Stefan:
The Process Checklist : Paper-based Enactment of Human-driven Processes.
In: Enterprise Modelling and Information Systems Architectures - An International Journal. Bd. 12 (28 Februar 2017) Heft 1 . - S. 1-42.
ISSN 1866-3621
DOI der Verlagsversion: https://doi.org/10.18417/emisa.12.1

Baumgartl, Johannes:
Schnelle, konservative Greif- und Ablageplanung von unbekannten Objekten.
Bayreuth , 2016 . - V, 189 S.
( Dissertation, 2016 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Baumann, Michael Heinrich ; Baumann, Michaela:
Der Mensch sagt „Nein“ und meint doch JA. Der Grund dafür kann vieles sein. Für das Programm ist alles klar: Ein JA heißt JA und NEIN heißt NEIN.
Bayreuth , 2015 . - 9 S.
(Sonstiges)

Baumann, Michaela ; Baumann, Michael Heinrich ; Jablonski, Stefan:
On Behavioral Process Model Similarity Matching: A Centroid-based Approach.
University of Bayreuth
Bayreuth , 2015 . - 16 S.

Baumann, Michaela ; Baumann, Michael Heinrich ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Ansätze zum Ähnlichkeitsabgleich von deklarativen Geschäftsprozessmodellen.
Universität Bayreuth , 2015 . - 8 S.

Baumgarten, Kai:
Multiprozessor Task Scheduling - Entwicklung und Vergleich von Algorithmen zur optimalen Auslastung eines Parallelrechners.
Bayreuth , 2014 . - 216 S.
( Dissertation, 2014 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Buchmann, Thomas:
Modelle und Werkzeuge für modellgetriebene Softwareproduktlinien am Beispiel von Softwarekonfigurationsverwaltungssystemen.
Bayreuth , 2010
( Dissertation, 2010 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

C

Cheong, Otfried ; Devillers, Olivier ; Glisse, Marc ; Park, Ji-won:
Covering families of triangles.
In: Periodica Mathematica Hungarica. Bd. 87 (1 September 2023) Heft 1 . - S. 86-109.
ISSN 1588-2829
DOI der Verlagsversion: https://doi.org/10.1007/s10998-022-00503-4

D

Dümmel, Nikita:
MuLE : A Multi-Paradigm Language for Education.
Bayreuth , 2022 . - VIII, 356 S.
( Dissertation, 2022 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Doleschal, Johannes:
Optimization and Parallelization of RegEx Based Information Extraction.
2021 . - XVII, 176 S.
( Dissertation, 2021 , Universität Bayreuth, Bayreuther Graduiertenschule für Mathematik und Naturwissenschaften - BayNAT )

Dotor Schumann, Alexander:
Entwurf und Modellierung einer Produktlinie von Software-Konfigurations-Management-Systemen.
Bayreuth , 2011
( Dissertation, 2011 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Daubner, Bernhard:
Konzeption und prototypische Implementierung eines Frameworks zur automatisierten Softwaremessung.
Bayreuth , 2008
( Dissertation, 2008 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

E

Ebert, Michael:
Webbasierte Ad-hoc-Programmieraufgaben zur Vermittlung von grundlegenden Konzepten der Programmierung in Vorlesungen.
Bayreuth , 2019 . - xi, 289 S.
( Dissertation, 2018 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

F

Fichtner, Myriel:
Verbesserung von Prozessmodellen durch relevante Prozessdetails.
Bayreuth , 2024 . - XIX, 247 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Fischer, Florian:
An Optimal Feedback Control Perspective on Human-Computer Interaction.
Bayreuth , 2024 . - XII, 248
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Fischer, Florian ; Bachynskyi, Myroslav ; Klar, Markus ; Fleig, Arthur ; Müller, Jörg:
Reinforcement learning control of a biomechanical model of the upper extremity.
In: Scientific Reports. Bd. 11 (2021) . - No. 14445.
ISSN 2045-2322
DOI der Verlagsversion: https://doi.org/10.1038/s41598-021-93760-1

Fleig, Arthur ; Grüne, Lars:
Strict dissipativity analysis for classes of optimal control problems involving probability density functions.
Bayreuth , 2019 . - 23 S.

Fichtner, Myriel:
Parameterizable Process Views in Imperative Process Models.
Bayreuth , 2019 . - vii, 68 S.
(Masterarbeit, 2019 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Fiebig, Alexander:
Effiziente Implementierung und Analyse eines Waveform-Relaxationsverfahrens mit NVIDIA CUDA.
Bayreuth , 2016 . - 47 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 9 )
( Bachelorarbeit, 2016, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Ferber, Marvin:
Bedarfsgerechte Auswahl der Dienstqualität für Mobile Cloud-unterstützte Anwendungen.
Bayreuth , 2014 . - X, 211 S.
( Dissertation, 2014 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

G

Greiner, Sandra:
Reuse of Model Transformations for Propagating Variability Annotations in Annotative Software Product Lines.
Bayreuth , 2022 . - vii; 326 S.
( Dissertation, 2022 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Gleißner, Benedikt:
Domänenspezifische Sprachen zur Umsetzung numerischer Lösungsverfahren für gewöhnliche Differentialgleichungssysteme.
Bayreuth , 2019 . - 63 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 12 )
(Masterarbeit, 2019 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Groth, Christian:
Online-Adaption und synchronisierte Ausführung einmalig demonstrierter Roboterverhalten.
Bayreuth , 2016 . - 160 S.
( Dissertation, 2016 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Gecks, Thorsten:
Sensorbasierte, echtzeitfähige Online-Bahnplanung für die Mensch-Roboter-Koexistenz.
Bayreuth , 2011
( Dissertation, 2011 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Günther, Christoph:
Ansätze zur flexiblen Navigation in Prozessabläufen.
Bayreuth , 2009
(Masterarbeit, 2009, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

H

Zitieren in wissenschaftlichen Arbeiten = Citation in Scientific Work.
Institut für Informatik der Universität Bayreuth
Bayreuth , 2021 . - 2 S.
(Sonstiges)

Henrich, Dominik:
Wissenszugewinn bei wissenschaftlichen Arbeiten.
Bayreuth , 2016

Hecht, Robin:
Konzeptuelle und Methodische Aufarbeitung von NoSQL-Datenbanksystemen.
Bayreuth , 2015 . - XX, 261 S.
( Dissertation, 2014 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Hänel, Maria:
A Matter of Perspective - Three-dimensional Placement of Multiple Cameras to Maximize their Coverage.
Bayreuth , 2015 . - i, 165 S.
( Dissertation, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Hoffmann, Ralf:
Effiziente taskbasierte Programmausführung irregulärer Applikationen mit adaptiver Lastbalancierung.
Bayreuth , 2009
( Dissertation, 2009 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Hunold, Sascha:
Evaluation der Leistungsfähigkeit von gemischt-parallelen Programmen in homogenen und heterogenen Umgebungen unter Berücksichtigung effizienter Schedulingstrategien.
Bayreuth , 2008
( Dissertation, 2009 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Hagedorn, Gregor:
Structuring Descriptive Data of Organisms — Requirement Analysis and Information Models.
Bayreuth , 2007
( Dissertation, 2007 , Universität Bayreuth, Fakultät für Biologie, Chemie und Geowissenschaften)

I

Igler, Michael:
ESProNa - Eine Constraintsprache zur multimodalen Prozessmodellierung und navigationsgestützten Ausführung.
Bayreuth , 2012
( Dissertation, 2012 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

J

Jakob, Johannes ; Guthe, Michael:
Optimizing LBVH‐Construction and Hierarchy‐Traversal to accelerate kNN Queries on Point Clouds using the GPU.
In: Computer Graphics Forum. Bd. 40 (2021) Heft 1 . - S. 124-137.
ISSN 0167-7055
DOI der Verlagsversion: https://doi.org/10.1111/cgf.14177

Jahn, Matthias:
Evolution von Meta-Modellen mit sprachbasierten Mustern.
Bayreuth , 2014 . - X, 209 S.
( Dissertation, 2014 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

K

Klar, Markus:
Simulating Interaction Movements via Model Predictive Control and Deep Reinforcement Learning.
Bayreuth , 2024 . - XII, 234 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Käppel, Martin ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Language-independent look-ahead for checking multi-perspective declarative process models.
In: Software and Systems Modeling. Bd. 20 (9 Januar 2021) . - S. 1379-1401.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00857-8

Kalinnik, Natalia ; Kiesel, Robert ; Rauber, Thomas ; Richter, Marcel ; Rünger, Gudula:
A performance- and energy-oriented extended tuning process for time-step-based scientific applications.
In: The Journal of Supercomputing. Bd. 76 (2021) . - S. 3484-3515.
ISSN 1573-0484
DOI der Verlagsversion: https://doi.org/10.1007/s11227-020-03402-y

Korch, Matthias ; Werner, Tim:
An in-depth introduction of multi-workgroup tiling for improving the locality of explicit one-step methods for ODE systems with limited access distance on GPUs.
In: Concurrency and Computation. (22 September 2020) . - e6016.
ISSN 1532-0634
DOI der Verlagsversion: https://doi.org/10.1002/cpe.6016

Koch, Stefan:
Sicherheitsaspekte beim Anschluss von USB-Geräten.
Bayreuth , 2017 . - 77 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 10 )
(Masterarbeit, 2017, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Koch, Matthias:
Neue Strategien zur Lösung von Isomorphieproblemen.
Bayreuth , 2016 . - XIV, 178 S.
( Dissertation, 2016 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Kalinnik, Natalia:
Effizientes Lösen von Anfangswertproblemen gewöhnlicher Differentialgleichungssysteme mithilfe von Autotuning-Techniken.
Bayreuth , 2015 . - XVIII, 202 S.
( Dissertation, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Kulbe, Julien:
Effiziente parallele Implementierung eines expliziten Euler-Verfahrens für Grafikprozessoren durch Diamant-Tiling.
Bayreuth , 2012 . - (Bayreuth Reports on Parallel and Distributed Systems ; 3 )
(Masterarbeit, 2012, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Kuhn, Stefan:
Wissens- und sensorbasierte geometrische Rekonstruktion.
Bayreuth , 2012 . - 240 S. S.
( Dissertation, 2012 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Kuhn, Stefan ; Henrich, Dominik:
Multi-View Reconstruction in-between Known Environments.
Bayreuth , 2010

Korch, Matthias ; Rauber, Thomas:
Parallel Low-Storage Runge-Kutta Solvers for ODE Systems with Limited Access Distance.
Bayreuth , 2010 . - (Bayreuth Reports on Parallel and Distributed Systems ; 1 )

Kuhn, Stefan ; Henrich, Dominik:
Multi-View Reconstruction of Unknown Objects in the Presence of Known Occlusions.
Bayreuth , 2009

Kohnert, Axel ; Kurz, Sascha:
Integral point sets over Z_n^m.
Bayreuth , 2007

Kohnert, Axel:
Symmetric functions in MAGMA.
Bayreuth , 2007

Korch, Matthias:
Effiziente Implementierung eingebetteter Runge-Kutta-Verfahren durch Ausnutzung der Speicherzugriffslokalität.
Bayreuth , 2006
( Dissertation, 2006 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Kohnert, Axel:
Construction of Two-Weight Codes.
Bayreuth , 2005

L

Laubert, Henrik:
Effiziente Threadkommunikation im gemeinsamen Speicher mithilfe lock-basierter und lock-freier Channel.
Bayreuth , 2022 . - I, 50 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 17 )
( Bachelorarbeit, 2021 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Lobachev, Oleg:
On Three-Dimensional Reconstruction.
Bayreuth , 2018 . - XXIX, 253 S.
( Habilitation, 2018 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Losemann, Katja:
Foundations of Regular Languages for Processing RDF and XML.
Bayreuth , 2015 . - XIV, 175 S.
( Dissertation, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Lindner, Benjamin:
Studie zur Software-Unterstützung für die Raumplanung an deutschen Hochschulen.
Bayreuth , 2013
( Bachelorarbeit, 2013, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Ley, Konrad:
Parallele Implementierung und Analyse eines expliziten Adams-Verfahrens.
Bayreuth , 2010 . - (Bayreuth Reports on Parallel and Distributed Systems ; 2 )
( Bachelorarbeit, 2010, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

M

Mikula, Fabian:
Parameterautotuning für kompilierte Anwendungen durch Verwendung von Debugger-Werkzeugen.
Bayreuth , 2022 . - VIII, 52 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 14 )
( Bachelorarbeit, 2021 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Mohr, Daniel:
MPI auf Basis von RESTful HTTP.
Bayreuth , 2013 . - (Bayreuth Reports on Parallel and Distributed Systems ; 6 )
(Masterarbeit, 2013 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Meerkamm, Stephanie:
Ein Rahmenwerk für das Prozessdesign zur Identifikation, Klassifikation und Umsetzung von Anforderungen - Dargestellt an der Konzeption des Prozesskonfigurators.
Bayreuth , 2012
( Dissertation, 2012 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

N

Nagel, Raik:
Erweiterung des Threadmodelles fur den Einsatz in verteilten und heterogenen Systemumgebungen.
Bayreuth , 2009
( Dissertation, 2009 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

O

Ober-Gecks, Antje:
Personen-Tracking in Umgebungen mit verdeckenden Objekten basierend auf 3D-Rekonstruktionsdaten.
Bayreuth , 2023 . - XIII, 292 S.
( Dissertation, 2022 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

P

Paneva, Viktorija:
Optimal Control of Acoustic Levitation Displays : Bridging the Gap Between Physical and Virtual Worlds.
Bayreuth , 2023 . - XVIII, 252 S.
( Dissertation, 2023 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Popp, Tina:
Evaluation and Enumeration of Regular Simple Path and Trail Queries.
Bayreuth , 2022 . - x, 209 S.
( Dissertation, 2022 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Paneva, Viktorija ; Seinfeld, Sofia ; Kraiczi, Michael ; Müller, Jörg:
HaptiRead: Reading Braille as Mid-Air Haptic Information.
In: DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference. - New York, NY, United States : Association for Computing Machinery , 2020 . - S. 13-20
ISBN 978-1-4503-6974-9
DOI der Verlagsversion: https://doi.org/10.1145/3357236.3395515

Paneva, Viktorija ; Bachynskyi, Myroslav ; Müller, Jörg:
Levitation Simulator: Prototyping Ultrasonic Levitation Interfaces in Virtual Reality.
In: CHI '20 : Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. - New York, NY, USA : Association for Computing Machinery , 2020 . - S. 1-12
ISBN 9781450367080
DOI der Verlagsversion: https://doi.org/10.1145/3313831.3376409

Prell, Andreas:
Embracing Explicit Communication in Work-Stealing Runtime Systems.
Bayreuth , 2016 . - XIX, 176 S.
( Dissertation, 2016 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

R

Reischl, Maximilian:
Sampling based real-time approximations on CPUs and GPUs - with application to rendering of multi layered materials and pathfinding.
Bayreuth , 2024 . - VII, 51 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Riedelbauch, Dominik ; Höllerich, Nico ; Henrich, Dominik:
Benchmarking Teamwork of Humans and Cobots : An Overview of Metrics, Strategies, and Tasks.
In: IEEE Access. Bd. 11 (2023) . - S. 43648-43674.
ISSN 2169-3536
DOI der Verlagsversion: https://doi.org/10.1109/ACCESS.2023.3271602

Riedl, Michael:
Intuitive sensorbasierte, editierbare, kinästhetische Programmierung von Pick-and-Place-Aufgaben für Mehrrobotersysteme.
Bayreuth , 2022 . - 188 S.
( Dissertation, 2022 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Riedelbauch, Dominik:
Dynamic Task Sharing for Flexible Human-Robot Teaming under Partial Workspace Observability.
Bayreuth , 2020 . - VI, 145 S.
( Dissertation, 2020 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Raithel, Philipp:
Optimierung paralleler Particle-In-Cell-Verfahren für Grafikprozessoren.
Bayreuth , 2019 . - iv, 41 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 11 )
( Bachelorarbeit, 2019 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Rollinger, Georg:
Adding support for heterogeneous parallel architectures to Julia.
Bayreuth , 2015 . - 66 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 8 )
(Masterarbeit, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Roth, Bastian:
Beispielgetriebene Entwicklung domänenspezifischer Modellierungssprachen.
Bayreuth , 2014 . - IX, 202 S.
( Dissertation, 2014 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Roth, Bastian:
Konzeption und Implementierung eines generischen Modellierungswerkzeugs zur Unterstützung der domänenspezifischen Prozessmodellierung.
Bayreuth , 2010
(Masterarbeit, 2010, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

S

Sturm, Christian:
Neue Paradigmen in der dezentralen Prozesskontrolldatenverwaltung : Von Blockchain-Systemen bis zu traditionellen Synchronisierungsalgorithmen.
2024 . - XV, 282 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schützenmeier, Nicolai:
Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle.
Bayreuth , 2024 . - XVIII, 210 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Sauer, Lukas:
Bildschirmfreie Roboterprogrammierung für Nichtexperten mittels Roboterzustandsautomaten.
Bayreuth , 2024 . - VII, 179 S.
( Dissertation, 2024 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schützenmeier, Nicolai ; Käppel, Martin ; Ackermann, Lars ; Jablonski, Stefan ; Petter, Sebastian:
Automaton-based comparison of Declare process models.
In: Software and Systems Modeling. Bd. 22 (2023) . - S. 667-685.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-022-01069-y

Stachowski, Matthias:
Untersuchung und Modellierung des Energieverbrauchs von DVFS Prozessoren auf Basis von parallelen Berechnungen des wissenschaftlichen Rechnens.
Bayreuth , 2022 . - xxi, 141 S.
( Dissertation, 2022 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schröpfer, Johannes ; Buchmann, Thomas ; Westfechtel, Bernhard:
Projectional Editing of Software Product Lines Using Multi-variant Model Editors.
In: SN Computer Science. Bd. 4 (2022) Heft 1 . - No. 35.
ISSN 2661-8907
DOI der Verlagsversion: https://doi.org/10.1007/s42979-022-01456-8

Sommer, Luise:
Elastic Geometric Shape Matching.
Bayreuth , 2021 . - XII, 176 S.
( Dissertation, 2022 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Seinfeld, Sofia ; Müller, Jörg:
Impact of visuomotor feedback on the embodiment of virtual hands detached from the body.
In: Scientific Reports. Bd. 10 (30 Dezember 2020) Heft 1 . - S. 2045-2322.
ISSN 2045-2322
DOI der Verlagsversion: https://doi.org/10.1038/s41598-020-79255-5

Stachowski, Matthias ; Fiebig, Alexander ; Rauber, Thomas:
Autotuning based on frequency scaling toward energy efficiency of blockchain algorithms on graphics processing units.
In: The Journal of Supercomputing. (2 April 2020) .
ISSN 1573-0484
DOI der Verlagsversion: https://doi.org/10.1007/s11227-020-03263-5

Sand, Maximilian:
Inkrementelle Rekonstruktion von planaren Volumenmodellen mit handgehaltenen Tiefenkameras.
Bayreuth , 2019 . - 207 S.
( Dissertation, 2019 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schwägerl, Felix:
Version Control and Product Lines in Model-Driven Software Engineering.
Bayreuth , 2018 . - XIV, 414 S.
( Dissertation, 2018 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Steiniger, Birte S. ; Ulrich, Christine ; Berthold, Moritz ; Guthe, Michael ; Lobachev, Oleg:
Capillary networks and follicular marginal zones in human spleens : Three-dimensional models based on immunostained serial sections.
In: PLOS ONE. Bd. 13 (Februar 2018) Heft 2 . - No. e0191019.
ISSN 1932-6203
DOI der Verlagsversion: https://doi.org/10.1371/journal.pone.0191019

Spangenberg, Michael:
Intuitive Roboterkommandierung basierend auf Verbalisierten Physikalischen Effekten.
Bayreuth , 2017 . - II, 159 S.
( Dissertation, 2017 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Steiniger, Birte S. ; Stachniss, Vitus ; Wilhelmi, Verena ; Seiler, Anja ; Lampp, Katrin ; Neff, Andreas ; Guthe, Michael ; Lobachev, Oleg:
Three-Dimensional Arrangement of Human Bone Marrow Microvessels Revealed by Immunohistology in Undecalcified Sections.
In: PLOS ONE. Bd. 11 (2016) Heft 12 . - S. 1-25.
ISSN 1932-6203
DOI der Verlagsversion: https://doi.org/10.1371/journal.pone.0168173

Seitz, Michael:
Der angemessene Grad an Prozessunterstützung : ein methodisches Rahmenwerk.
Bayreuth , 2016 . - XIV, 209 S.
( Dissertation, 2016 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schönig, Stefan:
Ein Process Mining-Rahmenwerk für agile, personenbezogene Prozesse.
Bayreuth , 2015 . - XIX, 207 S.
( Dissertation, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schneider, Tobias:
Domänenspezifische Evaluation und Optimierung von Datenstandards und Infrastrukturen.
Bayreuth , 2014 . - 449 S.
( Dissertation, 2013 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schwägerl, Felix:
Mapping-basierte Modellierung von Softwareproduktlinien.
Bayreuth , 2012
(Masterarbeit, 2012, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Straubinger, Markus:
Reduktion des Kommunikationsaufwands iterierter Runge-Kutta-Verfahren für dünnbesetzte gewöhnliche Differentialgleichungssysteme.
Bayreuth , 2012 . - 27 S. S. - (Bayreuth Reports on Parallel and Distributed Systems ; 4 )
( Bachelorarbeit, 2012, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Stolka, Philipp J.:
Navigation with Local Sensors in Surgical Robotics.
Bayreuth , 2011
( Dissertation, 2011 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Schmidt, Thorsten W.:
Temporale Fuzzy Logik - Eine Vereinigung der Temporal-Logik und Fuzzy-Logik anhand von vorausschauenden Wartungs- und Überwachungssystemen.
Bayreuth , 2011
( Dissertation, 2011 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

T

Timm, Thomas:
Exploration of Large-Scale SPARQL Query Collections : Finding Structure and Regularity for Optimizing Database Systems.
Bayreuth , 2020 . - xii, 153 S.
( Dissertation, 2020 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Talib, Muhammad Ramzan:
Agent Assignment for Process Management: Resource Management Support for Skill Intensive Applications of Workflow Technology Technical and Methodological Issues.
Bayreuth , 2011
( Dissertation, 2011 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

U

Ulrich, Christine:
Isoflächenrekonstruktion aus Serienschnitten.
Bayreuth , 2019 . - v, 111 S.
( Dissertation, 2019 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Uhrig, Sabrina:
Korrespondenzberechnung auf Klassendiagrammen.
Bayreuth , 2011
( Dissertation, 2011 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

V

Vießmann, Fabian:
Taskbasierte Umsetzung des parallelen hierarchischen Radiosity-Verfahrens in Nim mithilfe der Multithreading-Runtime Weave mit Untersuchung und Optimierung des Laufzeitverhaltens.
Bayreuth , 2022 . - VIII, 58 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 15 )
( Bachelorarbeit, 2021 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

W

Werner, Tim:
Automatische Generierung von effizienten, parallelen Implementierungsvarianten für ODE-Verfahren aus deren Datenflussgraphen mit Kernelfusion und Tiling für GPUs und CPUs.
Bayreuth , 2023 . - 343 S.
( Dissertation, 2023 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Wölfel, Kim:
SpIRo Sprachbasierte Instruktion kraftbasierter Roboterbewegungen.
Bayreuth , 2021 . - 3, 123 S.
( Dissertation, 2021 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Westfechtel, Bernhard ; Greiner, Sandra:
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations.
In: Software and Systems Modeling. Bd. 19 (1 Juli 2020) Heft 4 . - S. 853-888.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00791-9

Wiedmann, Peter C.:
Agiles Geschäftsprozessmanagement auf Basis gebrauchssprachlicher Modellierung.
Bayreuth , 2017 . - LXXII, 264 S.
( Dissertation, 2017 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Werner, Tim:
Effiziente SPH-basierte Flüssigkeitssimulation mit Visualisierung auf einem GPU-Cluster.
Bayreuth , 2015 . - 168 S. - (Bayreuth Reports on Parallel and Distributed Systems ; 7 )
(Masterarbeit, 2015, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Winetzhammer, Sabine:
Modellgetriebene Entwicklung mit Graphtransformationen.
Bayreuth , 2015 . - X, 258 S.
( Dissertation, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Werner, Tim:
Implementierung und Untersuchung paralleler Volumen-Rendering-Techniken für Graphikprozessoren.
Bayreuth , 2013 . - (Bayreuth Reports on Parallel and Distributed Systems ; 5 )
( Bachelorarbeit, 2013 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Z

Zeising, Michael:
Plattform zur integrierten IT-gestützten Ausführung von strikten und agilen Prozessen.
Bayreuth , 2015 . - 131 S.
( Dissertation, 2015 , Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)

Zeising, Michael:
Constraint-System für eine mehrschichtige Metamodellierungsumgebung.
Bayreuth , 2011
(Masterarbeit, 2011, Universität Bayreuth, Fakultät für Mathematik, Physik und Informatik)