“Human capital migration and salaries: an examination of US college graduates”
2017-01-01 Faggian, A; Corcoran, J; Franklin, R
Regional Sustainability and Resilience: Recent Progress and Future Directions
2017-01-01 Irwin, E; Jaquet, T; Faggian, A
“Introduction: Locating the political in late neoliberalism”
2018-01-01 Enright, Theresa; Rossi, Ugo
The effect of tourism on house prices
2012-01-01 Biagi, B; Lambiri, D; Faggian, A
Planck Scale Kinematics and the Pierre Auger Observatory
2005-01-01 Aloisio, R; Blasi, P; Galante, A; Grillo, A
The Algorithmics of Bisimilarity
2011-01-01 Aceto, L; Ingólfsdóttir, A; Srba, J
Teaching Concurrency: Theory in Practice
2009-01-01 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
2009-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling
2008-01-01 Aceto, L; Ingólfsdóttir, A; Luttik, B; van Tilburg, P
Rule Formats for Determinism and Idempotence
2009-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Axiomatizing GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Sigma algebras in probabilistic epistemic dynamics
2011-01-01 Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J
Graphical representation of covariant-contravariant modal formulae
2011-01-01 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Un sistema territoriale marginale tra cambiamento e continuità: i Quartieri Spagnoli di Napoli
2003-01-01 Amato, F; Rossi, U
On the qualitative behaviour of numerical methods for delay differential equations of neutral type. A case study: Theta-methods
2001-01-01 Guglielmi, N
A Runtime Monitoring Tool for Actor-Based Systems
2017-01-01 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Rule Formats for Distributivity
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
2011-01-01 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App
2016-01-01 Gudmundsson, V; Lindvall, M; Aceto, L; Bergthorsson, J; Ganesan, D
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 Volume341
Data di pubblicazione
- In corso di stampa1
- 2020 - 202573
- 2010 - 2019214
- 2000 - 200949
- 1995 - 19994
Editore
- Springer48
- Routledge18
- Franco Angeli11
- Edward Elgar10
- EGEA10
- CUEC8
- FrancoAngeli6
- Springer International Publishing6
- Società Geografica Italiana5
- Springer Verlag5
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE23
- IFIP INTERNATIONAL FEDERATION FOR...2
- KALPA PUBLICATIONS IN COMPUTING2
- LEIBNIZ INTERNATIONAL PROCEEDINGS...2
- CONTEMPORARY MATHEMATICS1
- LECTURE NOTES IN PHYSICS1
- PITMAN RESEARCH NOTES IN MATHEMAT...1
- STUDI URBANI E REGIONALI1
Serie
- DISCUSSION PAPER SERIES IN REGION...14
- LECTURE NOTES IN ARTIFICIAL INTEL...2
- ADVANCES IN SPATIAL SCIENCE1
- EMS SERIES OF CONGRESS REPORTS1
- INTERNET OF THINGS1
- LECTURE NOTES IN MATHEMATICS1
- OUTSTANDING CONTRIBUTIONS TO LOGIC1
- POLITICAL SCIENCE AND PUBLIC POLICY1
- SCIENZE REGIONALI1
- SPRINGER INDAM SERIES1
Keyword
- Italy4
- Aree interne3
- aree interne3
- Computer Science (all)3
- Robotisation3
- smart development3
- Theoretical Computer Science3
- beni comuni2
- Business2
- città2
Lingua
- eng174
- ita96
- fre1
- spa1
- und1
Accesso al fulltext
- no fulltext283
- reserved41
- open17