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

Preface., , , , , , und . J. Comput. Sci. Technol., 32 (6): 1057-1059 (2017)Verifying Distributed Controllers with Local Invariants., , , , und . QRS, Seite 120-131. IEEE, (2016)Toward a Model-Based Approach to Dynamic Adaptation of Composite Services, , , und . Proceedings of the 2008 IEEE International Conference on Web Services, Seite 561--568. Washington, DC, USA, IEEE Computer Society, (2008)Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis., , , , , und . CoRR, (2023)Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey., , , , , , , , , und . CoRR, (2023)MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations., , , und . CoRR, (2022)Suppressing detection of inconsistency hazards with pattern learning., , , , , und . Inf. Softw. Technol., (2016)Application mobility in pervasive computing: A survey., , , und . Pervasive Mob. Comput., 9 (1): 2-17 (2013)Boosting API Recommendation With Implicit Feedback., , , , , und . IEEE Trans. Software Eng., 48 (6): 2157-2172 (2022)Generic Adaptive Scheduling for Efficient Context Inconsistency Detection., , , , und . IEEE Trans. Software Eng., 47 (3): 464-497 (2021)