Sfoglia per Titolo
Robust algorithms and price of robustness in shunting problems
2007-01-01 S., Cicerone; D'Angelo, G; G., DI STEFANO; D. FRIGIONI A., Navarra
Role of conserved quantities in Fourier's law for diffusive mechanical systems
2019-01-01 Olla, Stefano
The role of flexible biofuel policies in meeting biofuel mandates
2018-01-01 Markandya, Anil; Dhavala, Kishore; Palma, Alessandro
Role of women in software architecture: An attempt at a systematic literature review
2017-01-01 Spichkova, M; Schmidt, H; Trubiani, C
Rotating black holes in Einstein-dilaton-Gauss-Bonnet gravity with finite coupling
2015-01-01 Maselli, Andrea; Pani, Paolo; Gualtieri, Leonardo; Ferrari, Valeria
Rotating protoneutron stars: Spin evolution, maximum mass, and I-Love-Q relations
2014-01-01 Martinon, Grégoire; Maselli, Andrea; Gualtieri, Leonardo; Ferrari, Valeria
ROUTE: A Framework for Customizable Smart Mobility Planners
2022-01-01 Alkhabbas, F.; De Sanctis, M.; Bucchiarone, A.; Cicchetti, A.; Spalazzese, R.; Davidsson, P.; Iovino, L.
The RPC system of the OPERA experiment
2009-01-01 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
2018-07-05 Bourlessas, Panagiotis
A Rule Format for Unit Elements
2010-01-01 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics
2016-01-01 Aceto, L; García-Pérez, Á; Ingólfsdóttir, A
Rule Formats for Determinism and Idempotence
2009-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Rule formats for determinism and idempotence
2012-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule Formats for Distributivity
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule formats for distributivity
2012-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule Formats for Nominal Process Calculi
2017-01-01 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y
Rule Formats for Nominal Process Calculi
2019-01-01 Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda
Rule-based modeling and static analysis of self-adaptive systems by graph transformation
2015-01-01 Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga
Rumor spreading in random evolving graphs
2016-01-01 Clementi, Andrea; Crescenzi, Pierluigi; Doerr, Carola; Fraigniaud, Pierre; Pasquale, Francesco; Silvestri, Riccardo
A Runtime Monitoring Tool for Actor-Based Systems
2017-01-01 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Robust algorithms and price of robustness in shunting problems | 1-gen-2007 | S., Cicerone; D'Angelo, G; G., DI STEFANO; D. FRIGIONI A., Navarra | |
Role of conserved quantities in Fourier's law for diffusive mechanical systems | 1-gen-2019 | Olla, Stefano | |
The role of flexible biofuel policies in meeting biofuel mandates | 1-gen-2018 | Markandya, Anil; Dhavala, Kishore; Palma, Alessandro | |
Role of women in software architecture: An attempt at a systematic literature review | 1-gen-2017 | Spichkova, M; Schmidt, H; Trubiani, C | |
Rotating black holes in Einstein-dilaton-Gauss-Bonnet gravity with finite coupling | 1-gen-2015 | Maselli, Andrea; Pani, Paolo; Gualtieri, Leonardo; Ferrari, Valeria | |
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-2011 | Aceto, L; Cimini, M; 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 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 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-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 | |
A Runtime Monitoring Tool for Actor-Based Systems | 1-gen-2017 | Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A |
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