Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.121 a 1.140 di 1.401
A LTS Semantics of Ambients via Graph Synchronization with Mobility
2001-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Selecting nodes and buying links to maximize the information diffusion in a network
2017-01-01 D'Angelo, G; Severini, L.; Velaj, Y.
Computing Approximate Nash Equilibria in Network Congestion Games with Polynomially Decreasing Cost Functions
2015-01-01 Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
The Speed of Convergence in Congestion Games under Best-Response Dynamics
2008-01-01 A., Fanelli; Flammini, M; L., Moscardelli
Spectra of Astrophysical Particles at Ultra High Energy and the Auger Data
2014-01-01 Aloisio, R
From Co-algebraic Specifications to Implementation
2002-01-01 Ferrari, Luigi; Montanari, Ugo; Raggi, Roberto; Tuosto, E
The Klaim Project
2003-01-01 Bettini, Lorenzo; Bono, Viviana; Nicola, De; Ferrari, Luigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, E; Venneri, Betti
SHReQ
2005-01-01 Hirsch, Dan; Tuosto, E
Modelling Fusion Calculus using HD-Automata
2005-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E; Victor, Björn; Yemane, Kidane
Coordination Via Types in an Event-Based Framework
2007-01-01 Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Refactoring Long Running Transactions
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
From Theory to Practice in Transactional Composition of Web Services
2005-01-01 Bruni, Roberto; Ferrari, Luigi; Melgratti, C; Montanari, Ugo; Strollo, Daniele; Tuosto, E
Translating Orc Features into Petri Nets and the Join Calculus
2006-01-01 Bruni, Roberto; Melgratti, C; Tuosto, E
Synthesis of decentralized adaptors for concurrent and distributed component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo
Synchronized Hyperedge Replacement for Heterogeneous Systems
2005-01-01 Lanese, Ivan; Tuosto, E
Recoverable-Robust Timetables for Trains on Single-Line Corridors
2009-01-01 D'Angelo, G; G., DI STEFANO; A., Navarra
Partially dynamic concurrent update of distributed shortest paths
2007-01-01 D'Angelo, G; S., Cicerone; G., DI STEFANO; D., Frigioni
CP violation in B-physics
2005-01-01 Ferroni, Fernando
Deadlock-Free Interval Routing Schemes
1997-01-01 Flammini, M
Systolic Acyclic Orientations for Deadlock Prevention
1995-01-01 DI IANNI, M; Flammini, M; Flammini, R; Salomone, S
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A LTS Semantics of Ambients via Graph Synchronization with Mobility | 1-gen-2001 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
| Selecting nodes and buying links to maximize the information diffusion in a network | 1-gen-2017 | D'Angelo, G; Severini, L.; Velaj, Y. | |
| Computing Approximate Nash Equilibria in Network Congestion Games with Polynomially Decreasing Cost Functions | 1-gen-2015 | Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. | |
| The Speed of Convergence in Congestion Games under Best-Response Dynamics | 1-gen-2008 | A., Fanelli; Flammini, M; L., Moscardelli | |
| Spectra of Astrophysical Particles at Ultra High Energy and the Auger Data | 1-gen-2014 | Aloisio, R | |
| From Co-algebraic Specifications to Implementation | 1-gen-2002 | Ferrari, Luigi; Montanari, Ugo; Raggi, Roberto; Tuosto, E | |
| The Klaim Project | 1-gen-2003 | Bettini, Lorenzo; Bono, Viviana; Nicola, De; Ferrari, Luigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, E; Venneri, Betti | |
| SHReQ | 1-gen-2005 | Hirsch, Dan; Tuosto, E | |
| Modelling Fusion Calculus using HD-Automata | 1-gen-2005 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E; Victor, Björn; Yemane, Kidane | |
| Coordination Via Types in an Event-Based Framework | 1-gen-2007 | Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
| Refactoring Long Running Transactions | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
| From Theory to Practice in Transactional Composition of Web Services | 1-gen-2005 | Bruni, Roberto; Ferrari, Luigi; Melgratti, C; Montanari, Ugo; Strollo, Daniele; Tuosto, E | |
| Translating Orc Features into Petri Nets and the Join Calculus | 1-gen-2006 | Bruni, Roberto; Melgratti, C; Tuosto, E | |
| Synthesis of decentralized adaptors for concurrent and distributed component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo | |
| Synchronized Hyperedge Replacement for Heterogeneous Systems | 1-gen-2005 | Lanese, Ivan; Tuosto, E | |
| Recoverable-Robust Timetables for Trains on Single-Line Corridors | 1-gen-2009 | D'Angelo, G; G., DI STEFANO; A., Navarra | |
| Partially dynamic concurrent update of distributed shortest paths | 1-gen-2007 | D'Angelo, G; S., Cicerone; G., DI STEFANO; D., Frigioni | |
| CP violation in B-physics | 1-gen-2005 | Ferroni, Fernando | |
| Deadlock-Free Interval Routing Schemes | 1-gen-1997 | Flammini, M | |
| Systolic Acyclic Orientations for Deadlock Prevention | 1-gen-1995 | DI IANNI, M; Flammini, M; Flammini, R; Salomone, S |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.121 a 1.140 di 1.401
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 ...1401
Data di pubblicazione
- 2020 - 2026503
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- 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 SCIENCE44
- 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 PROCEEDINGS6
- 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
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1193
- open101
- reserved97
- partially open10