Concepedia

Viviana Bono

VB

14

Publications

374

Citations

13

H-Index

1999

Active since

Affiliations

University of Turin(Current)

University of Florence

University of Padua

Viviana Bono is an author at University of Turin specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisSoftware DesignSystem SoftwareSoftware Testing

Publications per year

1999–2022

14

Publications

14

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

Local Multi-Head Channel Self-Attention for Facial Expression Recognition

Roberto Pecoraro, Valerio Basile, Viviana Bono · Information · 2022 · 74 citations · Full text

Convolutional Neural Network, Engineering, Affective Neuroscience +20

Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse

Viviana Bono, Ferruccio Damiani, Elena Giachino · Institutional Research Information System University of Turin (University of Turin) · 2007 · 25 citations · Full text

Typing Copyless Message Passing

Viviana Bono, Luca Padovani · Logical Methods in Computer Science · 2012 · 25 citations · Full text

Engineering, Verification, Communication +18

A Subtyping for Extensible, Incomplete Objects

Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini et al. · Fundamenta Informaticae · 1999 · 18 citations

Engineering, Incomplete Objects, Incompleteness +11

Rows per page

1–5 of 14