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

Verifying Service-Oriented Requirements Using Model Checking., , und . ICEBE, Seite 643-648. IEEE Computer Society, (2008)Modeling Predicate Abstraction of Timed Automata in PVS., , und . iThings/CPSCom, Seite 438-443. IEEE Computer Society, (2011)Optimizing Transformer Training Based on Computation and Accessing Memory Features with Deep Learning Processor., , , , , und . ICPADS, Seite 2781-2784. IEEE, (2023)LittleHelper: An augmented reality glass application to assist individuals with autism in job interview., , und . APSIPA, Seite 1276-1279. IEEE, (2015)Modeling Timed Automata Theory in PVS., und . Software Engineering Research and Practice, Seite 205-211. CSREA Press, (2006)Scalable Tracing of MPI Events and Performance Metrics., , , , und . IPDPS Workshops, Seite 714-723. IEEE, (2023)Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority., , und . GCC, Seite 566-573. IEEE Computer Society, (2007)Synthesizing Proxy Applications for MPI Programs., , , , und . CoRR, (2023)Normalized Avatar Synthesis Using StyleGAN and Perceptual Refinement., , , , , , , und . CVPR, Seite 11662-11672. Computer Vision Foundation / IEEE, (2021)Text Classification Based on Improved Information Gain Algorithm and Convolutional Neural Network., , und . TRIDENTCOM, Volume 309 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 184-198. Springer, (2019)