Viviana Bono - RankMe

69 papers A* 1A 6B 6C 2Misc 2Journal 25Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Open compliance in multiparty sessions with partial typing. J. Log. Algebraic Methods Program. Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini
2025	J	`jnl`	Partially typed multiparty sessions with internal delegation. J. Log. Algebraic Methods Program. Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini
2024	—	`conf`	Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. FM (1) Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
2024	J	`jnl`	Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. CoRR Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
2023	—	`conf`	Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
2022	J	`jnl`	Local Multi-Head Channel Self-Attention for Facial Expression Recognition. Inf. Roberto Pecoraro, Valerio Basile, Viviana Bono
2021	J	`jnl`	Local Multi-Head Channel Self-Attention for Facial Expression Recognition. CoRR Roberto Pecoraro, Valerio Basile, Viviana Bono, Sara Gallo
2020	A*	`conf`	A tale of intersection types. LICS Viviana Bono, Mariangiola Dezani-Ciancaglini
2020	J	`jnl`	GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers. CoRR Fabio Massimo Zanzotto, Viviana Bono, Paola Vocca, Andrea Santilli, Danilo Croce, Giorgio Gambosi, Roberto Basili
2020	A	`conf`	Soundness Conditions for Big-Step Semantics. ESOP Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
2020	J	`jnl`	Soundness conditions for big-step semantics. CoRR Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
2019	J	`jnl`	The Magda Language: Ten Years After. Fundam. Informaticae Viviana Bono
2018	J	`jnl`	Java & Lambda: a Featherweight Story. CoRR Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri
2018	J	`jnl`	Java & Lambda: a Featherweight Story. Log. Methods Comput. Sci. Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2017	J	`jnl`	Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2016	J	`jnl`	Behavioral Types in Programming Languages. Found. Trends Program. Lang. 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
2014	—	`conf`	Lucretia - intersection type polymorphism for scripting languages. ITRS Marcin Benke, Viviana Bono, Aleksy Schubert
2014	—	`conf`	Trait-oriented programming in Java 8. PPPJ Viviana Bono, Enrico Mensa, Marco Naddeo
2013	—	`conf`	Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. FMOODS/FORTE Viviana Bono, Luca Padovani, Andrea Tosatto
2012	J	`jnl`	Lucretia - a type system for objects in languages with reflection CoRR Viviana Bono, Marcin Benke, Aleksy Schubert
2012	A	`conf`	Magda: A New Language for Modularity. ECOOP Viviana Bono, Jarek Kusmierek, Mauro Mulatero
2012	J	`jnl`	Typing Copyless Message Passing Log. Methods Comput. Sci. Viviana Bono, Luca Padovani
2011	—	`conf`	A Reputation System for Multirole Sessions. TGC Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2011	J	`jnl`	Delegation by object composition. Sci. Comput. Program. Lorenzo Bettini, Viviana Bono, Betti Venneri
2011	—	`conf`	Polymorphic Endpoint Types for Copyless Message Passing ICE Viviana Bono, Luca Padovani
2011	A	`conf`	Typing Copyless Message Passing. ESOP Viviana Bono, Chiara Messa, Luca Padovani
2010	J	`jnl`	Big-step Operational Semantics Revisited. Fundam. Informaticae Jaroslaw D. M. Kusmierek, Viviana Bono
2010	B	`conf`	Delta-Oriented Programming of Software Product Lines. SPLC Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella
2009	A	`conf`	I-Java: An Extension of Java with Incomplete Objects and Object Composition. SC Lorenzo Bettini, Viviana Bono, Erica Turin
2008	—	`conf`	A trait based re-engineering technique for Java hierarchies. PPPJ Lorenzo Bettini, Viviana Bono, Marco Naddeo
2008	J	`jnl`	A typed lambda calculus with intersection types. Theor. Comput. Sci. Viviana Bono, Betti Venneri, Lorenzo Bettini
2008	—	`conf`	Object Incompleteness and Dynamic Composition in Java-Like Languages. TOOLS (46) Lorenzo Bettini, Viviana Bono, Betti Venneri
2008	—	`conf`	On Traits and Types in a Java-like Setting. IFIP TCS Viviana Bono, Ferruccio Damiani, Elena Giachino
2008	—	`conf`	Type safe dynamic object delegation in class-based languages. PPPJ Lorenzo Bettini, Viviana Bono
2007	B	`conf`	FJMIP: A Calculus for a Modular Object Initialization. FCT Viviana Bono, Jaroslaw D. M. Kusmierek
2007	J	`jnl`	Hygienic methods Ñ Introducing HygJava. J. Object Technol. Jaroslaw D. M. Kusmierek, Viviana Bono
2007	J	`jnl`	Modularizing constructors. J. Object Technol. Viviana Bono, Jaroslaw D. M. Kusmierek
2005	J	`jnl`	MOMI: a calculus for mobile mixins. Acta Informatica Lorenzo Bettini, Betti Venneri, Viviana Bono
2005	—	`ed.`	Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004 WOOD Viviana Bono, Michele Bugliesi, Sophia Drossopoulou
2005	—	`conf`	Safe Object Composition in the Presence of Subtyping. ICTCS Lorenzo Bettini, Viviana Bono, Silvia Likavec
2005	J	`jnl`	Safe and Flexible Objects with Subtyping. J. Object Technol. Lorenzo Bettini, Viviana Bono, Silvia Likavec
2005	Misc	`conf`	Safe and flexible objects. SAC Lorenzo Bettini, Viviana Bono, Silvia Likavec
2004	Misc	`conf`	A core calculus of higher-order mixins and classes. SAC Lorenzo Bettini, Viviana Bono, Silvia Likavec
2004	—	`conf`	A core calculus of mixins and incomplete objects. OOPSLA Companion Lorenzo Bettini, Viviana Bono, Silvia Likavec
2004	C	`conf`	O'Klaim: A Coordination Language with Mobile Mixins. COORDINATION Lorenzo Bettini, Viviana Bono, Betti Venneri
2004	—	`conf`	Preface. WOOD Viviana Bono, Michele Bugliesi, Sophia Drossopoulou
2004	—	`conf`	Subtyping-Inheritance Conflicts: The Mobile Mixin Case. IFIP TCS Lorenzo Bettini, Viviana Bono, Betti Venneri
2003	—	`conf`	A Core Calculus of Higher-Order Mixins and Classes. TYPES Lorenzo Bettini, Viviana Bono, Silvia Likavec
2003	—	`conf`	Extensible Objects: A Tutorial. Global Computing Viviana Bono
2003	—	`conf`	First Workshop on Object Oriented Developments - Preface. WOOD Viviana Bono, Michele Bugliesi
2003	—	`conf`	The Klaim Project: Theory and Practice. Global Computing Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2003	—	`conf`	Type Inference for Nested Self Types. TYPES Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn
2003	—	`ed.`	Workshop on Object Oriented Developments, WOOD 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 13, 2003 WOOD Viviana Bono, Michele Bugliesi
2002	—	`conf`	A Calculus for "Environment-Aware" Computation. F-WAN@ICALP Viviana Bono, Ferruccio Damiani, Paola Giannini
2002	C	`conf`	Coordinating Mobile Object-Oriented Code. COORDINATION Lorenzo Bettini, Viviana Bono, Betti Venneri
2002	J	`jnl`	Products and Polymorphic Subtypes. Fundam. Informaticae Viviana Bono, Jerzy Tiuryn
2002	J	`jnl`	Typed interpretations of extensible objects. ACM Trans. Comput. Log. Viviana Bono, Michele Bugliesi, Silvia Crafa
2001	—	`conf`	A CuCh Interpretation of an Object-Oriented Language. BOTH Viviana Bono, Ivano Salvo
2001	—	`conf`	Towards Object-Oriented Klaim. TOSCA Lorenzo Bettini, Viviana Bono, Betti Venneri
1999	A	`conf`	A Core Calculus of Classes and Mixins. ECOOP Viviana Bono, Amit Patel, Vitaly Shmatikov
1999	B	`conf`	A Core Calculus of Classes and Objects. MFPS Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov
1999	J	`jnl`	A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
1999	B	`conf`	Interpretations of Extensible Objects and Types. FCT Viviana Bono, Michele Bugliesi
1999	J	`jnl`	Matching for the lambda Calculus of Objects. Theor. Comput. Sci. Viviana Bono, Michele Bugliesi
1998	A	`conf`	An Imperative, First-Order Calculus with Object Extension. ECOOP Viviana Bono, Kathleen Fisher
1997	—	`conf`	Matching Constraints for the Lambda Calculus of Objects. TLCA Viviana Bono, Michele Bugliesi
1997	—	`conf`	Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
1996	B	`conf`	A Lambda Calculus of Incomplete Objects. MFCS Viviana Bono, Michele Bugliesi, Luigi Liquori
1994	B	`conf`	A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL Viviana Bono, Luigi Liquori