IRIS

Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 4.065 a 4.084 di 5.470
Titolo Data di pubblicazione Autore(i) File
Rule Formats for Nominal Process Calculi 1-gen-2019 Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda
Rule Formats for Nominal Process Calculi 1-gen-2017 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y
Rule-based modeling and static analysis of self-adaptive systems by graph transformation 1-gen-2015 Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga
A Runtime Monitoring Tool for Actor-Based Systems 1-gen-2017 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Rural-Urban Partnerships for Economic Development: Rationale, Geographies and Functional Approaches 1-gen-2014 Veneri, P
S.P.Q.R.: Space and Pride in Queer Rome. Critical reflection on the 2000 World Pride and its urban legacy 16-lug-2019 LA ROCCA, Marco
Safety for mobile robotic system: A systematic mapping study from a software engineering perspective 1-gen-2019 Bozhinoski, Darko; Di Ruscio, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Crnkovic, Ivica
Salento Atmosphere and the Role of Movies 1-gen-2015 Urso, G
SAPREMO: a simplified algorithm for predicting detections of electromagnetic transients in surveys 1-gen-2019 Vinciguerra, S; Branchesi, M; Ciolfi, R; Mandel, I; Neijssel, Cj; Stratta, G
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 1-gen-2018 Inverso, O; Bemporad, A; Tribastone, M
Scalability testing automation using multivariate characterization and detection of software performance antipatterns 1-gen-2022 Avritzer, Alberto; Britto, Ricardo; Trubiani, Catia; Camilli, Matteo; Janes, Andrea; Russo, Barbara; van Hoorn, André; Heinrich, Robert; Rapp, Martina; Henß, Jörg; Chalawadi, Ram Kishan
Scaler Mode Technique for the ARGO-YBJ detector 1-gen-2008 DE MITRI, Ivan
Scaling Properties of Field-Induced Superdiffusion in Continuous Time Random Walks 1-gen-2014 Burioni, R.; Gradenigo, Giacomo; Sarracino, Alessandro; Vezzani, A.; Vulpiani, Angelo
Scattering for Nonlinear Schrodinger Equation Under Partial Harmonic Confinement 1-gen-2015 Antonelli, P; Carles, R; Silva, Jd
Scenari geopolitici nello spazio post-sovietico. Un convegno alla Fondazione Agnelli 1-gen-2001 Cerimele, M; Rossi, U
Scheduling Real-Time Mixed-Criticality Jobs 1-gen-2012 Baruah, S; Bonifaci, V; D'Angelo, G; Li, Hh; Marchetti-Spaccamela, A; Megow, N; Stougie, L
Scheduling Real-Time Mixed-Criticality Jobs 1-gen-2010 V. Bonifaci, S. K. Baruah; D'Angelo, G; H., Li; A., Marchetti-Spaccamela; N., Megow; L., Stougie
School infrastructure spending and educational outcomes: Evidence from the 2012 earthquake in Northern Italy 1-gen-2020 Belmonte, A; Bove, V; D’Inverno, G; Modica, M
Science and technology of Borexino: a real-time detector for low energy solar neutrinos 1-gen-2002 Alimonti, G; Arpesella, C; Back, H; Balata, M; Beau, T; Bellini, G; Benziger, J; Bonetti, S; Brigatti, A; Caccianiga, B; Cadonati, L; Calaprice, F; Cecchet, G; Chen, M; Debari, A; Dehaas, E; de Kerret, H; Donghi, O; Deutsch, M; Elisei, F; Etenko, A; von Feilitzsch, F; Fernholz, R; Ford, R; Freudiger, B; Garagiola, A; Galbiati, C; Gatti, F; Gazzana, S; Giammarchi, M; Giugni, D; Golubchikov, A; Goretti, A; Grieb, C; Hagner, C; Hagner, T; Hampel, W; Harding, E; Hartmann, F; von Hentig, R; Hess, H; Heusser, G; Ianni, A; Inzani, P; Kidner, S; Kiko, J; Kirsten, T; Korga, G; Korschinek, G; Kryn, D; Lagomarsino, V; Lamarche, P; Laubenstein, M; Loeser, F; Lombardi, P; Magni, S; Malvezzi, S; Maniera, J; Manno, I; Manuzio, G; Masetti, F; Mazzucato, U; Meroni, E; Musico, P; Neder, H; Neff, M; Nisi, S; Oberauer, L; Obolensky, M; Pallavicini, M; Papp, L; Perasso, L; Pocar, A; Raghavan, R; Ranucci, G; Rau, W; Razeto, A; Resconi, E; Riedel, T; Sabelnikov, A; Saggese, P; Salvo, C; Scardaoni, R; Schoenert, S; Schuhbeck, K; Seidel, H; Shutt, T; Simgen, H; Sonnenschein, A; Smirnov, O; Sotnikov, A; Skorokhvatov, M; Sukhotin, S; Tartaglia, R; Testera, G; Vogelaar, R; Vitale, S; Wojcik, M; Zaimidoroga, O; Zakharov, Y
Science case for the Einstein telescope 1-gen-2020 Maggiore, M; Van den Broeck, C; Bartolo, N; Belgacem, E; Bertacca, D; Bizouard, Ma; Branchesi, M; Clesse, S; Foffa, S; Garcia-Bellido, J; Grimm, S; Harms, J; Hinderer, T; Matarrese, S; Palomba, C; Peloso, M; Ricciardone, A; Sakellariadou, M
Mostrati risultati da 4.065 a 4.084 di 5.470
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