default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDViviana Bono
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j19]Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini:
Partially typed multiparty sessions with internal delegation. J. Log. Algebraic Methods Program. 142: 101018 (2025)- [j18]Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini:
Open compliance in multiparty sessions with partial typing. J. Log. Algebraic Methods Program. 144: 101046 (2025) - 2024
- [c42]Iacopo Colonnelli
, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci:
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. FM (1) 2024: 226-244 - [i6]Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci:
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. CoRR abs/2407.01838 (2024) - 2023
- [c41]Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido:
Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP 2023: 32-38 - 2022
- [j17]Roberto Pecoraro, Valerio Basile, Viviana Bono:
Local Multi-Head Channel Self-Attention for Facial Expression Recognition. Inf. 13(9): 419 (2022) - 2021
- [i5]Roberto Pecoraro, Valerio Basile, Viviana Bono, Sara Gallo:
Local Multi-Head Channel Self-Attention for Facial Expression Recognition. CoRR abs/2111.07224 (2021) - 2020
- [c40]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness Conditions for Big-Step Semantics. ESOP 2020: 169-196 - [c39]Viviana Bono, Mariangiola Dezani-Ciancaglini:
A tale of intersection types. LICS 2020: 7-20 - [i4]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness conditions for big-step semantics. CoRR abs/2002.08738 (2020) - [i3]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 abs/2003.04996 (2020)
2010 – 2019
- 2019
- [j16]Viviana Bono:
The Magda Language: Ten Years After. Fundam. Informaticae 170(1-3): 15-38 (2019) - 2018
- [j15]Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri:
Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. 14(3) (2018) - [i2]Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Java & Lambda: a Featherweight Story. CoRR abs/1801.05052 (2018) - 2017
- [j14]Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90: 31-49 (2017) - 2016
- [j13]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): 95-230 (2016) - 2014
- [c38]Viviana Bono, Enrico Mensa, Marco Naddeo:
Trait-oriented programming in Java 8. PPPJ 2014: 181-186 - [c37]Marcin Benke, Viviana Bono, Aleksy Schubert:
Lucretia - intersection type polymorphism for scripting languages. ITRS 2014: 65-78 - 2013
- [c36]Viviana Bono, Luca Padovani, Andrea Tosatto:
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. FMOODS/FORTE 2013: 83-98 - 2012
- [j12]Viviana Bono, Luca Padovani:
Typing Copyless Message Passing. Log. Methods Comput. Sci. 8(1) (2012) - [c35]Viviana Bono, Jarek Kusmierek, Mauro Mulatero:
Magda: A New Language for Modularity. ECOOP 2012: 560-588 - [i1]Viviana Bono, Marcin Benke, Aleksy Schubert:
Lucretia - a type system for objects in languages with reflection. CoRR abs/1206.5112 (2012) - 2011
- [j11]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Delegation by object composition. Sci. Comput. Program. 76(11): 992-1014 (2011) - [c34]Viviana Bono, Chiara Messa, Luca Padovani:
Typing Copyless Message Passing. ESOP 2011: 57-76 - [c33]Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
A Reputation System for Multirole Sessions. TGC 2011: 1-24 - [c32]Viviana Bono, Luca Padovani:
Polymorphic Endpoint Types for Copyless Message Passing. ICE 2011: 52-67 - 2010
- [j10]Jaroslaw D. M. Kusmierek, Viviana Bono:
Big-step Operational Semantics Revisited. Fundam. Informaticae 103(1-4): 137-172 (2010) - [c31]Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella:
Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91
2000 – 2009
- 2009
- [c30]Lorenzo Bettini, Viviana Bono, Erica Turin:
I-Java: An Extension of Java with Incomplete Objects and Object Composition. SC@TOOLS 2009: 27-44 - 2008
- [j9]Viviana Bono, Betti Venneri, Lorenzo Bettini:
A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008) - [c29]Viviana Bono, Ferruccio Damiani, Elena Giachino:
On Traits and Types in a Java-like Setting. IFIP TCS 2008: 367-382 - [c28]Lorenzo Bettini, Viviana Bono, Marco Naddeo:
A trait based re-engineering technique for Java hierarchies. PPPJ 2008: 149-158 - [c27]Lorenzo Bettini, Viviana Bono:
Type safe dynamic object delegation in class-based languages. PPPJ 2008: 171-180 - [c26]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) 2008: 198-217 - 2007
- [j8]Jaroslaw D. M. Kusmierek, Viviana Bono:
Hygienic methods Ñ Introducing HygJava. J. Object Technol. 6(9): 209-229 (2007) - [j7]Viviana Bono, Jaroslaw D. M. Kusmierek:
Modularizing constructors. J. Object Technol. 6(9): 297-397 (2007) - [c25]Viviana Bono, Jaroslaw D. M. Kusmierek:
FJMIP: A Calculus for a Modular Object Initialization. FCT 2007: 100-112 - 2005
- [j6]Lorenzo Bettini, Betti Venneri, Viviana Bono:
MOMI: a calculus for mobile mixins. Acta Informatica 42(2-3): 143-190 (2005) - [j5]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
Safe and Flexible Objects with Subtyping. J. Object Technol. 4(10): 5-29 (2005) - [c24]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
Safe Object Composition in the Presence of Subtyping. ICTCS 2005: 128-142 - [c23]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
Safe and flexible objects. SAC 2005: 1258-1263 - [e2]Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 138(2), Elsevier 2005 [contents] - 2004
- [c22]Lorenzo Bettini, Viviana Bono, Betti Venneri:
O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION 2004: 20-38 - [c21]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS 2004: 451-464 - [c20]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
A core calculus of mixins and incomplete objects. OOPSLA Companion 2004: 208-209 - [c19]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
A core calculus of higher-order mixins and classes. SAC 2004: 1508-1509 - [c18]Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
Preface. WOOD 2004: 1-2 - 2003
- [c17]Viviana Bono:
Extensible Objects: A Tutorial. Global Computing 2003: 57-87 - [c16]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: 88-150 - [c15]Lorenzo Bettini, Viviana Bono, Silvia Likavec:
A Core Calculus of Higher-Order Mixins and Classes. TYPES 2003: 83-98 - [c14]Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn:
Type Inference for Nested Self Types. TYPES 2003: 99-114 - [c13]Viviana Bono, Michele Bugliesi:
First Workshop on Object Oriented Developments - Preface. WOOD 2003: 151-152 - [e1]Viviana Bono, Michele Bugliesi:
Workshop on Object Oriented Developments, WOOD 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 13, 2003. Electronic Notes in Theoretical Computer Science 82(8), Elsevier 2003 [contents] - 2002
- [j4]Viviana Bono, Jerzy Tiuryn:
Products and Polymorphic Subtypes. Fundam. Informaticae 51(1-2): 13-41 (2002) - [j3]Viviana Bono, Michele Bugliesi, Silvia Crafa:
Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002) - [c12]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71 - [c11]Viviana Bono, Ferruccio Damiani, Paola Giannini:
A Calculus for "Environment-Aware" Computation. F-WAN@ICALP 2002: 98-115 - 2001
- [c10]Lorenzo Bettini, Viviana Bono, Betti Venneri:
Towards Object-Oriented Klaim. TOSCA 2001: 38-51 - [c9]Viviana Bono, Ivano Salvo:
A CuCh Interpretation of an Object-Oriented Language. BOTH 2001: 159-177
1990 – 1999
- 1999
- [j2]Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori:
A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae 38(4): 325-364 (1999) - [j1]Viviana Bono, Michele Bugliesi:
Matching for the lambda Calculus of Objects. Theor. Comput. Sci. 212(1-2): 101-140 (1999) - [c8]Viviana Bono, Amit Patel, Vitaly Shmatikov:
A Core Calculus of Classes and Mixins. ECOOP 1999: 43-66 - [c7]Viviana Bono, Michele Bugliesi:
Interpretations of Extensible Objects and Types. FCT 1999: 112-123 - [c6]Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov:
A Core Calculus of Classes and Objects. MFPS 1999: 28-49 - 1998
- [c5]Viviana Bono, Kathleen Fisher:
An Imperative, First-Order Calculus with Object Extension. ECOOP 1998: 462-497 - 1997
- [c4]Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori:
Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477 - [c3]Viviana Bono, Michele Bugliesi:
Matching Constraints for the Lambda Calculus of Objects. TLCA 1997: 46-62 - 1996
- [c2]Viviana Bono, Michele Bugliesi, Luigi Liquori:
A Lambda Calculus of Incomplete Objects. MFCS 1996: 218-229 - 1994
- [c1]Viviana Bono, Luigi Liquori:
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL 1994: 16-30
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-05 21:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
