Synthesis of hazard-free asynchronous circuits with bounded wire delaysLAVAGNO, L; KEUTZER, K; SANGIOVANNI-VINCENTELLI, A. L et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1995, Vol 14, Num 1, pp 61-86, issn 0278-0070Article

Synthesis for testability techniques for asynchronous circuitsKEUTZER, K; LAVAGNO, L; SANGIOVANNI-VINCENTELLI, A et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1995, Vol 14, Num 12, pp 1569-1577, issn 0278-0070Article

Scalable techniques for system-level cosimulation and coestimationLAJOLO, M; PASSERONE, C; LAVAGNO, L et al.IEE proceedings. Computers and digital techniques. 2003, Vol 150, Num 4, pp 227-238, issn 1350-2387, 12 p.Article

Formal models for communication-based designSANGIOVANNI-VINCENTELLIL, A; SGROI, M; LAVAGNO, L et al.Lecture notes in computer science. 2000, pp 29-47, issn 0302-9743, isbn 3-540-67897-2Conference Paper

A region-based theory for state assignment in speed-independent circuitsCORTADELLA, J; KISHINEVSKY, M; KONDRATYEV, A et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1997, Vol 16, Num 8, pp 793-812, issn 0278-0070Article

Decomposition and technology mapping of speed-independent circuits using Boolean relationsCORTADELLA, J; KISHINEVSKY, M; KONDRATYEV, A et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1999, Vol 18, Num 9, pp 1221-1236, issn 0278-0070Article

Synthesis of software programs for embedded control applicationsBALARIN, F; CHIODO, M; GIUSTO, P et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1999, Vol 18, Num 6, pp 834-849, issn 0278-0070Article

Quasi-static scheduling of embedded software using Equal conflict netsSGROI, M; LAVAGNO, L; WATANABE, Y et al.Lecture notes in computer science. 1999, pp 208-227, issn 0302-9743, isbn 3-540-66132-8Conference Paper

Coping with the variability of combinational logic delaysCORTADELLA, J; KONDRATYEV, A; LAVAGNO, L et al.IEEE International Conference on Computer Design. 2004, pp 505-508, isbn 0-7695-2231-9, 1Vol, 4 p.Conference Paper

Tachykinin activation of human monocytes from patients with interstitial lung disease, healthy smokers or healthy volunteersBRUNELLESCHI, S; NICALI, R; LAVAGNO, L et al.Neuropeptides (Edinburgh). 2000, Vol 34, Num 1, pp 45-50, issn 0143-4179Article

Hardware and Petri nets : Application to asynchronous circuit designCORTADELLA, J; KISHINEVSKY, M; KONDRATYEV, A et al.Lecture notes in computer science. 2000, pp 1-15, issn 0302-9743, isbn 3-540-67693-7Conference Paper