Institutions of the University of Bayreuth
|
One level up ... |
Sturm, Christian:
Neue Paradigmen in der dezentralen Prozesskontrolldatenverwaltung : Von Blockchain-Systemen bis zu traditionellen Synchronisierungsalgorithmen.
2024
. - XV, 282 P.
(
Doctoral thesis,
2024
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Fichtner, Myriel:
Verbesserung von Prozessmodellen durch relevante Prozessdetails.
Bayreuth
,
2024
. - XIX, 247 P.
(
Doctoral thesis,
2024
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Klar, Markus:
Simulating Interaction Movements via Model Predictive Control and Deep Reinforcement Learning.
Bayreuth
,
2024
. - XII, 234 P.
(
Doctoral thesis,
2024
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Fischer, Florian:
An Optimal Feedback Control Perspective on Human-Computer Interaction.
Bayreuth
,
2024
. - XII, 248
(
Doctoral thesis,
2024
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Schützenmeier, Nicolai:
Automatenbasierte Vergleichsmethoden und Verhaltensanalyseverfahren für imperative und deklarative Prozessmodelle.
Bayreuth
,
2024
. - XVIII, 210 P.
(
Doctoral thesis,
2024
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Sauer, Lukas:
Bildschirmfreie Roboterprogrammierung für Nichtexperten mittels Roboterzustandsautomaten.
Bayreuth
,
2024
. - VII, 179 P.
(
Doctoral thesis,
2024
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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 P.
(
Doctoral thesis,
2024
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Biener, Verena:
Virtual Reality for Mobile Knowledge Work.
Bayreuth
,
2024
. - VIII, 153 P.
(
Doctoral thesis,
2024
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Cheong, Otfried ; Devillers, Olivier ; Glisse, Marc ; Park, Ji-won:
Covering families of triangles.
In: Periodica Mathematica Hungarica.
Vol. 87
(1 September 2023)
Issue 1
.
- pp. 86-109.
ISSN 1588-2829
DOI der Verlagsversion: https://doi.org/10.1007/s10998-022-00503-4
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 P.
(
Doctoral thesis,
2023
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Schützenmeier, Nicolai ; Käppel, Martin ; Ackermann, Lars ; Jablonski, Stefan ; Petter, Sebastian:
Automaton-based comparison of Declare process models.
In: Software and Systems Modeling.
Vol. 22
(2023)
.
- pp. 667-685.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-022-01069-y
Riedelbauch, Dominik ; Höllerich, Nico ; Henrich, Dominik:
Benchmarking Teamwork of Humans and Cobots : An Overview of Metrics, Strategies, and Tasks.
In: IEEE Access.
Vol. 11
(2023)
.
- pp. 43648-43674.
ISSN 2169-3536
DOI der Verlagsversion: https://doi.org/10.1109/ACCESS.2023.3271602
Paneva, Viktorija:
Optimal Control of Acoustic Levitation Displays : Bridging the Gap Between Physical and Virtual Worlds.
Bayreuth
,
2023
. - XVIII, 252 P.
(
Doctoral thesis,
2023
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Ober-Gecks, Antje:
Personen-Tracking in Umgebungen mit verdeckenden Objekten basierend auf
3D-Rekonstruktionsdaten.
Bayreuth
,
2023
. - XIII, 292 P.
(
Doctoral thesis,
2022
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Dümmel, Nikita:
MuLE : A Multi-Paradigm Language for Education.
Bayreuth
,
2022
. - VIII, 356 P.
(
Doctoral thesis,
2022
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Laubert, Henrik:
Effiziente Threadkommunikation im gemeinsamen Speicher mithilfe lock-basierter und lock-freier Channel.
Bayreuth
,
2022
. - I, 50 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 17
)
(
Bachelor thesis,
2021
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Brunner, Christopher:
Erweiterung eines channelbasierten Task-Laufzeitsystems um eine OpenMP-Nutzerschnittstelle.
Bayreuth
,
2022
. - v, 64 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 16
)
(
Bachelor thesis,
2022
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Popp, Tina:
Evaluation and Enumeration of Regular Simple Path and Trail Queries.
Bayreuth
,
2022
. - x, 209 P.
(
Doctoral thesis,
2022
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Riedl, Michael:
Intuitive sensorbasierte, editierbare, kinästhetische Programmierung von Pick-and-Place-Aufgaben für Mehrrobotersysteme.
Bayreuth
,
2022
. - 188 P.
(
Doctoral thesis,
2022
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Mikula, Fabian:
Parameterautotuning für kompilierte Anwendungen durch Verwendung von Debugger-Werkzeugen.
Bayreuth
,
2022
. - VIII, 52 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 14
)
(
Bachelor thesis,
2021
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Greiner, Sandra:
Reuse of Model Transformations for Propagating Variability Annotations in Annotative Software Product Lines.
Bayreuth
,
2022
. - vii; 326 P.
(
Doctoral thesis,
2022
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 15
)
(
Bachelor thesis,
2021
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Stachowski, Matthias:
Untersuchung und Modellierung des Energieverbrauchs von
DVFS Prozessoren auf Basis von parallelen Berechnungen des
wissenschaftlichen Rechnens.
Bayreuth
,
2022
. - xxi, 141 P.
(
Doctoral thesis,
2022
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Schröpfer, Johannes ; Buchmann, Thomas ; Westfechtel, Bernhard:
Projectional Editing of Software Product Lines Using Multi-variant Model Editors.
In: SN Computer Science.
Vol. 4
(2022)
Issue 1
.
- No. 35.
ISSN 2661-8907
DOI der Verlagsversion: https://doi.org/10.1007/s42979-022-01456-8
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 October 2021)
.
ISSN 1097-024X
DOI der Verlagsversion: https://doi.org/10.1002/spe.3043
Sommer, Luise:
Elastic Geometric Shape Matching.
Bayreuth
,
2021
. - XII, 176 P.
(
Doctoral thesis,
2022
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Wölfel, Kim:
SpIRo Sprachbasierte Instruktion kraftbasierter Roboterbewegungen.
Bayreuth
,
2021
. - 3, 123 P.
(
Doctoral thesis,
2021
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Zitieren in wissenschaftlichen Arbeiten = Citation in Scientific Work.
Institut für Informatik der Universität Bayreuth
Bayreuth
,
2021
. -
2 S.
(Sonstiges)
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.
Vol. 20
(9 January 2021)
.
- pp. 1379-1401.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00857-8
Doleschal, Johannes:
Optimization and Parallelization of RegEx Based Information Extraction.
2021
. - XVII, 176 P.
(
Doctoral thesis,
2021
, University of Bayreuth, Bayreuther Graduiertenschule für Mathematik und Naturwissenschaften - BayNAT)
Jakob, Johannes ; Guthe, Michael:
Optimizing LBVH‐Construction and Hierarchy‐Traversal to accelerate kNN Queries on Point Clouds using the GPU.
In: Computer Graphics Forum.
Vol. 40
(2021)
Issue 1
.
- pp. 124-137.
ISSN 0167-7055
DOI der Verlagsversion: https://doi.org/10.1111/cgf.14177
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.
Vol. 11
(2021)
.
- No. 14445.
ISSN 2045-2322
DOI der Verlagsversion: https://doi.org/10.1038/s41598-021-93760-1
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.
Vol. 76
(2021)
.
- pp. 3484-3515.
ISSN 1573-0484
DOI der Verlagsversion: https://doi.org/10.1007/s11227-020-03402-y
Seinfeld, Sofia ; Müller, Jörg:
Impact of visuomotor feedback on the embodiment of virtual hands detached from the body.
In: Scientific Reports.
Vol. 10
(30 December 2020)
Issue 1
.
- pp. 2045-2322.
ISSN 2045-2322
DOI der Verlagsversion: https://doi.org/10.1038/s41598-020-79255-5
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
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
. - pp. 13-20
ISBN 978-1-4503-6974-9
DOI der Verlagsversion: https://doi.org/10.1145/3357236.3395515
Westfechtel, Bernhard ; Greiner, Sandra:
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations.
In: Software and Systems Modeling.
Vol. 19
(1 July 2020)
Issue 4
.
- pp. 853-888.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00791-9
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
Riedelbauch, Dominik:
Dynamic Task Sharing for Flexible Human-Robot Teaming under Partial Workspace Observability.
Bayreuth
,
2020
. - VI, 145 P.
(
Doctoral thesis,
2020
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Timm, Thomas:
Exploration of Large-Scale SPARQL Query Collections : Finding Structure and Regularity for Optimizing Database Systems.
Bayreuth
,
2020
. - xii, 153 P.
(
Doctoral thesis,
2020
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Bartel, Silas:
Generierung von Logikschaltungen zum effizienten Lösen von Differentialgleichungen auf FPGAs.
Bayreuth
,
2020
. - VIII, 66 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 13
)
(
Bachelor thesis,
2020
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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
. - pp. 1-12
ISBN 9781450367080
DOI der Verlagsversion: https://doi.org/10.1145/3313831.3376409
Fleig, Arthur ; Grüne, Lars:
Strict dissipativity analysis for classes of optimal control problems involving probability density functions.
Bayreuth
,
2019
. - 23 S.
Gleißner, Benedikt:
Domänenspezifische Sprachen zur Umsetzung numerischer Lösungsverfahren für gewöhnliche Differentialgleichungssysteme.
Bayreuth
,
2019
. - 63 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 12
)
(Master's,
2019
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Sand, Maximilian:
Inkrementelle Rekonstruktion von planaren Volumenmodellen mit handgehaltenen Tiefenkameras.
Bayreuth
,
2019
. - 207 P.
(
Doctoral thesis,
2019
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Ulrich, Christine:
Isoflächenrekonstruktion aus Serienschnitten.
Bayreuth
,
2019
. - v, 111 P.
(
Doctoral thesis,
2019
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Raithel, Philipp:
Optimierung paralleler Particle-In-Cell-Verfahren für Grafikprozessoren.
Bayreuth
,
2019
. - iv, 41 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 11
)
(
Bachelor thesis,
2019
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Fichtner, Myriel:
Parameterizable Process Views in Imperative Process Models.
Bayreuth
,
2019
. - vii, 68 P.
(Master's,
2019
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Ebert, Michael:
Webbasierte Ad-hoc-Programmieraufgaben zur Vermittlung von grundlegenden Konzepten der Programmierung in Vorlesungen.
Bayreuth
,
2019
. - xi, 289 P.
(
Doctoral thesis,
2018
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Bachynskyi, Myroslav ; Paneva, Viktorija ; Müller, Jörg:
LeviCursor : Dexterous Interaction with a Levitating Object.
2018
Event: ACM International Conference on Interactive Surfaces and Spaces ISS 2018
, 25-28.11.2018
, Tokyo, Japan.
(Conference item: Conference
,
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 P.
(
Doctoral thesis,
2018
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Ackermann, Lars:
Sprachzentrierte Ansätze zur Steigerung der Akzeptanz von Geschäftsprozessmodellen.
2018
. - XIX, 337 P.
(
Doctoral thesis,
2018
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Schwägerl, Felix:
Version Control and Product Lines in Model-Driven Software Engineering.
Bayreuth
,
2018
. - XIV, 414 P.
(
Doctoral thesis,
2018
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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.
Vol. 13
(February 2018)
Issue 2
.
- No. e0191019.
ISSN 1932-6203
DOI der Verlagsversion: https://doi.org/10.1371/journal.pone.0191019
Lobachev, Oleg:
On Three-Dimensional Reconstruction.
Bayreuth
,
2018
. - XXIX, 253 P.
(
Habilitation,
2018
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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.
Vol. 13
(2018)
Issue 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.
Vol. 12
(28 February 2017)
Issue 1
.
- pp. 1-42.
ISSN 1866-3621
DOI der Verlagsversion: https://doi.org/10.18417/emisa.12.1
Koch, Stefan:
Sicherheitsaspekte beim Anschluss von USB-Geräten.
Bayreuth
,
2017
. - 77 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 10
)
(Master's,
2017, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Wiedmann, Peter C.:
Agiles Geschäftsprozessmanagement auf Basis gebrauchssprachlicher Modellierung.
Bayreuth
,
2017
. - LXXII, 264 P.
(
Doctoral thesis,
2017
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Spangenberg, Michael:
Intuitive Roboterkommandierung basierend auf Verbalisierten Physikalischen Effekten.
Bayreuth
,
2017
. - II, 159 P.
(
Doctoral thesis,
2017
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Prell, Andreas:
Embracing Explicit Communication in Work-Stealing Runtime Systems.
Bayreuth
,
2016
. - XIX, 176 P.
(
Doctoral thesis,
2016
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Fiebig, Alexander:
Effiziente Implementierung und Analyse eines Waveform-Relaxationsverfahrens mit NVIDIA CUDA.
Bayreuth
,
2016
. - 47 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 9
)
(
Bachelor thesis,
2016, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Koch, Matthias:
Neue Strategien zur Lösung von Isomorphieproblemen.
Bayreuth
,
2016
. - XIV, 178 P.
(
Doctoral thesis,
2016
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Groth, Christian:
Online-Adaption und synchronisierte Ausführung einmalig demonstrierter Roboterverhalten.
Bayreuth
,
2016
. - 160 P.
(
Doctoral thesis,
2016
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Baumgartl, Johannes:
Schnelle, konservative Greif- und Ablageplanung von unbekannten Objekten.
Bayreuth
,
2016
. - V, 189 P.
(
Doctoral thesis,
2016
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Simulation of Multi-Perspective Declarative Process Models.
Bayreuth
,
2016
. - 12 S.
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.
Vol. 11
(2016)
Issue 12
.
- pp. 1-25.
ISSN 1932-6203
DOI der Verlagsversion: https://doi.org/10.1371/journal.pone.0168173
Henrich, Dominik:
Wissenszugewinn bei wissenschaftlichen Arbeiten.
Bayreuth
,
2016
Seitz, Michael:
Der angemessene Grad an Prozessunterstützung : ein methodisches Rahmenwerk.
Bayreuth
,
2016
. - XIV, 209 P.
(
Doctoral thesis,
2016
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Rollinger, Georg:
Adding support for heterogeneous parallel architectures to Julia.
Bayreuth
,
2015
. - 66 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 8
)
(Master's,
2015
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Hecht, Robin:
Konzeptuelle und Methodische Aufarbeitung von NoSQL-Datenbanksystemen.
Bayreuth
,
2015
. - XX, 261 P.
(
Doctoral thesis,
2014
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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)
Hänel, Maria:
A Matter of Perspective - Three-dimensional Placement of Multiple Cameras to Maximize their Coverage.
Bayreuth
,
2015
. - i, 165 P.
(
Doctoral thesis,
2015
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Werner, Tim:
Effiziente SPH-basierte Flüssigkeitssimulation mit Visualisierung auf einem GPU-Cluster.
Bayreuth
,
2015
. - 168 P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 7
)
(Master's,
2015, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Winetzhammer, Sabine:
Modellgetriebene Entwicklung mit Graphtransformationen.
Bayreuth
,
2015
. - X, 258 P.
(
Doctoral thesis,
2015
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Kalinnik, Natalia:
Effizientes Lösen von Anfangswertproblemen gewöhnlicher Differentialgleichungssysteme mithilfe von Autotuning-Techniken.
Bayreuth
,
2015
. - XVIII, 202 P.
(
Doctoral thesis,
2015
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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.
Losemann, Katja:
Foundations of Regular Languages for Processing RDF and XML.
Bayreuth
,
2015
. - XIV, 175 P.
(
Doctoral thesis,
2015
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Zeising, Michael:
Plattform zur integrierten IT-gestützten Ausführung von strikten und agilen Prozessen.
Bayreuth
,
2015
. - 131 P.
(
Doctoral thesis,
2015
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Schönig, Stefan:
Ein Process Mining-Rahmenwerk für agile, personenbezogene Prozesse.
Bayreuth
,
2015
. - XIX, 207 P.
(
Doctoral thesis,
2015
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Roth, Bastian:
Beispielgetriebene Entwicklung domänenspezifischer Modellierungssprachen.
Bayreuth
,
2014
. - IX, 202 P.
(
Doctoral thesis,
2014
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Jahn, Matthias:
Evolution von Meta-Modellen mit sprachbasierten Mustern.
Bayreuth
,
2014
. - X, 209 P.
(
Doctoral thesis,
2014
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Ferber, Marvin:
Bedarfsgerechte Auswahl der Dienstqualität für Mobile Cloud-unterstützte Anwendungen.
Bayreuth
,
2014
. - X, 211 P.
(
Doctoral thesis,
2014
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Baumgarten, Kai:
Multiprozessor Task Scheduling - Entwicklung und Vergleich von Algorithmen zur optimalen Auslastung eines Parallelrechners.
Bayreuth
,
2014
. - 216 P.
(
Doctoral thesis,
2014
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Schneider, Tobias:
Domänenspezifische Evaluation und Optimierung von Datenstandards und Infrastrukturen.
Bayreuth
,
2014
. - 449 P.
(
Doctoral thesis,
2013
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Werner, Tim:
Implementierung und Untersuchung paralleler Volumen-Rendering-Techniken für Graphikprozessoren.
Bayreuth
,
2013
.
- (Bayreuth Reports on Parallel and Distributed Systems
; 5
)
(
Bachelor thesis,
2013
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Awais, Muhammad:
Intuitive Human-Robot Interaction by Intention Recognition.
Bayreuth
,
2013
. - 146 S. P.
(
Doctoral thesis,
2013
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Mohr, Daniel:
MPI auf Basis von RESTful HTTP.
Bayreuth
,
2013
.
- (Bayreuth Reports on Parallel and Distributed Systems
; 6
)
(Master's,
2013
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Lindner, Benjamin:
Studie zur Software-Unterstützung für die Raumplanung an deutschen Hochschulen.
Bayreuth
,
2013
(
Bachelor thesis,
2013, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Igler, Michael:
ESProNa - Eine Constraintsprache zur multimodalen Prozessmodellierung und navigationsgestützten Ausführung.
Bayreuth
,
2012
(
Doctoral thesis,
2012
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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
)
(Master's,
2012, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Schwägerl, Felix:
Mapping-basierte Modellierung von Softwareproduktlinien.
Bayreuth
,
2012
(Master's,
2012, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Meerkamm, Stephanie:
Ein Rahmenwerk für das Prozessdesign zur Identifikation, Klassifikation und Umsetzung von Anforderungen - Dargestellt an der Konzeption des Prozesskonfigurators.
Bayreuth
,
2012
(
Doctoral thesis,
2012
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Straubinger, Markus:
Reduktion des Kommunikationsaufwands iterierter Runge-Kutta-Verfahren für dünnbesetzte gewöhnliche Differentialgleichungssysteme.
Bayreuth
,
2012
. - 27 S. P.
- (Bayreuth Reports on Parallel and Distributed Systems
; 4
)
(
Bachelor thesis,
2012, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Kuhn, Stefan:
Wissens- und sensorbasierte geometrische Rekonstruktion.
Bayreuth
,
2012
. - 240 S. P.
(
Doctoral thesis,
2012
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Talib, Muhammad Ramzan:
Agent Assignment for Process Management: Resource Management Support for Skill Intensive Applications of Workflow Technology Technical and Methodological Issues.
Bayreuth
,
2011
(
Doctoral thesis,
2011
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Zeising, Michael:
Constraint-System für eine mehrschichtige Metamodellierungsumgebung.
Bayreuth
,
2011
(Master's,
2011, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Dotor Schumann, Alexander:
Entwurf und Modellierung einer Produktlinie von Software-Konfigurations-Management-Systemen.
Bayreuth
,
2011
(
Doctoral thesis,
2011
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Uhrig, Sabrina:
Korrespondenzberechnung auf Klassendiagrammen.
Bayreuth
,
2011
(
Doctoral thesis,
2011
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Stolka, Philipp J.:
Navigation with Local Sensors in Surgical Robotics.
Bayreuth
,
2011
(
Doctoral thesis,
2011
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Gecks, Thorsten:
Sensorbasierte, echtzeitfähige Online-Bahnplanung für die Mensch-Roboter-Koexistenz.
Bayreuth
,
2011
(
Doctoral thesis,
2011
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Schmidt, Thorsten W.:
Temporale Fuzzy Logik - Eine Vereinigung der Temporal-Logik und Fuzzy-Logik anhand von vorausschauenden Wartungs- und Überwachungssystemen.
Bayreuth
,
2011
(
Doctoral thesis,
2011
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Roth, Bastian:
Konzeption und Implementierung eines generischen Modellierungswerkzeugs zur Unterstützung der domänenspezifischen Prozessmodellierung.
Bayreuth
,
2010
(Master's,
2010, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Buchmann, Thomas:
Modelle und Werkzeuge für modellgetriebene Softwareproduktlinien am Beispiel von Softwarekonfigurationsverwaltungssystemen.
Bayreuth
,
2010
(
Doctoral thesis,
2010
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
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
)
Ley, Konrad:
Parallele Implementierung und Analyse eines expliziten Adams-Verfahrens.
Bayreuth
,
2010
.
- (Bayreuth Reports on Parallel and Distributed Systems
; 2
)
(
Bachelor thesis,
2010, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Günther, Christoph:
Ansätze zur flexiblen Navigation in Prozessabläufen.
Bayreuth
,
2009
(Master's,
2009, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Hoffmann, Ralf:
Effiziente taskbasierte Programmausführung irregulärer Applikationen mit adaptiver Lastbalancierung.
Bayreuth
,
2009
(
Doctoral thesis,
2009
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Nagel, Raik:
Erweiterung des Threadmodelles fur den Einsatz in verteilten und heterogenen Systemumgebungen.
Bayreuth
,
2009
(
Doctoral thesis,
2009
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Kuhn, Stefan ; Henrich, Dominik:
Multi-View Reconstruction of Unknown Objects in the Presence of Known Occlusions.
Bayreuth
,
2009
Hunold, Sascha:
Evaluation der Leistungsfähigkeit von gemischt-parallelen Programmen in homogenen und heterogenen Umgebungen unter Berücksichtigung effizienter Schedulingstrategien.
Bayreuth
,
2008
(
Doctoral thesis,
2009
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Daubner, Bernhard:
Konzeption und prototypische Implementierung eines Frameworks zur automatisierten Softwaremessung.
Bayreuth
,
2008
(
Doctoral thesis,
2008
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Kohnert, Axel ; Kurz, Sascha:
Integral point sets over Z_n^m.
Bayreuth
,
2007
Hagedorn, Gregor:
Structuring Descriptive Data of Organisms — Requirement Analysis and Information Models.
Bayreuth
,
2007
(
Doctoral thesis,
2007
, University of Bayreuth, Faculty of Biology, Chemistry and Earth Sciences)
Kohnert, Axel:
Symmetric functions in MAGMA.
Bayreuth
,
2007
Korch, Matthias:
Effiziente Implementierung eingebetteter Runge-Kutta-Verfahren durch Ausnutzung der Speicherzugriffslokalität.
Bayreuth
,
2006
(
Doctoral thesis,
2006
, University of Bayreuth, Faculty of Mathematics, Physics and Computer Sciences)
Kohnert, Axel:
Construction of Two-Weight Codes.
Bayreuth
,
2005