IRIS

2.1 Contributo in volume (Capitolo o Saggio): [358] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 321 a 340 di 358
Titolo Data di pubblicazione Autore(i) File
“Introduction: Locating the political in late neoliberalism” 1-gen-2018 Enright, Theresa; Rossi, Ugo
The effect of tourism on house prices 1-gen-2012 Biagi, B; Lambiri, D; Faggian, A
Planck Scale Kinematics and the Pierre Auger Observatory 1-gen-2005 Aloisio, R; Blasi, P; Galante, A; Grillo, A
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 1-gen-2009 Aceto, L; Cimini, M; Ingólfsdóttir, A
The Algorithmics of Bisimilarity 1-gen-2011 Aceto, L; Ingólfsdóttir, A; Srba, J
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling 1-gen-2008 Aceto, L; Ingólfsdóttir, A; Luttik, B; van Tilburg, P
Teaching Concurrency: Theory in Practice 1-gen-2009 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
Graphical representation of covariant-contravariant modal formulae 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Sigma algebras in probabilistic epistemic dynamics 1-gen-2011 Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J
Axiomatizing GSOS with Predicates 1-gen-2011 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Rule Formats for Determinism and Idempotence 1-gen-2009 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
A Runtime Monitoring Tool for Actor-Based Systems 1-gen-2017 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Un sistema territoriale marginale tra cambiamento e continuità: i Quartieri Spagnoli di Napoli 1-gen-2003 Amato, F; Rossi, U
On the qualitative behaviour of numerical methods for delay differential equations of neutral type. A case study: Theta-methods 1-gen-2001 Guglielmi, N
Rule Formats for Distributivity 1-gen-2011 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates 1-gen-2011 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
A Survey of Runtime Monitoring Instrumentation Techniques 1-gen-2017 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App 1-gen-2016 Gudmundsson, V; Lindvall, M; Aceto, L; Bergthorsson, J; Ganesan, D
Model-Driven Development of Long Running Transactions 1-gen-2011 Ciancia, Vincenzo; Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 321 a 340 di 358
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 Volume358
Autore
  • ACETO, LUCA46
  • URSO, GIULIA38
  • BRANDANO, MARIA GIOVANNA30
  • ROSSI, UGO30
  • COMPAGNUCCI, FABIANO25
  • FAGGIAN, ALESSANDRA24
  • INVERARDI, PAOLA17
  • MONTRESOR, SANDRO15
  • DENTI, DARIA13
  • MODICA, MARCO11
Data di pubblicazione
  • In corso di stampa1
  • 2020 - 202690
  • 2010 - 2019214
  • 2000 - 200949
  • 1995 - 19994
Editore
  • Springer49
  • Routledge18
  • Franco Angeli13
  • 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...19
  • LECTURE NOTES IN ARTIFICIAL INTEL...2
  • ADVANCES IN SPATIAL SCIENCE1
  • CESIFO WORKING PAPERS1
  • EMS SERIES OF CONGRESS REPORTS1
  • INTERNET OF THINGS1
  • LECTURE NOTES IN MATHEMATICS1
  • OUTSTANDING CONTRIBUTIONS TO LOGIC1
  • POLITICAL SCIENCE AND PUBLIC POLICY1
  • SCIENZE REGIONALI1
Keyword
  • Italy5
  • Aree interne3
  • aree interne3
  • Computer Science (all)3
  • Robotisation3
  • smart development3
  • Theoretical Computer Science3
  • beni comuni2
  • Business2
  • città2
Lingua
  • eng186
  • ita99
  • fre1
  • spa1
  • und1
Accesso al fulltext
  • no fulltext298
  • reserved42
  • open18