Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.381 a 1.389 di 1.389
Security Issues in Component-based Design
2001-01-01 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
An Observational Model for Spatial Logics
2006-01-01 Tuosto, E; Vieira, Torres
Tests of Eco-Friendly Gas Mixtures in GEM Based Detectors with Optical Readout
2019-01-01 Abritta Costa, I; Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Caponero, M; Cavoto, G; Di Marco, E; D’Imperio, G; Iacoangeli, F; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Passamonti, L; Petrucci, F; Piccolo, D; Pierluigi, D; Pinci, D; Renga, F; Russo, A; Saviano, G; Tomassini, S
Debugging Distributed Systems with Causal Nets
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Heuristic Methods for Security Protocols
2009-01-01 Nizamani, Ain; Tuosto, E
A Formal Basis for Reasoning on Programmable QoS
2003-01-01 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
A Formal Support to Business and Architectural Design for Service-Oriented Systems
2011-01-01 Bruni, Roberto; Foster, Howard; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E
Abstractions for Collective Adaptive Systems
2020-01-01 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
Corinne, a Tool for Choreography Automata
2021-01-01 Orlando, Simone; Pasquale, Vairo Di; Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Security Issues in Component-based Design | 1-gen-2001 | Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E | |
| An Observational Model for Spatial Logics | 1-gen-2006 | Tuosto, E; Vieira, Torres | |
| Tests of Eco-Friendly Gas Mixtures in GEM Based Detectors with Optical Readout | 1-gen-2019 | Abritta Costa, I; Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Caponero, M; Cavoto, G; Di Marco, E; D’Imperio, G; Iacoangeli, F; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Passamonti, L; Petrucci, F; Piccolo, D; Pierluigi, D; Pinci, D; Renga, F; Russo, A; Saviano, G; Tomassini, S | |
| Debugging Distributed Systems with Causal Nets | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
| Heuristic Methods for Security Protocols | 1-gen-2009 | Nizamani, Ain; Tuosto, E | |
| A Formal Basis for Reasoning on Programmable QoS | 1-gen-2003 | Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E | |
| A Formal Support to Business and Architectural Design for Service-Oriented Systems | 1-gen-2011 | Bruni, Roberto; Foster, Howard; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E | |
| Abstractions for Collective Adaptive Systems | 1-gen-2020 | Inverso, Omar; Trubiani, Catia; Tuosto, Emilio | |
| Corinne, a Tool for Choreography Automata | 1-gen-2021 | Orlando, Simone; Pasquale, Vairo Di; Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.381 a 1.389 di 1.389
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