Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.141 a 1.160 di 1.389
Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities
2016-01-01 Bonifaci, V.; Brandenburg, B.; D'Angelo, G; Marchetti-Spaccamela, A.
How to Gather Asynchronous Oblivious Robots on Anonymous Rings
2012-01-01 D'Angelo, G; Di Stefano, Gabriele; Navarra, Alfredo
SRLG-Diverse Routing with the Star Property
2013-01-01 Bermond, Jean-Claude; Coudert, David; D'Angelo, G; Moataz, Zahra
Greedily improving our own centrality in a network
2015-01-01 Crescenzi, P.; D'Angelo, G; Severini, L.; Velaj, Y.
Gathering and exclusive searching on rings under minimal assumptions
2014-01-01 D'Angelo, G; Navarra, A.; Nisse, N.
Air shower detection by the ARGO-YBJ experiment
2005-01-01 Bernardini, P.; De Mitri, I.; Marsella, G.; Martello, D.; Pino, C.; Surdo, A.
Improved approximation results for the Minimum Energy Broadcasting Problem
2004-01-01 Flammini, M; Klasing, R.; Navarra, A.; Perennes, S.
What are the arguments against future electron positron colliders for flavour physics
2006-01-01 Ferroni, F.
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus
2011-01-01 Ali, Nour; Tuosto, E
Amending Contracts for Choreographies
2011-01-01 Bocchi, Laura; Lange, Julien; Tuosto, E
On the Realizability of Contracts in Dishonest Systems
2012-01-01 Bartoletti, Massimo; Tuosto, E; Zunino, Roberto
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
2012-01-01 Poyias, Kyriakos; Tuosto, E
Synthesising Choreographies from Local Session Types
2012-01-01 Lange, Julien; Tuosto, E
On Nominal Regular Languages with Binders
2012-01-01 Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E
An Abstract Semantics of the Global View of Choreographies
2016-01-01 Guanciale, Roberto; Tuosto, E
On Recovering from Run-time Misbehaviour in ADR
2013-01-01 Poyias, Kyriakos; Tuosto, E
Honesty by Typing
2013-01-01 Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, Roberto
From Orchestration to Choreography through Contract Automata
2014-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E
A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load
1997-01-01 Eilam, T; Flammini, Michele; Zaks, S.
On Sessions and Infinite Data
2016-01-01 Severi, Paula; Padovani, Luca; Tuosto, E; Dezani-Ciancaglini, Mariangiola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities | 1-gen-2016 | Bonifaci, V.; Brandenburg, B.; D'Angelo, G; Marchetti-Spaccamela, A. | |
| How to Gather Asynchronous Oblivious Robots on Anonymous Rings | 1-gen-2012 | D'Angelo, G; Di Stefano, Gabriele; Navarra, Alfredo | |
| SRLG-Diverse Routing with the Star Property | 1-gen-2013 | Bermond, Jean-Claude; Coudert, David; D'Angelo, G; Moataz, Zahra | |
| Greedily improving our own centrality in a network | 1-gen-2015 | Crescenzi, P.; D'Angelo, G; Severini, L.; Velaj, Y. | |
| Gathering and exclusive searching on rings under minimal assumptions | 1-gen-2014 | D'Angelo, G; Navarra, A.; Nisse, N. | |
| Air shower detection by the ARGO-YBJ experiment | 1-gen-2005 | Bernardini, P.; De Mitri, I.; Marsella, G.; Martello, D.; Pino, C.; Surdo, A. | |
| Improved approximation results for the Minimum Energy Broadcasting Problem | 1-gen-2004 | Flammini, M; Klasing, R.; Navarra, A.; Perennes, S. | |
| What are the arguments against future electron positron colliders for flavour physics | 1-gen-2006 | Ferroni, F. | |
| Architectural Models of Ambient-PRISMA in Channel Ambient Calculus | 1-gen-2011 | Ali, Nour; Tuosto, E | |
| Amending Contracts for Choreographies | 1-gen-2011 | Bocchi, Laura; Lange, Julien; Tuosto, E | |
| On the Realizability of Contracts in Dishonest Systems | 1-gen-2012 | Bartoletti, Massimo; Tuosto, E; Zunino, Roberto | |
| Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations | 1-gen-2012 | Poyias, Kyriakos; Tuosto, E | |
| Synthesising Choreographies from Local Session Types | 1-gen-2012 | Lange, Julien; Tuosto, E | |
| On Nominal Regular Languages with Binders | 1-gen-2012 | Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E | |
| An Abstract Semantics of the Global View of Choreographies | 1-gen-2016 | Guanciale, Roberto; Tuosto, E | |
| On Recovering from Run-time Misbehaviour in ADR | 1-gen-2013 | Poyias, Kyriakos; Tuosto, E | |
| Honesty by Typing | 1-gen-2013 | Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, Roberto | |
| From Orchestration to Choreography through Contract Automata | 1-gen-2014 | Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E | |
| A Complete Characterization of the Path Layout Construction Problem for ATM Networks with Given Hop Count and Load | 1-gen-1997 | Eilam, T; Flammini, Michele; Zaks, S. | |
| On Sessions and Infinite Data | 1-gen-2016 | Severi, Paula; Padovani, Luca; Tuosto, E; Dezani-Ciancaglini, Mariangiola |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.141 a 1.160 di 1.389
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
- 4 Contributo in Atti di Convegno ...1389
Data di pubblicazione
- 2020 - 2026492
- 2010 - 2019632
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE37
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE42
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng791
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1182
- open101
- reserved96
- partially open10