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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 321 a 340 di 355
Titolo Data di pubblicazione Autore(i) File
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
Sigma algebras in probabilistic epistemic dynamics 1-gen-2011 Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, 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
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
On the qualitative behaviour of numerical methods for delay differential equations of neutral type. A case study: Theta-methods 1-gen-2001 Guglielmi, N
Un sistema territoriale marginale tra cambiamento e continuità: i Quartieri Spagnoli di Napoli 1-gen-2003 Amato, F; Rossi, U
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
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
A Survey of Runtime Monitoring Instrumentation Techniques 1-gen-2017 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 1-gen-2012 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Model-Driven Development of Long Running Transactions 1-gen-2011 Ciancia, Vincenzo; Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca 1-gen-2011 Aceto, L; Cimini, M; Ingólfsdóttir, A; Reynisson, A H; Sigurdarson, S H; Sirjani, M
R&D results from the NOE scintillating fiber calorimeter 1-gen-2001 Aleksandrov, K. V.; Barbarino, G. C.; Bernardini, P.; Brigida, M.; Campana, D.; Candela, A.; Caruso, R.; Cassese, F.; Ceres, A.; D'Aquino, B.; DE CATALDO, G.; DE MITRI, I.; DI CREDICO, A.; Favuzzi, C.; Fusco, P.; Gargano, F.; Giglietto, N.; Giordano, F.; Grillo, A.; Guarino, F.; Lauro, A.; Leone, A.; Loparco, F.; Mancarella, G.; Martello, D.; Mazziotta, M. N.; Mongelli, M.; Osteria, G.; Palladino, V.; Passeggio, G.; Perchiazzi, M.; Perrino, R.; Pinto, C.; Pontoriere, G.; Raino, A.; Rocco, R.; Romanucci, E.; Sacchetti, A.; Scapparone, E.; Spinelli, P.; Surdo, A.; Tikhomirov, V.; Vaccina, A.; Vanzanella, E.; Zilli, A.; Weber, M.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 321 a 340 di 355
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 Volume355
Autore
  • ACETO, LUCA46
  • URSO, GIULIA38
  • BRANDANO, MARIA GIOVANNA30
  • ROSSI, UGO30
  • COMPAGNUCCI, FABIANO25
  • FAGGIAN, ALESSANDRA24
  • INVERARDI, PAOLA17
  • MONTRESOR, SANDRO15
  • DENTI, DARIA12
  • MODICA, MARCO11
Data di pubblicazione
  • In corso di stampa1
  • 2020 - 202687
  • 2010 - 2019214
  • 2000 - 200949
  • 1995 - 19994
Editore
  • Springer49
  • 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...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
  • ita97
  • fre1
  • spa1
  • und1
Accesso al fulltext
  • no fulltext295
  • reserved42
  • open18