Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
2012-01-01 Poyias, Kyriakos; Tuosto, E
On Nominal Regular Languages with Binders
2012-01-01 Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E
Synthesising Choreographies from Local Session Types
2012-01-01 Lange, Julien; 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
An Abstract Semantics of the Global View of Choreographies
2016-01-01 Guanciale, Roberto; Tuosto, E
From Orchestration to Choreography through Contract Automata
2014-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E
On Sessions and Infinite Data
2016-01-01 Severi, Paula; Padovani, Luca; Tuosto, E; Dezani-Ciancaglini, Mariangiola
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.
Influence maximization in the independent cascade model
2016-01-01 D'Angelo, G; Severini, L.; Velaj, Y.
Analysis of Oscillations and Defect measures in plasma physics
2014-01-01 Donatelli, Donatella; Marcati, Pierangelo
Engineering a new loop-free shortest paths routing algorithm
2012-01-01 D'Angelo, Gianlorenzo; M., D'Emidio; D., Frigioni; and V., Maurizio
Tool Supported Analysis of IoT
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, E
Realisability of Pomsets via Communicating Automata
2018-01-01 Guanciale, Roberto; Tuosto, E
Polytope joint Lyapunov functions for positive LSS
2013-01-01 Guglielmi, Nicola; Laglia, Linda; Protasov, Vladimir
The Complexity of Interval Routing on Random Graphs
1995-01-01 Flammini, M; MARCHETTI SPACCAMELA, A; VAN LEEUWEN, J
Approximating the Revenue Maximization Problem with Sharp Demands.
2014-01-01 Bilo', V.; Flammini, Michele; Monaco, Gianpiero
Simple and Efficient Routing Schemes for All-Optical Networks
1997-01-01 Flammini, M; C., SCHEIDELER M
km-DNF Formulae are Learnable under Product Distribution
1992-01-01 Flammini, M
Search for magnetic monopoles in the cosmic radiation with the MACRO detector at Gran Sasso
2001-01-01 DE MITRI, I.
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 ...1398
Data di pubblicazione
- 2020 - 2026500
- 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 SCIENCE43
- 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 fulltext1190
- open101
- reserved97
- partially open10