Sfoglia per Rivista DAGSTUHL REPORTS
Mostra risultati da 1 a 4 di 4
Analysis, Design, and Control of Predictable Interconnected Systems
2019-01-01 Agrawal, Kunal; Bini, Enrico; Stea, Giovanni
Categorical Methods at the Crossroads: Report from Dagstuhl Perspectives Workshop 14182
2014-01-01 Abramsky, S.; Baez, J.; Gadducci, Fabio; Winschel, V.
Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism: Artifact
2023-01-01 Zippo, Raffaele; Nikolaus, Paul; Stea, Giovanni
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)
2015-01-01 Abdulla, Parosh Aziz; Gadducci, Fabio; König, Barbara; Vafeiadis, Viktor
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Analysis, Design, and Control of Predictable Interconnected Systems | 1-gen-2019 | Agrawal, Kunal; Bini, Enrico; Stea, Giovanni | |
Categorical Methods at the Crossroads: Report from Dagstuhl Perspectives Workshop 14182 | 1-gen-2014 | Abramsky, S.; Baez, J.; Gadducci, Fabio; Winschel, V. | |
Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism: Artifact | 1-gen-2023 | Zippo, Raffaele; Nikolaus, Paul; Stea, Giovanni | |
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451) | 1-gen-2015 | Abdulla, Parosh Aziz; Gadducci, Fabio; König, Barbara; Vafeiadis, Viktor |
Mostra risultati da 1 a 4 di 4
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