RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 63 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
A calculus for attribute-based communication 1-gen-2015 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto Capitolo di libro o voce di enciclopedia
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 1-gen-2015 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo Capitolo di libro o voce di enciclopedia
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 1-gen-2005 Bettini, Lorenzo; DE NICOLA, Rocco; Falassi, Daniele; Marc, Lacoste; Loreti, Michele Capitolo di libro o voce di enciclopedia
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 1-gen-2008 Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele Capitolo di libro o voce di enciclopedia
A Language-Based Approach to Autonomic Computing 1-gen-2013 De Nicola, Rocco; Ferrari, Gianluigi; Loreti, Michele; Pugliese, Rosario Capitolo di libro o voce di enciclopedia
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 1-gen-2022 Loreti, M.; Rehman, A. Capitolo di libro o voce di enciclopedia
A Modal Logic for KLAIM 1-gen-2000 DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 1-gen-2019 De Nicola, Rocco; Duong, Tan; Loreti, Michele Capitolo di libro o voce di enciclopedia
AGILE: Software Architecture for Mobility 1-gen-2002 Filipe Andrade, Luis; Baldan, Paolo; Baumeister, Hubert; Bruni, Roberto; Corradini, Andrea; De Nicola, Rocco; Luiz Fiadeiro, José; Gadducci, Fabio; Gnesi, Stefania; Hoffman, Piotr; Koch, Nora; Kosiuczenko, Piotr; Lapadula, Alessandro; Latella, Diego; Lopes, Antónia; Loreti, Michele; Massink, Mieke; Mazzanti, Franco; Montanari, Ugo; Oliveira, Cristóvão; Pugliese, Rosario; Tarlecki, Andrzej; Wermelinger, Michel; Wirsing, Martin; Zawlocki, Artur Capitolo di libro o voce di enciclopedia
An experimental spatio-temporal model checker 1-gen-2015 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Risultati 1 - 10 di 63 (tempo di esecuzione: 0.031 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 03 CONTRIBUTO SPECIFICO IN VOLUME 63
  • 03 CONTRIBUTO SPECIFICO IN VOLUME... 63
Autore
  • TIEZZI, Francesco 4
  • CASTIGLIONI, VALENTINA 3
  • TINI, SIMONE 3
  • DEL GIUDICE, NICOLA 2
  • QUADRINI, MICHELA 2
  • REHMAN, ANIQA 2
  • BELENCHIA, MATTEO 1
  • CORRADINI, Flavio 1
  • GNESI, Stefania 1
  • MATTEUCCI, LORENZO 1
Data di pubblicazione
  • 2020 - 2023 9
  • 2010 - 2019 37
  • 2000 - 2009 17
Editore
  • Springer 41
  • Springer Verlag 7
  • Springer Science and Business Med... 5
  • IEEE 2
  • ACM 1
  • Institute of Electrical and Elect... 1
  • springer 1
  • SPRINGER-VERLAG 1
  • Springer-Verlag 1
  • Springert 1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 44
  • LECTURE NOTES IN COMPUTER SCIENCE 4
  • LECTURE NOTES IN ARTIFICIAL INTEL... 2
  • COMMUNICATIONS IN COMPUTER AND IN... 1
Keyword
  • Computer Science (all) 9
  • Theoretical Computer Science 9
  • Formal Methods 4
  • Autonomic Computing 2
  • Quantitative Analysis 2
  • Stochastic process algebras 2
  • Adaptive Systems 1
  • Adaptive systems 1
  • Asynchronous coordination languages 1
  • Autonomic Systems 1
Lingua
  • eng 63
Accesso al fulltext
  • no fulltext 61
  • open 2