PAUTASSO, DANIELE
PAUTASSO, DANIELE
INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.012 secondi).
A Quantitative Version of Simple Types
2023-01-01 Daniele Pautasso; Simona Ronchi Della Rocca
DAO-ML to Solidity: A Scalable Code Generation Approach for Decentralized Autonomous Organization Development
2025-01-01 Avanzo S.; Ottina M.; Pautasso D.; Domenicale I.; Norta A.; Schifanella C.
Higher Order Bayesian Networks, Exactly
2024-01-01 Faggian, Claudia; Pautasso, Daniele; Vanoni, Gabriele
Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions
2024-01-01 Andrej Dudenhefner; Daniele Pautasso
Types that Count: a Journey across Qualitative and Quantitative Intersection Type Disciplines
2025-05-27
Types that Count: a Journey across Qualitative and Quantitative Intersection Type Disciplines
2025-01-01 Daniele Pautasso
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Quantitative Version of Simple Types | 2023 | Daniele Pautasso; Simona Ronchi Della Rocca | |
| DAO-ML to Solidity: A Scalable Code Generation Approach for Decentralized Autonomous Organization Development | 2025 | Avanzo S.; Ottina M.; Pautasso D.; Domenicale I.; Norta A.; Schifanella C. | |
| Higher Order Bayesian Networks, Exactly | 2024 | Faggian, Claudia; Pautasso, Daniele; Vanoni, Gabriele | |
| Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions | 2024 | Andrej Dudenhefner; Daniele Pautasso | |
| Types that Count: a Journey across Qualitative and Quantitative Intersection Type Disciplines | 2025 | - | |
| Types that Count: a Journey across Qualitative and Quantitative Intersection Type Disciplines | 2025 | Daniele Pautasso |