Sangiovanni-Vincentelli, Alberto
Sangiovanni-Vincentelli, Alberto, 1947-....
Sangiovanni-Vincentelli, Alberto (Alberto L.), 1947-
Alberto Sangiovanni-Vincentelli Accademico e ingegnere italiano
VIAF ID: 93950216 ( Personal )
Permalink: http://viaf.org/viaf/93950216
Preferred Forms
- 100 0 _ ‡a Alberto Sangiovanni-Vincentelli ‡c Accademico e ingegnere italiano
- 200 _ | ‡a Sangiovanni-Vincentelli ‡b Alberto ‡f 1947-....
- 100 1 _ ‡a Sangiovanni-Vincentelli, Alberto
-
-
- 100 1 _ ‡a Sangiovanni-Vincentelli, Alberto
-
- 100 1 _ ‡a Sangiovanni-Vincentelli, Alberto
-
-
- 100 1 _ ‡a Sangiovanni-Vincentelli, Alberto ‡d 1947-
- 100 1 _ ‡a Sangiovanni-Vincentelli, Alberto ‡d 1947-
-
-
- 100 1 _ ‡a Sangiovanni-Vincentelli, Alberto, ‡d 1947-....
4xx's: Alternate Name Forms (28)
Works
Title | Sources |
---|---|
Advances in circuits and systems, c1987: | |
Advances in computer-aided engineering design : a research annual. | |
Algorithms for synthesis and testing of asynchronous circuits | |
Analysis and simulation of noise in nonlinear electronic circuits and systems | |
Une approche synchrone des systèmes quasi-périodiques. | |
Assertions and measurements for mixed-signal simulation | |
Assertions et mesures pour la simulation en signaux mixtes. | |
Cross-talk noise immune VLSI design using regular layout fabrics | |
Design systems for VLSI circuits : logic synthesis and silicon compilation | |
A Duck for Mr. Darwin : evolutionary thinking & the struggle to exist | |
Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings | |
Embedded systems development : from functional models to implementations | |
Function/architecture optimization and co-design of embedded systems | |
Hardware-Software Co-Design of Embedded Systems : The POLIS Approach | |
HSCC 2001 | |
Hybrid systems : computation and control : 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings | |
ICCAD 85 : selected papers of the International Conference ..., Nov. 19-21, 1985, Santa Clara | |
Languages and tools for hybrid systems design | |
Logic synthesis for field-programmable gate arrays | |
Noise analysis of radio frequency circuits | |
Novel paradigms in system-level design | |
Proceedings of the 2nd International workshop on design, test and applications | |
Relaxation techniques for the simulation of VLSI circuits | |
Security-Aware Design for Cyber-Physical Systems : A Platform-Based Approach | |
Selected papers on computer-aided design of very large scale integrated circuits | |
Special issue on advanced design methodologies in automotive control | |
Steady-state methods for simulating analog and microwave circuits | |
Substrate Noise : Analysis and Optimization for IC Design | |
Synchronous equivalence : formal methods for embedded systems | |
Synthesis of Finite State Machines : Logic Optimization | |
A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits | |
The unknown component problem : theory and applications |