Sfoglia per Serie
Characterizing Social Bots Spreading Financial Disinformation
2020-01-01 Tardelli, S; Avvenuti, M; Tesconi, M; Cresci, S
Compressed Cache-Oblivious String B-tree
2013-01-01 Ferragina, Paolo; Venturini, Rossano
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods
2014-01-01 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
Computing preimages and ancestors in reaction systems
2018-01-01 Barbuti, Roberto; Bernasconi, Anna; Gori, Roberta; Milazzo, Paolo
Constructing specific SOS semantics for concurrency via abstract interpretation
1998-01-01 Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
Data-driven job dispatching in HPC systems
2018-01-01 Galleguillos, Cristian; Sirbu, Alina; Kiziltan, Zeynep; Babaoglu, Ozalp; Borghesi, Andrea; Bridi, Thomas
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers
2023-01-01 Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S.
An efficient verifier of truly concurrent properties
1995-01-01 Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado
Enhanced Operational Semantics in Systems Biology
2003-01-01 Degano, Pierpaolo; Priami, Corrado
Experimenting with a Context-Aware Language
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Exploiting Adjoints in Property Directed Reachability Analysis
2023-01-01 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Extending soft arc consistency algorithms to non-invertible semirings
2010-01-01 Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco
Feedbacks and oscillations in the virtual cell VICE
2006-01-01 D., Chiarugi; M., Chinellato; Degano, Pierpaolo; G., LO BRUTTO; Marangoni, Roberto
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
2019-01-01 ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura
Gathering of Asynchronous Oblivious Robots With Limited Visibility
2001-01-01 Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter
Going beyond GDP to nowcast Well-Being using retail market data
2016-01-01 Guidotti, Riccardo; Coscia, Michele; Pedreschi, Dino; Pennacchioli, Diego
Helping your Docker images to spread based on explainable models
2019-01-01 Guidotti, Riccardo; Soldani, Jacopo; Neri, Davide; Brogi, Antonio; Pedreschi, Dino
A high-level model checking language with compile-time pruning of local variables
2016-01-01 Pardini, Giovanni; Milazzo, Paolo
Highlighting some shortcomings of the CoCoA+ congestion control algorithm
2017-01-01 Bolettieri, Simone; Vallati, Carlo; Tanganelli, Giacomo; Mingozzi, Enzo
Industry 4.0 Technologies and Italian Urban System: Between Smart Development and Increasing Inequalities
2022-01-01 Lazzeroni, Michela; Zamperlin, Paola
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Characterizing Social Bots Spreading Financial Disinformation | 1-gen-2020 | Tardelli, S; Avvenuti, M; Tesconi, M; Cresci, S | |
Compressed Cache-Oblivious String B-tree | 1-gen-2013 | Ferragina, Paolo; Venturini, Rossano | |
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods | 1-gen-2014 | Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni | |
Computing preimages and ancestors in reaction systems | 1-gen-2018 | Barbuti, Roberto; Bernasconi, Anna; Gori, Roberta; Milazzo, Paolo | |
Constructing specific SOS semantics for concurrency via abstract interpretation | 1-gen-1998 | Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado | |
Data-driven job dispatching in HPC systems | 1-gen-2018 | Galleguillos, Cristian; Sirbu, Alina; Kiziltan, Zeynep; Babaoglu, Ozalp; Borghesi, Andrea; Bridi, Thomas | |
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers | 1-gen-2023 | Gustafson, J. L.; Cococcioni, M.; Rossi, F.; Ruffaldi, E.; Saponara, S. | |
An efficient verifier of truly concurrent properties | 1-gen-1995 | Bianchi, Alessandro; Coluccini, Stefano; Degano, Pierpaolo; Priami, Corrado | |
Enhanced Operational Semantics in Systems Biology | 1-gen-2003 | Degano, Pierpaolo; Priami, Corrado | |
Experimenting with a Context-Aware Language | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
Exploiting Adjoints in Property Directed Reachability Analysis | 1-gen-2023 | Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I. | |
Extending soft arc consistency algorithms to non-invertible semirings | 1-gen-2010 | Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco | |
Feedbacks and oscillations in the virtual cell VICE | 1-gen-2006 | D., Chiarugi; M., Chinellato; Degano, Pierpaolo; G., LO BRUTTO; Marangoni, Roberto | |
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday | 1-gen-2019 | ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura | |
Gathering of Asynchronous Oblivious Robots With Limited Visibility | 1-gen-2001 | Flocchini, Paola; Prencipe, Giuseppe; Santoro, Nicola; Widmayer, Peter | |
Going beyond GDP to nowcast Well-Being using retail market data | 1-gen-2016 | Guidotti, Riccardo; Coscia, Michele; Pedreschi, Dino; Pennacchioli, Diego | |
Helping your Docker images to spread based on explainable models | 1-gen-2019 | Guidotti, Riccardo; Soldani, Jacopo; Neri, Davide; Brogi, Antonio; Pedreschi, Dino | |
A high-level model checking language with compile-time pruning of local variables | 1-gen-2016 | Pardini, Giovanni; Milazzo, Paolo | |
Highlighting some shortcomings of the CoCoA+ congestion control algorithm | 1-gen-2017 | Bolettieri, Simone; Vallati, Carlo; Tanganelli, Giacomo; Mingozzi, Enzo | |
Industry 4.0 Technologies and Italian Urban System: Between Smart Development and Increasing Inequalities | 1-gen-2022 | Lazzeroni, Michela; Zamperlin, Paola |
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