Inizio contenuto principale del sito

Bartoletti, M.; Chiang, J.; Junttila, T.; Lluch Lafuente, A.; Mirelli, M.; Vandin, A.

Formal Analysis of Lending Pools in Decentralized Finance Apre una nuova scheda del browser

(2022)

Argyris, G.; Lafuente, A. L.; Tribastone, M.; Tschaikowski, M.; Vandin, A.

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence Apre una nuova scheda del browser

(2022)

Porzi, Claudio; Fresi, Francesco; L., Potì; Bogoni, Antonella; M., Guina; L., Orsila; O., Okhotnikov; N., Calabretta

All-Optical Packet Envelope Detection using a Slow Semiconductor Saturable Absorber Gate and a Semiconductor Optical Amplifier Apre una nuova scheda del browser

(2008)