Dissimilarity Application for Medical Imaging Classification
2005-01-01 DE MITRI, Ivan
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions
2012-01-01 Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E
Network Applications of Graph Bisimulation
2008-01-01 Cenciarelli, Pietro; Gorla, Daniele; Tuosto, E
Contract-Oriented Services
2012-01-01 Tuosto, E
Contracts in distributed systems
2011-01-01 Bartoletti, Massimo; Tuosto, E; Zunino, Roberto
Reliability and Fault-Tolerance by Choreographic Design
2017-01-01 Cassar, Ian; Francalanza, Adrian; Mezzina, Antares; Tuosto, E
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games
2018-01-01 Flammini, M.; Monaco, G.; Zhang, Q.
The cauchy problem for the maxwell–Schrödinger system with a power-type nonlinearity
2018-01-01 Antonelli, P.; D'Amico, M.; Marcati, P.
Communicating machines as a dynamic binding mechanism of services
2015-01-01 Vissani, Ignacio; Pombo, López; Tuosto, E
Resolving Non-determinism in Choreographies
2014-01-01 Bocchi, Laura; Melgratti, C; Tuosto, E
Magnetic monopole trigger with streamer tubes in the macro experiment at gran sasso
1995-01-01 DE MITRI, Ivan
Minimum Flow Time Graph Ordering
2003-01-01 Arbib, C; Flammini, M; Marinelli, F
Characterization Results of All Shortest Paths Interval Routing Schemes
1998-01-01 Flammini, M; Gambosi, G; Nanni, U; Tan, R. B.
Experimental verification of the HERD prototype at CERN SPS
2016-01-01 Dong, Yongwei; Quan, Zheng; Wang, Junjing; Xu, Ming; Albergo, Sebastiano; Ambroglini, Filippo; Ambrosi, Giovanni; Azzarello, Philipp; Bai, Yonglin; Bao, Tianwei; Baldini, Luca; Battiston, Roberto; Bernardini, Paolo; Chen, Zhen; D'Alessandro, Raffaello; Duranti, Matteo; D'Urso, Domenico; Fusco, Piergiorgio; Gao, Jiarui; Gao, Xiaohui; Gargano, Fabio; Giglietto, Nicola; Hu, Bingliang; Li, Ran; Li, Yong; Liu, Xin; Loparco, Francesco; Lu, Junguang; Marsella, Giovanni; Mazziotta, Mario N.; DE MITRI, Ivan; Mori, Nicola; Orsi, Silvio; Oscar, Adriani; Pearce, Mark; Pohl, Martin; Ryde, Felix; Shi, Dalian; Spillantini, Piero; Su, Meng; Sun, Xin; Surdo, Antonio; Walter, Roland; Wang, Bo; Wang, Le; Wang, Ruijie; Wang, Zhigang; Wu, Bobing; Wu, Xin; Yan, Peng; Zhang, Li; Zhang, Shuangnan
What Can Be Verified Locally?
2017-01-01 Balliu, A; D'Angelo, G; Fraigniaud, P; Olivetti, D
Diverse routing in networks with star SRLGs
2012-01-01 Bermond, ; J., -C.; Coudert, D.; D'Angelo, G; Moataz, F. Z.
Arc-Flags in Dynamic Graphs
2009-01-01 E., Berrettini; D'Angelo, G; D., Delling
Gathering of Six Robots on Anonymous Symmetric Rings
2011-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra
The Quasineutral Limit for the Navier-Stokes-Fourier-Poisson System
2014-01-01 Donatelli D; MARCATI, ; Marcati, Pierangelo
Quark nuggets search using 2350 Kg gravitational waves aluminum bar detectors
2013-01-01 Astone, P; Bassan, Massimo; Coccia, Eugenio; D'Antonio, S; Fafone, Viviana; Giordano, G; Marini, A; Minenkov, Y; Modena, Ivo; Moleti, Arturo; Pallottino, Gv; Pizzella, Guido; A. Rocchi, A; Ronga, F; Visco, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Dissimilarity Application for Medical Imaging Classification | 1-gen-2005 | DE MITRI, Ivan | |
| A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions | 1-gen-2012 | Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E | |
| Network Applications of Graph Bisimulation | 1-gen-2008 | Cenciarelli, Pietro; Gorla, Daniele; Tuosto, E | |
| Contract-Oriented Services | 1-gen-2012 | Tuosto, E | |
| Contracts in distributed systems | 1-gen-2011 | Bartoletti, Massimo; Tuosto, E; Zunino, Roberto | |
| Reliability and Fault-Tolerance by Choreographic Design | 1-gen-2017 | Cassar, Ian; Francalanza, Adrian; Mezzina, Antares; Tuosto, E | |
| Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games | 1-gen-2018 | Flammini, M.; Monaco, G.; Zhang, Q. | |
| The cauchy problem for the maxwell–Schrödinger system with a power-type nonlinearity | 1-gen-2018 | Antonelli, P.; D'Amico, M.; Marcati, P. | |
| Communicating machines as a dynamic binding mechanism of services | 1-gen-2015 | Vissani, Ignacio; Pombo, López; Tuosto, E | |
| Resolving Non-determinism in Choreographies | 1-gen-2014 | Bocchi, Laura; Melgratti, C; Tuosto, E | |
| Magnetic monopole trigger with streamer tubes in the macro experiment at gran sasso | 1-gen-1995 | DE MITRI, Ivan | |
| Minimum Flow Time Graph Ordering | 1-gen-2003 | Arbib, C; Flammini, M; Marinelli, F | |
| Characterization Results of All Shortest Paths Interval Routing Schemes | 1-gen-1998 | Flammini, M; Gambosi, G; Nanni, U; Tan, R. B. | |
| Experimental verification of the HERD prototype at CERN SPS | 1-gen-2016 | Dong, Yongwei; Quan, Zheng; Wang, Junjing; Xu, Ming; Albergo, Sebastiano; Ambroglini, Filippo; Ambrosi, Giovanni; Azzarello, Philipp; Bai, Yonglin; Bao, Tianwei; Baldini, Luca; Battiston, Roberto; Bernardini, Paolo; Chen, Zhen; D'Alessandro, Raffaello; Duranti, Matteo; D'Urso, Domenico; Fusco, Piergiorgio; Gao, Jiarui; Gao, Xiaohui; Gargano, Fabio; Giglietto, Nicola; Hu, Bingliang; Li, Ran; Li, Yong; Liu, Xin; Loparco, Francesco; Lu, Junguang; Marsella, Giovanni; Mazziotta, Mario N.; DE MITRI, Ivan; Mori, Nicola; Orsi, Silvio; Oscar, Adriani; Pearce, Mark; Pohl, Martin; Ryde, Felix; Shi, Dalian; Spillantini, Piero; Su, Meng; Sun, Xin; Surdo, Antonio; Walter, Roland; Wang, Bo; Wang, Le; Wang, Ruijie; Wang, Zhigang; Wu, Bobing; Wu, Xin; Yan, Peng; Zhang, Li; Zhang, Shuangnan | |
| What Can Be Verified Locally? | 1-gen-2017 | Balliu, A; D'Angelo, G; Fraigniaud, P; Olivetti, D | |
| Diverse routing in networks with star SRLGs | 1-gen-2012 | Bermond, ; J., -C.; Coudert, D.; D'Angelo, G; Moataz, F. Z. | |
| Arc-Flags in Dynamic Graphs | 1-gen-2009 | E., Berrettini; D'Angelo, G; D., Delling | |
| Gathering of Six Robots on Anonymous Symmetric Rings | 1-gen-2011 | D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra | |
| The Quasineutral Limit for the Navier-Stokes-Fourier-Poisson System | 1-gen-2014 | Donatelli D; MARCATI, ; Marcati, Pierangelo | |
| Quark nuggets search using 2350 Kg gravitational waves aluminum bar detectors | 1-gen-2013 | Astone, P; Bassan, Massimo; Coccia, Eugenio; D'Antonio, S; Fafone, Viviana; Giordano, G; Marini, A; Minenkov, Y; Modena, Ivo; Moleti, Arturo; Pallottino, Gv; Pizzella, Guido; A. Rocchi, A; Ronga, F; Visco, M. |
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 di Convegno ...1389
Data di pubblicazione
- 2020 - 2026492
- 2010 - 2019632
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE37
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE42
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng791
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1182
- open101
- reserved96
- partially open10