( en | de | ru )

 

Disambiguierung von "Rossi, Matteo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using formal verification to evaluate the execution time of Spark applications.

, , , , und . Formal Aspects Comput., 32 (1): 33-70 (2020)

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.

Adelheid Rossi

Gabriela Rossi

Marcus Rossi

Romain Rossi

Rainer Rossi

 

Weitere Publikationen von Autoren mit dem selben Namen

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , und . Theor. Comput. Sci., (2016)On How Bit-Vector Logic Can Help Verify LTL-Based Specifications., , und . IEEE Trans. Software Eng., 48 (4): 1154-1168 (2022)THOR: A Hybrid Recommender System for the Personalized Travel Experience., , , , , und . Big Data Cogn. Comput., 6 (4): 131 (2022)A Flexible Approach for Checking Timed Automata on Continuous Time Semantics., , , und . CoRR, (2018)SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability, , , , und . CoRR, (2010)Comments on temporal logics for real-time system specification., , und . ACM Comput. Surv., 41 (2): 13:1-13:5 (2009)Constraint LTL satisfiability checking without automata., , , , , und . J. Appl. Log., 12 (4): 522-557 (2014)Convolutional Neural Networks Cascade for Automatic Pupil and Iris Detection in Ocular Proton Therapy., , , , , , , , , und 1 andere Autor(en). Sensors, 21 (13): 4400 (2021)Evolution of Intra-specific Regulatory Networks in a Multipartite Bacterial Genome., , , , , , , , , und 4 andere Autor(en). PLoS Comput. Biol., (2015)HapPro: A Wearable Haptic Device for Proprioceptive Feedback., , , , und . IEEE Trans. Biomed. Eng., 66 (1): 138-149 (2019)