Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(79)
Alberto L. Sangi...
50
Robert Brayton
37
Nina Yevtushenko
11
Timothy Kam
10
Evguenii I. Goldberg
8
Conferences
(20)
DAC
5
DATE
5
ICCAD
3
ACM Great Lakes Symposium on VLSI
3
ASP-DAC
2
Journals
(7)
TCAD
11
CORR
2
TC
1
DEDS
1
Applied Mathematics and Computer Science
1
Keywords
(139)
Embed
Subscribe
Academic
Authors
Tiziano Villa
Edit
Tiziano Villa
Università degli Studi di Verona
Publications: 76
|
Citations: 1302
|
G-Index: 35
|
H-Index: 17
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Hardware & Architecture
,
Software Engineering
,
Real-Time & Embedded Systems
View FAQ about top research area and research interests
Collaborated with
79 co-authors
from 1989 to 2011
; Cited by
1342 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(76)
BibTeX
|
RIS
|
RefWorks
Download
An approximation algorithm for cofactoring-based synthesis
Anna Bernasconi
,
Valentina Ciriani
,
Valentino Liberali
,
Gabriella Trucco
,
Tiziano Villa
Conference:
ACM Great Lakes Symposium on VLSI
, pp. 193-198, 2011
Robotic Surgery
Riccardo Muradore
,
Davide Bresolin
,
Luca Geretti
,
Paolo Fiorini
,
Tiziano Villa
Published in 2011.
Correct-by-construction code generation from hybrid automata specification
Davide Bresolin
,
Luigi Di Guglielmo
,
Luca Geretti
,
Tiziano Villa
Conference:
International Conference on Wireless Communications and Mobile Computing - IWCMC
, 2011
On decomposing Boolean functions via extended cofactoring
(
Citations: 3
)
Anna Bernasconi
,
Valentina Ciriani
,
Gabriella Trucco
,
Tiziano Villa
Conference:
Design, Automation, and Test in Europe - DATE
, pp. 1464-1469, 2009
Discussion on Supervisory Control by Solving Automata Equation
Victor Bushkov
,
Nina Yevtushenko
,
Tiziano Villa
Journal:
Computing Research Repository - CORR
, vol. abs/0912.0, 2009
Order by:
Citations
(1302 times by 1124 publications)
Petri net representation of multi-valued logical regulatory graphs
(
Citations: 1
)
C. Chaouiya
,
A. Naldi
,
E. Remy
,
D. Thieffry
Journal:
Natural Computing - NC
, vol. 10, no. 2, pp. 727-750, 2011
Speculative Image Computation for Distributed Symbolic Reachability Analysis
(
Citations: 1
)
Ming-Ying Chung
,
Gianfranco Ciardo
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 63-83, 2011
Sulfur-metabolizing bacterial populations in microbial mats of the Nakabusa hot spring, Japan
Kyoko Kubo
,
Katrin Knittel
,
Rudolf Amann
,
Manabu Fukui
,
Katsumi Matsuura
Journal:
Microprocessors and Microsystems
, vol. 34, no. 4, pp. 293-302, 2011
Manipulating MDD Relaxations for Combinatorial Optimization
David Bergman
,
Willem-Jan van Hoeve
,
John N. Hooker
Conference:
International Conference on Integration of AI and OR Techniques in Constraint Programming - CPAIOR
, pp. 20-35, 2011
Are logic synthesis tools robust?
Alberto Puggelli
,
Tobias Welp
,
Andreas Kuehlmann
,
Alberto Sangiovanni-Vincentelli
Published in 2011.
Comments