( en | de | ru )

 

Disambiguierung von "Villa, Tiziano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.

, , , , , und . RP, Volume 7550 von Lecture Notes in Computer Science, Seite 79-91. 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.

Tiziano Zito

Tiziano Barberi

Tiziano Parriani

Tiziano Panico

Wolfgang Villa

 

Weitere Publikationen von Autoren mit dem selben Namen

FSM Encoding for BDD Representations., , , und . Int. J. Appl. Math. Comput. Sci., 17 (1): 113-124 (2007)Boolean Minimization of Projected Sums of Products via Boolean Relations., , , und . IEEE Trans. Computers, 68 (9): 1269-1282 (2019)Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis., , , , , und . RP, Volume 7550 von Lecture Notes in Computer Science, Seite 79-91. Springer, (2012)Synthesis of Multilevel Boolean Networks., , , , und . Boolean Models and Methods, Cambridge University Press, (2010)Symbolic two-level minimization., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (7): 692-708 (1997)Theory and algorithms for state minimization of nondeterministic FSMs., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (11): 1311-1322 (1997)Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis., , und . IEEE Trans. Computers, 71 (1): 121-133 (2022)Model matching for finite-state machines., , und . IEEE Trans. Automat. Contr., 46 (11): 1726-1743 (2001)Rigorous Function Calculi in Ariadne., , , , und . CoRR, (2023)The Quotient in Preorder Theories., , , und . GandALF, Volume 326 von EPTCS, Seite 216-233. (2020)