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

A temporal logic programming approach to planning., , , , und . J. Comb. Optim., 38 (2): 402-420 (2019)Decidability of Propositional Projection Temporal Logic with Infinite Models., und . TAMC, Volume 4484 von Lecture Notes in Computer Science, Seite 521-532. Springer, (2007)ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (4): 830-842 (2020)Unified temporal logic., , und . Theor. Comput. Sci., (2021)Anomaly Detection and Mode Identification in Multimode Processes Using the Field Kalman Filter., , , , und . IEEE Trans. Control. Syst. Technol., 29 (5): 2192-2205 (2021)P2P Network Based Smart Parking System Using Edge Computing., , , , , und . Mob. Networks Appl., 25 (6): 2226-2239 (2020)Verifying Properties of MapReduce-Based Big Data Processing., , , und . IEEE Trans. Reliab., 71 (1): 321-338 (2022)Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach., , , und . ACM Trans. Softw. Eng. Methodol., 28 (4): 24:1-24:37 (2019)A dynamic approach to detecting, eliminating and fixing memory leaks., , , , und . J. Comb. Optim., 42 (3): 409-426 (2021)Adversarial Training of Deep Neural Networks Guided by Texture and Structural Information., , , und . ACM Multimedia, Seite 4958-4967. ACM, (2023)