Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment., , , , , , und . J. Comput. Phys., (2015)HapPro: A Wearable Haptic Device for Proprioceptive Feedback., , , , und . IEEE Trans. Biomed. Eng., 66 (1): 138-149 (2019)Formal verification and validation of embedded systems: the UML-based MADES approach., , , , , , , und . Softw. Syst. Model., 14 (1): 343-363 (2015)Experimental determination of momentum-resolved electron-phonon coupling, , , , , , , , , und 2 andere Autor(en). Phys. Rev. Lett., 123 (2): 027001 (08.07.2019)Spreading of Localized Information across an Entire 3D Electrical Resistivity Volume via Constrained EMI Inversion Based on a Realistic Prior Distribution., , , und . Remote. Sens., 15 (16): 3993 (August 2023)A Flexible Approach for Checking Timed Automata on Continuous Time Semantics., , , und . CoRR, (2018)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , und . Theor. Comput. Sci., (2016)SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability, , , , und . CoRR, (2010)Constraint LTL satisfiability checking without automata., , , , , und . J. Appl. Log., 12 (4): 522-557 (2014)Comments on temporal logics for real-time system specification., , und . ACM Comput. Surv., 41 (2): 13:1-13:5 (2009)