Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Reinhard, Tobias
45  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Enabling Untrained Users to Shape Real-World Robot Behavior..:

, In: Proceedings of the 2024 International Symposium on Technological Advances in Human-Robot Interaction,
Weike, Michel ; Ruske, Kai ; Gerndt, Reinhard. - p. 38-46 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Completeness Thresholds for Memory Safety of Array Traversi..:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,
Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart - p. 47-54 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Improved Sensor Error Definitions for Reliability Analysis ..:

, In: 2023 7th International Conference on System Reliability and Safety (ICSRS),
Qiu, Minhao ; Bazan, Peter ; Antesberger, Tobias. - p. 149-158 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Improving the User Experience for Manual Data Labeling usin..:

, In: 2022 IEEE International Conference on Consumer Electronics (ICCE),
Beitz, Bernard ; Roth, Robert ; Haser, Jutta.. - p. 1-4 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Smart City Experience – Von isolierten Services zu Smart Se..:

, In: Forum Dienstleistungsmanagement; Smart Services,
Schütte, Reinhard ; Muschkiet, Michel ; Wulfert, Tobias - p. 309-334 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Wachau World Heritage Site: A Diverse Riverine Landscape:

, In: World Geomorphological Landscapes; Landscapes and Landforms of Austria,
Riedl, Doris ; Roetzel, Reinhard ; Pöppl, Ronald E.. - p. 163-178 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Model-Based Joining Process Design for the Body Shop Proces..:

, In: 2nd International Conference on Advanced Joining Processes (AJP 2021); Proceedings in Engineering Mechanics,
Schwarz, Christian ; Ackert, Patrick ; Falk, Tobias... - p. 25-37 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Exploring the impact of scenario and distance information o..:

, In: 2022 48th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),
Qiu, Minhao ; Antesberger, Tobias ; Bock, Florian. - p. 322-329 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Digital platforms and trading companies: the evolution of t..:

, In: Handbook on Digital Business Ecosystems,
Schütte, Reinhard ; Wulfert, Tobias , 2022
Link: https://doi.org/10.4337/..
 
?
10

An industrial case study for performance evaluation of hard..:

, In: 2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME),
Funda, Christoph ; Konheiser, Tobias ; Herpel, Thomas.. - p. 1-7 , 2022
Link: https://doi.org/10.1109/..
 
?
11

SoundsRide: Affordance-Synchronized Music Mixing for In-Car..:

, In: The 34th Annual ACM Symposium on User Interface Software and Technology,
Kari, Mohamed ; Grosse-Puppendahl, Tobias ; Jagaciak, Alexander... - p. 118-133 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Guideline for Architectural Safety, Security and Privacy Im..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops,
Marko, Nadja ; Castella Triginer, Joaquim Maria ; Striecks, Christoph... - p. 39-51 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Ghost Signals: Verifying Termination of Busy Waiting:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Reinhard, Tobias ; Jacobs, Bart - p. 27-50 , 2021
Link: https://doi.org/10.1007/..
 
?
14

A separation logic to verify termination of busy-waiting fo..:

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs,
Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart - p. 26-32 , 2020
Link: https://dl.acm.org/doi/1..
 
?
15

Co-simulation of MATLAB and ANSYS for ultrasonic wire bondi..:

, In: 2020 21st International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE),
Schemmel, Reinhard ; Krieger, Viktor ; Hemsel, Tobias. - p. 1-11 , 2020
Link: https://doi.org/10.1109/..
 
1-15