Autor der Publikation

On Temporal Logic and Signal Processing.

, , , , , und . ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 92-106. Springer, (2012)

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.

Keine Personen gefunden für den Autorennamen Grosu, Radu
Eine Person hinzufügen mit dem Namen Grosu, Radu
 

Weitere Publikationen von Autoren mit dem selben Namen

Mixed Relations as Enriched Semiringal Categories., , und . J. UCS, 6 (1): 112-129 (2000)Hybrid Sequence Charts., , und . ISORC, Seite 104-. IEEE Computer Society, (2000)Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks., , , , und . HASE, Seite 362-370. IEEE Computer Society, (2008)Monitoring of MTL specifications with IBM's spiking-neuron model., , , , und . DATE, Seite 924-929. IEEE, (2016)Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans., , , , , , und . HLDVT, Seite 170-177. IEEE, (2016)Re-purposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks., , , , und . CoRR, (2018)Learning and detecting emergent behavior in networks of cardiac myocytes., , , , , und . Commun. ACM, 52 (3): 97-105 (2009)A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems., , , , , und . IEEE Access, (2019)Curvature Analysis of Cardiac Excitation Wavefronts., , , , , , , und . IEEE/ACM Trans. Comput. Biology Bioinform., 10 (2): 323-336 (2013)Modular refinement of hierarchic reactive machines., und . ACM Trans. Program. Lang. Syst., 26 (2): 339-369 (2004)