Naviga IRIS

Sfoglia per Rivista

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 6 di 6

2021-01-01 Bonifaci, V.; D'Angelo, G.; Marchetti-Spaccamela, A.

2019-01-01 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo

2024-01-01 Bilò, Davide; D'Angelo, Gianlorenzo; Gualà, Luciano; Leucci, Stefano; Rossi, Mirko

2017-01-01 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.

2015-01-01 Crescenzi, Pierluigi; Gildea, Daniel; Marino, Andrea; Rossi, Gianluca; Satta, Giorgio

2018-01-01 Balliu, Alkida; D'Angelo, G; Pierre, Fraigniaud; Olivetti, Dennis

Titolo	Data di pubblicazione	Autore(i)
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
Blackout-tolerant temporal spanners	1-gen-2024	Bilò, Davide; D'Angelo, Gianlorenzo; Gualà, Luciano; Leucci, Stefano; Rossi, Mirko
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 6 di 6