Inizio contenuto principale del sito

Stroppa, Marta

Autonomous cyber capabilities and unilateral measures of self-help against malicious cyber operations Apre una nuova scheda del browser

(2023)

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)

Squillace, G.; Tribastone, M.; Tschaikowski, M.; Vandin, A.

An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations 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)

Vinci, A; Pirrotta, L; Vainieri, M

How do health authorities inform about general practitioner selection? Analysis of Italian Websites Apre una nuova scheda del browser

(2023)

Subscribe to