VILLA, Tiziano
VILLA, Tiziano
DIPARTIMENTO DI INGEGNERIA PER LA MEDICINA DI INNOVAZIONE
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti)
2003-01-01 Villa, Tiziano; N., Yevtushenko; S., Zharikova
Constrained encoding in hypercubes: algorithms and applications tological synthesis
1987-01-01 Villa, Tiziano
Decomposition of sequential and concurrent models
2024-01-01 Teren, Viktor; Villa, Tiziano
Efficient minimization of fully testable 2-SPP networks
2005-01-01 A., Bernasconi; V., Ciriani; R., Drechsler; Villa, Tiziano
Encoding problems in logic synthesis
1995-01-01 Villa, Tiziano
Generation of a minimal STG from an implicit cover
1996-01-01 L., Carloni; Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli
Higher Order Method for Differential Inclusions
2020-01-01 Zivanovic Gonzalez, Sanja; Collins, Pieter; Geretti, Luca; Bresolin, Davide; Villa, Tiziano
Input encoding for minimum BDD size: theory and experiments
1998-01-01 W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli
Maximal controllers for hybrid systems with multiple time event separations
2003-01-01 A., Balluchi; L., Benvenuti; Villa, Tiziano; H., Wong Toi; A. L., Sangiovanni Vincentelli
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica)
1999-01-01 N., Yevtushenko; Villa, Tiziano; A., Petrenko; R., Brayton; A., Sangiovanni Vincentelli
Sequential synthesis by language equation solving
2003-01-01 N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Petrenko; A., Sangiovanni Vincentelli
Solving Parallel Equations with BALM-II
2012-01-01 Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, N.; Mishchenko, A.; Brayton, R.
The quotient in preorder theories (extended version)
2020-01-01 Incer Romeo, Inigo; Mangeruca, Leonardo; Villa, Tiziano; Sangiovanni-Vincentelli, Alberto
VIS user's manual
1995-01-01 Villa, Tiziano; G., Swamy; T., Shiple
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) | 1-gen-2003 | Villa, Tiziano; N., Yevtushenko; S., Zharikova | |
| Constrained encoding in hypercubes: algorithms and applications tological synthesis | 1-gen-1987 | Villa, Tiziano | |
| Decomposition of sequential and concurrent models | 1-gen-2024 | Teren, Viktor; Villa, Tiziano | |
| Efficient minimization of fully testable 2-SPP networks | 1-gen-2005 | A., Bernasconi; V., Ciriani; R., Drechsler; Villa, Tiziano | |
| Encoding problems in logic synthesis | 1-gen-1995 | Villa, Tiziano | |
| Generation of a minimal STG from an implicit cover | 1-gen-1996 | L., Carloni; Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli | |
| Higher Order Method for Differential Inclusions | 1-gen-2020 | Zivanovic Gonzalez, Sanja; Collins, Pieter; Geretti, Luca; Bresolin, Davide; Villa, Tiziano | |
| Input encoding for minimum BDD size: theory and experiments | 1-gen-1998 | W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli | |
| Maximal controllers for hybrid systems with multiple time event separations | 1-gen-2003 | A., Balluchi; L., Benvenuti; Villa, Tiziano; H., Wong Toi; A. L., Sangiovanni Vincentelli | |
| Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) | 1-gen-1999 | N., Yevtushenko; Villa, Tiziano; A., Petrenko; R., Brayton; A., Sangiovanni Vincentelli | |
| Sequential synthesis by language equation solving | 1-gen-2003 | N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Petrenko; A., Sangiovanni Vincentelli | |
| Solving Parallel Equations with BALM-II | 1-gen-2012 | Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, N.; Mishchenko, A.; Brayton, R. | |
| The quotient in preorder theories (extended version) | 1-gen-2020 | Incer Romeo, Inigo; Mangeruca, Leonardo; Villa, Tiziano; Sangiovanni-Vincentelli, Alberto | |
| VIS user's manual | 1-gen-1995 | Villa, Tiziano; G., Swamy; T., Shiple |