Ivan Scagnetto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
2001–2023
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICIAP | Real-Time GAN-Based Model for Underwater Image Enhancement. | Danilo Avola, Irene Cannistraci, Marco Cascio, Luigi Cinque, Anxhelo Diko, Damiano Distante, Gian Luca Foresti, Alessio Mecca, Ivan Scagnetto |
| 2018 | LPAR | The involutions-as-principal types/application-as-unification Analogy. | Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto |
| 2016 | APLAS | Implementing Cantor's Paradise. | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
| 2016 | ECIR | Exploiting News to Categorize Tweets: Quantifying the Impact of Different News Collections. | Marco Pavan, Stefano Mizzaro, Matteo Bernardon, Ivan Scagnetto |
| 2015 | ECIR | Content-Based Similarity of Twitter Users. | Stefano Mizzaro, Marco Pavan, Ivan Scagnetto |
| 2015 | MDM | Finding Important Locations: A Feature-Based Approach. | Marco Pavan, Stefano Mizzaro, Ivan Scagnetto, Andrea Beggiato |
| 2014 | MFCS | L ax F: Side Conditions and External Evidence as Monads. | Furio Honsell, Luigi Liquori, Ivan Scagnetto |
| 2014 | SIGIR | Short text categorization exploiting contextual enrichment and external knowledge. | Stefano Mizzaro, Marco Pavan, Ivan Scagnetto, Martino Valenti |
| 2008 | ECAI | AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. | Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena |
| 2008 | LPAR | A Conditional Logical Framework. | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
| 2005 | ICFP | Translating specifications from nominal logic to CIC with the theory of contexts. | Marino Miculan, Ivan Scagnetto, Furio Honsell |
| 2003 | PPDP | A framework for typed HOAS and semantics. | Marino Miculan, Ivan Scagnetto |
| 2001 | ICALP | An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. | Furio Honsell, Marino Miculan, Ivan Scagnetto |
| 2001 | VRST | Is semitransparency useful for navigating virtual environments?. | Luca Chittaro, Ivan Scagnetto |