On the Power of Attribute-Based Communication
2016 Yehia Abd, Alrahman; De Nicola, R; M., Loreti
Public research and industrial innovation: A comparison of U.S. and European innovation systems in the life sciences
2003 Pammolli, F; Riccaboni, M; Powell, W W; Owen-Smith, J
La rilevanza e i caratteri degli aspetti psicologici nella conduzione dell'azienda familiare
2016 Cristea, Iona; Gentili, Claudio; Lattanzi, Nicola; Pietrini, Pietro; Rota, Giusy
Un indicatore di sintesi dell'economicità aziendale: il valore economico del capitale
2016 Giannetti, Riccardo; Lattanzi, Nicola
Globalizzazione e amministrazioni pubbliche nazionali. La dimensione organizzativa
2017 Casini, L
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction
2014 Wirsing, M; De Nicola, R; Hölzl, M
Ricchezza aziendale e patrimonio intangibile: prospettive di osservazione, strumenti di misura, modelli rappresentazione e analisi
2014 Lattanzi, Nicola
Possible Worlds for Process Algebras
1998 Veglioni, S; De Nicola, R
Fully Abstract Models for Nondeterministic Regular Expressions
1995 Corradini, F; De Nicola, R; Labella, A
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
1990 De Nicola, R; Inverardi, P; Nesi, M
Observational Logics and Concurrency Models
1990 De Nicola, R; Ferrari, G. L.
Symbolic Articulation in Ancient Greece. Word, Schema and Image
2017 Catoni, M
Provably Correct Implementations of Services
2009 R., Bruni; DE NICOLA, R; M., Loreti; L., Mezzina
MoMo: A Modal Logic for Reasoning About Mobility
2005 DE NICOLA, R; Michele, Loreti
SCC: a Service Centered Calculus
2006 M, Boreale; Bruni, Roberto; Caires, Luis; DE NICOLA, Rocco; Lanese, Ivan; Loreti, Michele; Martins, Francisco; Montanari, Ugo; Ravara, Antonio; Sangiorgi, Davide; Vasconcelos, Vasco; Zavattaro, Gianluigi
Decentralized model predictive control
2010 Bemporad, A; Barcelli, D
Social Capital Predicts Happiness Over Time
2016 Bartolini, Stefano; Bilancini, Ennio; Sarracino, Francesco
The Reception of Avicenna in Latin Medieval Culture
2013 Bertolacci, A
Global protocol implementations via attribute-based communication
2015 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
Rate-Based Transition Systems for Stochastic Process Calculi
2009 DE NICOLA, R; D., Latella; M., Loreti; M., Massink
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
- 2 Contributo in Volume838
Data di pubblicazione
- In corso di stampa12
- 2020 - 2026265
- 2010 - 2019345
- 2000 - 2009168
- 1990 - 199939
- 1983 - 19899
Editore
- Springer119
- Springer Verlag23
- Giappichelli22
- Il Mulino19
- Routledge18
- Pisa University Press14
- Maria Pacini Fazzi Editore12
- SPRINGER-VERLAG11
- Cambridge University Press10
- Edward Elgar9
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE52
- STUDI E RICERCHE DI ECONOMIA AZIE...6
- ECONOMIA E POLITICA INDUSTRIALE3
- ADVANCES IN ARCHITECTURE SERIES2
- GREEN ENERGY AND TECHNOLOGY2
- LECTURE NOTES IN MATHEMATICS2
- LECTURE NOTES IN PHYSICS2
- SPRINGER SERIES ON TOUCH AND HAPT...2
- ADVANCES IN ECOLOGICAL SCIENCES1
- COMMUNICATIONS IN COMPUTER AND IN...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE33
- IFAC-PAPERSONLINE5
- SPRINGERBRIEFS IN BUSINESS5
- AIRO SPRINGER SERIES3
- ARCHEOLOGIA E ARTE ANTICA3
- MICROLOGUS' LIBRARY3
- SPRINGER OPTIMIZATION AND ITS APP...3
- BOSTON STUDIES IN THE PHILOSOPHY ...2
- COURSES AND LECTURES2
- INDO-IRANICA ET ORIENTALIA, SERIE...2
Keyword
- Contemporary Art6
- Archivio5
- Computer Science (all)5
- Firenze5
- Fotografia5
- Theoretical Computer Science5
- contemporary art4
- Model predictive control4
- Ancient Greek Philosophy3
- arte contemporanea3
Lingua
- eng411
- ita305
- fre10
- ger9
- und8
- spa3
- ara1
- heb1
- jpn1
- per1
Accesso al fulltext
- no fulltext453
- reserved272
- open92
- partially open16
- embargoed4
- mixed1