Sfoglia per Rivista JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Mostrati risultati da 1 a 5 di 5
Algorithms for hierarchical and semi-partitioned parallel scheduling
2021-01-01 Bonifaci, V.; D'Angelo, G.; Marchetti-Spaccamela, A.
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2019-01-01 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Model-checking for Resource-Bounded ATL with production and consumption of resources
2017-01-01 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.
Synchronous context-free grammars and optimal linear parsing strategies
2015-01-01 Crescenzi, Pierluigi; Gildea, Daniel; Marino, Andrea; Rossi, Gianluca; Satta, Giorgio
What can be verified locally?
2018-01-01 Balliu, Alkida; D'Angelo, G; Pierre, Fraigniaud; Olivetti, Dennis
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Algorithms for hierarchical and semi-partitioned parallel scheduling | 1-gen-2021 | Bonifaci, V.; D'Angelo, G.; Marchetti-Spaccamela, A. | |
| Automated Synthesis of Application-layer Connectors from Automata-based Specifications | 1-gen-2019 | Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo | |
| Model-checking for Resource-Bounded ATL with production and consumption of resources | 1-gen-2017 | Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F. | |
| Synchronous context-free grammars and optimal linear parsing strategies | 1-gen-2015 | Crescenzi, Pierluigi; Gildea, Daniel; Marino, Andrea; Rossi, Gianluca; Satta, Giorgio | |
| What can be verified locally? | 1-gen-2018 | Balliu, Alkida; D'Angelo, G; Pierre, Fraigniaud; Olivetti, Dennis |
Mostrati risultati da 1 a 5 di 5
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