Developing secure bitcoin contracts with BitML
2019-01-01 Atzei, Nicola; Bartoletti, Massimo; Lande, Stefano; Yoshida, Nobuko; Zunino, Roberto
BitML: A Calculus for Bitcoin Smart Contracts
2018-01-01 Bartoletti, Massimo; Zunino, Roberto
Il magistero di Papa Francesco tra ecclesiologia ed economia: trasparenza e solidarietà per una finanza etica della e nella Chiesa
2018-01-01 Oliosi, Francesca
Le sfide e le opportunità di una scuola multicultu(r)ale
2016-01-01 Oliosi, Francesca
On the Decidability of Honesty and of Its Variants
2016-01-01 Bartoletti, Massimo; Zunino, Roberto
Fun with bitcoin smart contracts
2018-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Zunino, Roberto
Verifying Liquidity of Bitcoin Contracts
2019-01-01 Bartoletti, M.; Zunino, R.
Firewood in the Fireplace: Fuel Use in the Solutrean of La Boja Rock-Shelter (Murcia, Spain).
2019-01-01 Badal, E.; Martínez-Varea, C. M.; Cantó, A.; Angelucci, D.; Villaverde, V.; Zapata, J.; Zilhão, J.
The driver Continuous Support function in the FP7 “interactIVe” project: an implementation based on the “co-driver” metaphor
2014-01-01 Da Lio, Mauro; Biral, Francesco; Bertolazzi, Enrico; Galvani, Marco; Bosetti, Paolo; Saroldi, Andrea; Tango, Fabio
The sustainable city and urban air pollution
2014-01-01 Rada, Elena Cristina
Implementing the Continuous Stream Model for Real-Time Control in Linux
2014-01-01 Villalba Frias, Bernardo Rabindranath; Abeni, Luca; Palopoli, Luigi; Fontanelli, Daniele
Fuzzy Maximal Eigenvalues of Fuzzy Pairwise Comparison Matrice
2014-01-01 Krejčí, Jana
Molecular characterization of the grapevine germplasm collection held at the Fondazione Edmund Mach
2014-01-01 Maia Moreira, Flavia; Lorenzi, Silvia; Laera, Michele; Sordo, Maddalena; Zulini, Luca; Stefanini, Marco; Grando, Maria Stella
GESTIONE DELLA SICUREZZA DA RISCHIO DI FRANA ED ALLUVIONALE DI UNA LINEA FERROVIARIA IN AMBIENTE ALPINO
2014-01-01 De Barba, L; Alessandrini, A; Bassetti, F; Facchin, E; Simeoni, Lucia
Goals in Social Media, information retrieval and intelligent agents
2015-01-01 Papadimitriou, Dimitra; Velegrakis, Ioannis; Koutrika, Georgia; Mylopoulos, Ioannis
The Augmented Laboratory – 3D, Multiple Object Tracking
2019-01-01 Rosi, T; Onorato, P; Oss, S
The Use of Coatings to Improve the Corrosion Behavior of Aluminum Foam
2017-01-01 Rossi, Stefano; Fedel, Michele; Deflorian, Flavio
From the dicey world to the physical laws: dice toy models for bridging microscopic and macroscopic understanding of physical phenomena
2019-01-01 Onorato, Pasquale; Gratton, Luigi M; Oss, Stefano; Malgieri, Massimiliano
Conformational stability of DNA in hydrated ionic liquid by synchrotron-based UV resonance raman
2019-01-01 Bottari, Cettina; Mancini, Ines; Mele, Andrea; Gessini, Alessandro; Masciovecchio, Claudio; Rossi, Barbara
Discussing fundamental topics of quantum physics using visualizations of bound states
2018-01-01 Rosi, T.; Oss, S.; Onorato, 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
- 04 Convegni (Proceedings)20394
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263449
- 2010 - 20197210
- 2000 - 20096480
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2238
- Institute of Electrical and Elect...991
- Springer899
- ACM381
- IEEE Computer Society323
- Springer Verlag297
- SPIE187
- Association for Computing Machinery173
- CEUR-WS169
- Association for Computational Lin...168
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE701
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...186
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- PROCEEDINGS OF THE IEEE CONFERENC...68
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE53
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica22
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ICAR/17 - Disegno5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15311
- ita3580
- und133
- fre96
- spa74
- ger63
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14942
- reserved3331
- open1599
- partially open515
- mixed7
- embargoed2