Thomas Bauer

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
Transformation in substation automation: Cyber-Resilient Digital Substations (CyReDS) in power grids.
Autom., September, 2023

BPMN-Erweiterungen zur Vormodellierung von Flexibilität für den Kontrollfluss von Geschäftsprozessen.
Proceedings of the Digital Responsibility: Social, 2023

Modelling of Advanced Dependencies Between the Start and the End of Activities in Business Processes.
Proceedings of the 25th International Conference on Enterprise Information Systems, 2023

Verhalten und Ausführungssemantik optionaler Kanten in Geschäftsprozessen.
Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

2021
Towards a Common Testing Terminology for Software Engineering and Artificial Intelligence Experts.
CoRR, 2021

Incentivizing by example and money.
Central Eur. J. Oper. Res., 2021

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems.
Proceedings of the Quality of Information and Communications Technology, 2021

Towards a Common Testing Terminology for Software Engineering and Data Science Experts.
Proceedings of the Product-Focused Software Process Improvement, 2021

Assignment of Actors to Activities at Process-Oriented Applications: A Research Agenda.
Proceedings of the Practice of Enterprise Modeling, 2021

Dissemination of precision farming technologies in Austria in the context of energy savings potential.
Proceedings of the 41. GIL-Jahrestagung, 2021

Effiziente Modellierung von Eskalationen und Stellvertretungen in Geschäftsprozessen.
Proceedings of the 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September, 2021

2020
Research Challenges for the Modelling of the Resource and Organizational View.
EMISA Forum, 2020

Stand der anwendungsnahen Forschung und Technik für die organisatorische Perspektive von Geschäftsprozessen.
Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

Topological Protection of Light Propagation in Photonic Crystals.
Proceedings of the European Conference on Optical Communications, 2020

2019
On the postulation of lines and a fat line.
J. Symb. Comput., 2019

Validierung der Accelerometer- und GPS-gestützten Erfassung des Verhaltens sowie des Aufenthaltsbereichs von Pferden in Offenlaufställen.
Proceedings of the 39. GIL-Jahrestagung, Informatik in der Land-, Forst- und Ernährungswirtschaft, Fokus: Digitalisierung für landwirtschaftliche Betriebe in kleinstrukturierten Regionen, 2019

Modellierung erweiterter Beziehungen zwischen dem Start und dem Ende von Aktivitäten in Geschäftsprozessen.
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

2018
Vormodellierte Flexibilität für Geschäftsprozesse (Pre-modelled Flexibility for Business Processes).
Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018

2017
The LAST MINUTE Corpus as a Research Resource: From Signal Processing to Behavioral Analyses in User-Companion Interactions.
Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

Anforderungen an vormodellierte Flexibilität für den Kontrollfluss von Geschäftsprozessen.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016
Comparing Road-Kill Datasets from Hunters and Citizen Scientists in a Landscape Context.
Remote. Sens., 2016

Desiderata for the Design of Companion Systems - Insights from a Large Scale Wizard of Oz Experiment.
Künstliche Intell., 2016

Is There a Biological Basis for Success in Human Companion Interaction? - Results from a Transsituational Study.
Proceedings of the Human-Computer Interaction. Theory, Design, Development and Practice, 2016

2015
A Large-Scale Technology Evaluation Study: Effects of Model-based Analysis and Testing.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Annotation and analysis of the LAST MINUTE corpus.
Proceedings of the International Conference of the German Society for Computational Linguistics and Language Technology, 2015

2014
Investigating multi-user interactions on interactive media façades.
Proceedings of the 2nd Media Architecture Biennale Conference: World Cities, 2014

2013
Beyond Herding Cats: Aligning Quantitative Technology Evaluation in Large-Scale Research Projects.
Proceedings of the Product-Focused Software Process Improvement, 2013

2012
Zariski Decomposition: A New (Old) Chapter of Linear Algebra.
Am. Math. Mon., 2012

Zariski chambers on surfaces of high Picard number.
LMS J. Comput. Math., 2012

Automated Risk-Based Testing by Integrating Safety Analysis Information into System Behavior Models.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain.
Int. J. Embed. Real Time Commun. Syst., 2011

An End-to-End Framework for Multi-view Video Content: Creating Multiple-Perspective Hypervideo to View on Mobile Platforms.
Proceedings of the Entertainment Computing - ICEC 2011 - 10th International Conference, 2011

A robotics-based flat-panel ultrasound device for continuous intraoperative transcutaneous imaging.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Automated Statistical Testing for Embedded Systems.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010
Enabling Statistical Testing for Component-based Systems.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2009
Risikobasiertes statistisches Testen.
Softwaretechnik-Trends, 2009

2008
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Towards a Standardized Task Management.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2008

2007
Überblick zu den Standards zum SW-Lebenszyklus und zum Requirements Management.
Softwaretechnik-Trends, 2007

2006
Towards a Rough Classification of Business Travelers.
Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006

2005
A flexible integration strategy for in-car telematics systems.
ACM SIGSOFT Softw. Eng. Notes, 2005

Integration von prozessorientierten Anwendungen.
EMISA Forum, 2005

Towards I-centric business communication tools.
Proceedings of the 2005 International Symposium on Autonomous Decentralized Systems, 2005

2004
Kooperation von Projekt- und Workflow-Management-Systemen.
Inform. Forsch. Entwickl., 2004

Visualisierung laufender Prozesse.
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Integration heterogener Applikationstypen durch Workflow-Management-Technologie.
Proceedings of the Enterprise Application Integration 2004, 2004

2002
Effects of Manual Phonetic Transcriptions on Recognition Accuracy of Streetnames.
Proceedings of the Information und Mobilität, 2002

1987
TARGET - ein Tool zur Testfallgenerierung / TARGET - an Automated Testcase Generator.
it Inf. Technol., 1987


  Loading...