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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 321 a 340 di 341
Titolo Data di pubblicazione Autore(i) File
A Survey of Runtime Monitoring Instrumentation Techniques 1-gen-2017 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Exploring music careers: music graduates and early career trajectories in UK 1-gen-2014 Comunian, R; Faggian, A; Jewell, S.
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
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.
Axiomatizing Weak Ready Simulation Semantics over BCCSP 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
A Rule Format for Unit Elements 1-gen-2010 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
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
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras 1-gen-2008 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
“Interregional Migration Analysis.” 1-gen-2015 Faggian, A; Corcoran, J; Partridge, M
Distance-Vector Algorithms for Distributed Shortest Paths Computation in Dynamic Network 1-gen-2018 D'Angelo, G; D'Emidio, M.; Frigioni, D
On Verifying Hennessy-Milner Logic with Recursion at Runtime 1-gen-2015 Francalanza, A; Aceto, L; Ingólfsdóttir, A
A Generic Instrumentation Tool for Erlang 1-gen-2017 Cassar, ; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
Meta SOS - A Maude Based SOS Meta-Theory Framework 1-gen-2013 Aceto, L; Goriac, E; Ingólfsdóttir, A
A Foundation for Runtime Monitoring 1-gen-2017 Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A
Logical Characterisations and Compositionality of Input-Output Conformance Simulation 1-gen-2017 Aceto, L; Fábregas, I; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Characteristic Formulae for Relations with Nested Fixed Points 1-gen-2012 Aceto, L; Ingólfsdóttir, A
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics 1-gen-2013 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders 1-gen-2014 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco,
Event-Based Service Coordination 1-gen-2008 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 321 a 340 di 341
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
Autore
  • ACETO, LUCA46
  • URSO, GIULIA37
  • ROSSI, UGO30
  • BRANDANO, MARIA GIOVANNA28
  • COMPAGNUCCI, FABIANO23
  • FAGGIAN, ALESSANDRA20
  • INVERARDI, PAOLA17
  • MONTRESOR, SANDRO15
  • DAL MOLIN, MARTINA9
  • MODICA, MARCO9
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