Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Villa, Tiziano
173  Ergebnisse:
Personensuche X
?
1

A computable and compositional semantics for hybrid systems:

Bresolin, Davide ; Collins, Pieter ; Geretti, Luca...
Information and Computation.  , 2024
Link: https://doi.org/10.1016/..
 
?
2

Hip arthrodesis conversion to dual mobility total hip arthr..:

Villa, Tiziano ; Tenconi, Angelo Alberto ; Colombo, Marta.
International Journal of Surgery Case Reports.  116 (2024)  - p. 109375 , 2024
Link: https://doi.org/10.1016/..
 
?
3

A higher order method for input-affine uncertain systems:

Zivanovic Gonzalez, Sanja ; Geretti, Luca ; Bresolin, Davide..
Nonlinear Analysis: Hybrid Systems.  47 (2023)  - p. 101266 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Seto: A Framework for the Decomposition of Petri Nets and T..:

, In: 2023 26th Euromicro Conference on Digital System Design (DSD),
Teren, Viktor ; Cortadella, Jordi ; Villa, Tiziano - p. 669-677 , 2023
Link: https://doi.org/10.1109/..
 
?
5

The Agile Knowledge Projector: enhancing the adaptive creat..:

Villa, Tiziano
European Conference on Knowledge Management.  24 (2023)  2 - p. 1677-1682 , 2023
Link: https://doi.org/10.34190..
 
?
6

HermesBDD: A Multi-Core and Multi-Platform Binary Decision ..:

, In: 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS),
Capogrosso, Luigi ; Geretti, Luca ; Cristani, Marco.. - p. 87-90 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Exploiting Symmetrization and D-Reducibility for Approximat..:

Bernasconi, Anna ; Ciriani, Valentina ; Villa, Tiziano
IEEE Transactions on Computers.  71 (2022)  1 - p. 121-133 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Process-driven Collision Prediction in Human-Robot Work Env..:

, In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA),
Geretti, Luca ; Centomo, Stefano ; Boldo, Michele... - p. 1-8 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Automating Numerical Parameters Along the Evolution of a No..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Geretti, Luca ; Collins, Pieter ; Bresolin, Davide. - p. 336-345 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Decomposition of transition systems into sets of synchroniz..:

, In: 2022 25th Euromicro Conference on Digital System Design (DSD),
Teren, Viktor ; Cortadella, Jordi ; Villa, Tiziano - p. 165-173 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Dynamic controllability of temporal networks with instantan..:

Zavatteri, Matteo ; Rizzi, Romeo ; Villa, Tiziano
Information Sciences.  613 (2022)  - p. 932-952 , 2022
Link: https://doi.org/10.1016/..
 
?
12

Special issue: Formal verification of cyber-physical system:

Geretti, Luca ; Abate, Alessandro ; Nuzzo, Pierluigi.
Information and Computation.  289 (2022)  - p. 104979 , 2022
Link: https://doi.org/10.1016/..
 
?
13

Mining CSTNUDs significant for a set of traces is polynomia:

Sciavicco, Guido ; Zavatteri, Matteo ; Villa, Tiziano
Information and Computation.  281 (2021)  - p. 104773 , 2021
Link: https://doi.org/10.1016/..
 
?
14

Equivalence checking and intersection of deterministic time..:

Bresolin, Davide ; El-Fakih, Khaled ; Villa, Tiziano.
Formal Methods in System Design.  59 (2021)  1-3 - p. 77-102 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Efficient hardware operations for the residue number system..:

, In: Advanced boolean techniques / Rolf Drechsler, Mathias Soeken, editors
Gorodecky, Danila ; Villa, Tiziano. (2020)  - p. 237-258
Exemplar:  Zentrale:Magazin 03.d.2916
 
1-15