Viviana Bono

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 13

Top Topics

Facial Expression Recognition

Scripting Languages

Scientific Workflows

Top Venues

J. Log. Algebraic Methods Program.

Found. Trends Program. Lang.

Publications

Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. CoRR (2024)
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP (2023)
Roberto Pecoraro, Valerio Basile, Viviana Bono
Local Multi-Head Channel Self-Attention for Facial Expression Recognition. Inf. 13 (9) (2022)
Roberto Pecoraro, Valerio Basile, Viviana Bono, Sara Gallo
Local Multi-Head Channel Self-Attention for Facial Expression Recognition. CoRR (2021)
Viviana Bono, Mariangiola Dezani-Ciancaglini
A tale of intersection types. LICS (2020)
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Soundness conditions for big-step semantics. CoRR (2020)
Fabio Massimo Zanzotto, Viviana Bono, Paola Vocca, Andrea Santilli, Danilo Croce, Giorgio Gambosi, Roberto Basili
GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers. CoRR (2020)
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Soundness Conditions for Big-Step Semantics. ESOP (2020)
Viviana Bono
The Magda Language: Ten Years After. Fundam. Informaticae 170 (1-3) (2019)
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14 (3) (2018)
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri
Java & Lambda: a Featherweight Story. CoRR (2018)
Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90 (2017)
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Viviana Bono, Enrico Mensa, Marco Naddeo
Trait-oriented programming in Java 8. PPPJ (2014)
Marcin Benke, Viviana Bono, Aleksy Schubert
Lucretia - intersection type polymorphism for scripting languages. ITRS (2014)
Viviana Bono, Luca Padovani, Andrea Tosatto
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. FMOODS/FORTE (2013)
Viviana Bono, Jarek Kusmierek, Mauro Mulatero
Magda: A New Language for Modularity. ECOOP (2012)
Viviana Bono, Marcin Benke, Aleksy Schubert
Lucretia - a type system for objects in languages with reflection CoRR (2012)
Viviana Bono, Luca Padovani
Typing Copyless Message Passing Log. Methods Comput. Sci. 8 (1) (2012)
Viviana Bono, Luca Padovani
Polymorphic Endpoint Types for Copyless Message Passing ICE (2011)
Viviana Bono, Chiara Messa, Luca Padovani
Typing Copyless Message Passing. ESOP (2011)
Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
A Reputation System for Multirole Sessions. TGC (2011)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Delegation by object composition. Sci. Comput. Program. 76 (11) (2011)
Jaroslaw D. M. Kusmierek, Viviana Bono
Big-step Operational Semantics Revisited. Fundam. Informaticae 103 (1-4) (2010)
Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella
Delta-Oriented Programming of Software Product Lines. SPLC (2010)
Lorenzo Bettini, Viviana Bono, Erica Turin
I-Java: An Extension of Java with Incomplete Objects and Object Composition. SC@TOOLS (2009)
Lorenzo Bettini, Viviana Bono, Marco Naddeo
A trait based re-engineering technique for Java hierarchies. PPPJ (2008)
Lorenzo Bettini, Viviana Bono
Type safe dynamic object delegation in class-based languages. PPPJ (2008)
Viviana Bono, Betti Venneri, Lorenzo Bettini
A typed lambda calculus with intersection types. Theor. Comput. Sci. 398 (1-3) (2008)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) (2008)
Viviana Bono, Ferruccio Damiani, Elena Giachino
On Traits and Types in a Java-like Setting. IFIP TCS (2008)
Viviana Bono, Jaroslaw D. M. Kusmierek
Modularizing constructors. J. Object Technol. 6 (9) (2007)
Viviana Bono, Jaroslaw D. M. Kusmierek
FJMIP: A Calculus for a Modular Object Initialization. FCT (2007)
Jaroslaw D. M. Kusmierek, Viviana Bono
Hygienic methods Ñ Introducing HygJava. J. Object Technol. 6 (9) (2007)
Lorenzo Bettini, Betti Venneri, Viviana Bono
MOMI: a calculus for mobile mixins. Acta Informatica 42 (2-3) (2005)
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Safe Object Composition in the Presence of Subtyping. ICTCS (2005)
Viviana Bono, Michele Bugliesi, Sophia Drossopoulou
Preface. Electron. Notes Theor. Comput. Sci. 138 (2) (2005)
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Safe and Flexible Objects with Subtyping. J. Object Technol. 4 (10) (2005)
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Safe and flexible objects. SAC (2005)
Lorenzo Bettini, Viviana Bono, Silvia Likavec
A core calculus of mixins and incomplete objects. OOPSLA Companion (2004)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS (2004)
Lorenzo Bettini, Viviana Bono, Silvia Likavec
A core calculus of higher-order mixins and classes. SAC (2004)
Lorenzo Bettini, Viviana Bono, Betti Venneri
O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION (2004)
Viviana Bono, Michele Bugliesi
First Workshop on Object Oriented Developments - Preface. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
The Klaim Project: Theory and Practice. Global Computing (2003)
Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn
Type Inference for Nested Self Types. TYPES (2003)
Viviana Bono
Extensible Objects: A Tutorial. Global Computing (2003)
Lorenzo Bettini, Viviana Bono, Silvia Likavec
A Core Calculus of Higher-Order Mixins and Classes. TYPES (2003)
Viviana Bono, Jerzy Tiuryn
Products and Polymorphic Subtypes. Fundam. Informaticae 51 (1-2) (2002)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Coordinating Mobile Object-Oriented Code. COORDINATION (2002)
Viviana Bono, Ferruccio Damiani, Paola Giannini
A Calculus for "Environment-Aware" Computation. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Viviana Bono, Michele Bugliesi, Silvia Crafa
Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3 (4) (2002)
Lorenzo Bettini, Viviana Bono, Betti Venneri
Towards Object-Oriented Klaim. Electron. Notes Theor. Comput. Sci. 62 (2001)
Viviana Bono, Ivano Salvo
A CuCh Interpretation of an Object-Oriented Language. Electron. Notes Theor. Comput. Sci. 50 (2) (2001)
Viviana Bono, Michele Bugliesi
Matching for the lambda Calculus of Objects. Theor. Comput. Sci. 212 (1-2) (1999)
Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov
A Core Calculus of Classes and Objects. MFPS (1999)
Viviana Bono, Michele Bugliesi
Interpretations of Extensible Objects and Types. FCT (1999)
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae 38 (4) (1999)
Viviana Bono, Amit Patel, Vitaly Shmatikov
A Core Calculus of Classes and Mixins. ECOOP (1999)
Viviana Bono, Kathleen Fisher
An Imperative, First-Order Calculus with Object Extension. ECOOP (1998)
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT (1997)
Viviana Bono, Michele Bugliesi
Matching Constraints for the Lambda Calculus of Objects. TLCA (1997)
Viviana Bono, Michele Bugliesi, Luigi Liquori
A Lambda Calculus of Incomplete Objects. MFCS (1996)
Viviana Bono, Luigi Liquori
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL (1994)