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 5.578 a 5.597 di 7.396
Titolo Data di pubblicazione Autore(i) File
Rotating protoneutron stars: Spin evolution, maximum mass, and I-Love-Q relations 1-gen-2014 Martinon, Grégoire; Maselli, Andrea; Gualtieri, Leonardo; Ferrari, Valeria
ROUTE: A Framework for Customizable Smart Mobility Planners 1-gen-2022 Alkhabbas, F.; De Sanctis, M.; Bucchiarone, A.; Cicchetti, A.; Spalazzese, R.; Davidsson, P.; Iovino, L.
The RPC system of the OPERA experiment 1-gen-2009 Bertolin, A; Brugnera, R; Candela, A; Cararra, E; Castellani, L; Cazes, A; Corradi, G; Dal Corso, F; D'Incecco, M; Di Giovanni, A; Dusini, S; Felici, G; Garfagnini, A; Gustavino, C; Lindozzi, A; Lippi, I; Longhin, A; Mengucci, A; Paoloni, A; Papalino, G; Spinetti, M; Stanco, L; Stipcevic, M; Sugoniaev, V; Terranova, F; Ventura, M; Votano, L
Rubbish stuff, thick skins, and drifters: making homeless geographies in Athens city centre 5-lug-2018 Bourlessas, Panagiotis
A Rule Format for Unit Elements 1-gen-2010 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 1-gen-2016 Aceto, L; García-Pérez, Á; Ingólfsdóttir, A
Rule Formats for Determinism and Idempotence 1-gen-2009 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Rule formats for determinism and idempotence 1-gen-2012 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule formats for distributivity 1-gen-2012 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule Formats for Distributivity 1-gen-2011 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
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
Rumor spreading in random evolving graphs 1-gen-2016 Clementi, Andrea; Crescenzi, Pierluigi; Doerr, Carola; Fraigniaud, Pierre; Pasquale, Francesco; Silvestri, Riccardo
Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform 1-gen-2023 Cotroneo, Domenico; De Simone, Luigi; Liguori, Pietro; Natella, Roberto
Runtime Instrumentation for Reactive Components 1-gen-2024 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna
Runtime Instrumentation for Reactive Components (Artifact) 1-gen-2024 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna
A Runtime Monitoring Tool for Actor-Based Systems 1-gen-2017 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems 1-gen-2024 Diniz Caldas, Ricardo; García, Juan Antonio Piñera; Schiopu, Matei; Pelliccione, Patrizio; Rodrigues, Genaína; Berger, Thorsten
RuntimeSave: A Graph Database of Runtime Values 1-gen-2025 Sulír, Matúš; Bertolino, Antonia; De Angelis, Guglielmo
Mostrati risultati da 5.578 a 5.597 di 7.396
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