Autor der Publikation

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.

, , , und . FLOPS, Volume 2998 von Lecture Notes in Computer Science, Seite 7-21. Springer, (2004)

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 Classroom Information System for teachers; with focus on the instructional data collection and analysis.. ACM Annual Conference (1), Seite 199-206. ACM, (1974)Performance Analysis of 4×4 TDD-SVD-MIMO System in Suburban Field Trial., , , , und . GLOBECOM, Seite 1-7. IEEE, (2020)Hybrid real-time simulator for evaluation of direct load control to assist power system control., , , , , , , , und . ISGT Asia, Seite 1-5. IEEE, (2017)Spatially adaptive long-term semi-Lagrangian method for accurate velocity advection., , , und . Comput. Vis. Media, 4 (3): 223-230 (2018)A full 4-channel 60 GHz direct-conversion transceiver., , , , , , , , , und . ASP-DAC, Seite 95-96. IEEE, (2013)Sketch2VF: Sketch-based flow design with conditional generative adversarial network., , , , und . Comput. Animat. Virtual Worlds, (2019)The Analysis on the Assimilation of the Model of Corporate Governance., und . IJABIM, 4 (1): 57-66 (2013)Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic., , , und . FLOPS, Volume 2998 von Lecture Notes in Computer Science, Seite 7-21. Springer, (2004)Unsupervised Domain Adaptation Using Fourier Phase Enhanced Training Images for Liver Tumors Detection in Multi-phase CT Images., , , , , , , , , und 2 andere Autor(en). EMBC, Seite 1-4. IEEE, (2023)Unsupervised Domain Adaptation Using Adversarial Learning and Maximum Square Loss for Liver Tumors Detection in Multi-phase CT Images., , , , , , , , , und . EMBC, Seite 1536-1539. IEEE, (2022)