Control Flow Analysis for information flow security
2001 Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo
Freshness Analysis in Security Protocols
2002 C., Braghin; Cortesi, Agostino; Focardi, Riccardo
A Security Property for Processes in Dynamic Contexts
2002 Focardi, Riccardo; Rossi, Sabina
Inferring Authentication Tags
2005 Focardi, Riccardo; Maffei, M.; Placella, F.
Information Flow in a Discrete-Time Process Algebra
2000 Focardi, Riccardo; R., Gorrieri; F., Martinelli
Sintesi Diastereoselettiva di Ciclotrimeri Enantiopuri Funzionalizzati
2003 Fabris, Fabrizio; Bellotto, L; Borsato, Giuseppe; Lorenzon, S; Pellizzaro, L; Rosso, E; Toniolo, U; DE LUCCHI, Ottorino
New Functionalised Benzocyclotrimers
2004 Fabris, Fabrizio; Zonta, C; Borsato, Giuseppe; Dastan, A; DE LUCCHI, Ottorino
Sintesi Diastereoselettiva di Ciclotrimeri Enantiopuri Funzionalizzati
2002 Fabris, Fabrizio; Zambrini, L; Rosso, E; Bellotto, L; DE LUCCHI, Ottorino
Molecular Domes: Functionalised, Enantiopure, C3-Symmetric Benzocyclotrimers
2004 Borsato, Giuseppe; DE LUCCHI, Ottorino; Fabris, Fabrizio; Zonta, C.
Selectively Perfunctionalized Tris-Annellated Benzenes as Scaffolds for the Construction of Nano Objects
2004 Borsato, Giuseppe; Fabris, Fabrizio; DE LUCCHI, Ottorino; Lucchini, Vittorio; Paulon, A; Zambon, A; Zonta, C.
Benzocyclotrimers new synthons in supramolecular chemistry
2004 Borsato, Giuseppe; DE LUCCHI, Ottorino; Fabris, Fabrizio; Zonta, C.
Cyclotrimerisation Reaction of Benzo Bicyclic Systems
2004 Dastan, A; Fabris, Fabrizio; Balci, M; DE LUCCHI, Ottorino
Diastereoselective Synthesis of Enantiopure Functionalized Benzocyclotrimers
2002 Fabris, Fabrizio; Chiurato, M; Bellotto, L; Toniolo, U; Zambrini, L; DE LUCCHI, Ottorino
Natural Terpenes Dimerization and Trimerization
2000 Fabris, Fabrizio; DE LUCCHI, Ottorino
Ciclotrimerizzazione Stereoselettiva di Terpeni Enantiopuri
2000 Fabris, Fabrizio; Zambrini, L; DE LUCCHI, Ottorino
Stereomutazione nella Molecola del Dicarvone Omochirale
1999 Lunazzi, L; Mazzanti, A; Casarini, D; DE LUCCHI, Ottorino; Fabris, Fabrizio
Reazioni di Dimerizzazione e Trimerizzazione
2000 Fabris, Fabrizio; Mazzega, M; Leoni, L; DE MARTIN, A; Michieletto, I; DE LUCCHI, Ottorino
Diastereoselective Cyclotrimerisation Promoted by Copper Salts
2002 Fabris, Fabrizio; Zambrini, L; Rosso, E; DE LUCCHI, Ottorino
Cyclotrimerisation of Polycyclic Olefines: An Asymmetric Approach to a Symmetric Molecule
2001 Borsato, Giuseppe; Cossu, Sergio Antonio; DE LUCCHI, Ottorino; Fabris, Fabrizio; Peluso, P.
Cyclotrimerisation of Polycyclic Alkenes
2001 Borsato, Giuseppe; Cossu, Sergio Antonio; DE LUCCHI, Ottorino; Fabris, Fabrizio; Peluso, P.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti convegno9629
Data di pubblicazione
- In corso di stampa65
- 2020 - 20261581
- 2010 - 20193262
- 2000 - 20093237
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE373
- Springer190
- IEEE Computer Society105
- Institute of Electrical and Elect...105
- Springer Verlag88
- ACM85
- Springer Science and Business Med...64
- -54
- Association for Computing Machinery47
- CLEUP46
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- UMANISTICA DIGITALE10
- E3S WEB OF CONFERENCES7
- INTERNATIONAL CONFERENCE ON PATTE...7
- ABSTRACTS OF PAPERS - AMERICAN CH...6
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- SCIENZA E BENI CULTURALI5
- CHEMICAL ENGINEERING TRANSACTIONS4
- COLLECTIVE DYNAMICS4
- BUILDING SIMULATION CONFERENCE PR...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE244
- CEUR WORKSHOP PROCEEDINGS54
- LECTURE NOTES IN ARTIFICIAL INTEL...44
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
- PROCEEDINGS OF SPIE, THE INTERNAT...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...22
- MATERIALS RESEARCH SOCIETY SYMPOS...16
- QUADERNI DI VENEZIA ARTI14
- COMMUNICATIONS IN COMPUTER AND IN...13
- IEEE VTS ... VEHICULAR TECHNOLOGY...13
Keyword
- Venezia55
- Computer Networks and Communications23
- Computer Science (all)23
- Abstract Interpretation21
- Security21
- Spain21
- Static Analysis21
- anaerobic digestion20
- Giappone20
- Theoretical Computer Science19
Lingua
- eng3868
- ita2175
- fre181
- spa71
- rus51
- ger40
- jpn29
- gre25
- grc12
- pol11
Accesso al fulltext
- no fulltext5015
- reserved2474
- open2059
- embargoed42
- partially open39