( en | de | ru )

 

Disambiguierung von "Bartocci, Ezio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Medical Cyber-Physical Systems - (Track Introduction).

, , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 353-355. Springer, (2014)

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.

Ezio Iacono

Matthias Obanechem Ezioba

 

Weitere Publikationen von Autoren mit dem selben Namen

Enacting Proactive Workflows Engine in e-Science., , und . International Conference on Computational Science (3), Volume 3993 von Lecture Notes in Computer Science, Seite 1012-1015. Springer, (2006)Runtime Verification of Autonomous Driving Systems in CARLA., , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 172-183. Springer, (2020)Quantitative Regular Expressions for Arrhythmia Detection., , , , , und . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (5): 1586-1597 (2019)A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , und 6 andere Autor(en). CoRR, (2018)Flavours of Sequential Information Flow., , , , und . CoRR, (2021)Data-Driven Statistical Learning of Temporal Logic Properties., , und . FORMATS, Volume 8711 von Lecture Notes in Computer Science, Seite 23-37. Springer, (2014)The Probabilistic Termination Tool Amber., , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 667-675. Springer, (2021)Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting., , , , und . CMSB, Volume 11773 von Lecture Notes in Computer Science, Seite 120-139. Springer, (2019)A Normative Supervisor for Reinforcement Learning Agents., , , und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 565-576. Springer, (2021)Model driven design and implementation of activity-based applications in Hermes., , , und . WOA, Volume 204 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)