Concepedia
Statistics
Publications
12
Citations
320
H-Index
Active since
1991
Affiliations
University of Turin(Current)
University of Florence
Institut national de recherche en sciences et technologies du numérique
Imperial College London
Polytechnic University of Turin
Sara Capecchi is an author at University of Turin specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware TestingCommunicationSoftware Design
Publications per year
1991–2018
Semicarbazide-sensitive amine oxidase activity (SSAO) of rat epididymal white adipose tissue
Laura Raimondi, R. Pirisino, G. Ignesti et al. · Biochemical Pharmacology · 1991 · 59 citations
Metabolic Syndrome, Oxysterol, Biochemistry +9
Global escape in multiparty sessions
Sara Capecchi, Elena Giachino, Nobuko Yoshida · Mathematical Structures in Computer Science · 2014 · 57 citations · Full text
Engineering, Default Execution, Program Analysis +14
A Social Network Simulation Game to Raise Awareness of Privacy Among School Children
Livio Bioglio, Sara Capecchi, Federico Peiretti et al. · IEEE Transactions on Learning Technologies · 2018 · 44 citations · Full text
Amalgamating sessions and methods in object-oriented languages with generics
Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini et al. · Theoretical Computer Science · 2008 · 29 citations
Engineering, Generic Programming, Program Analysis +9
Information flow safety in multiparty sessions
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini · Mathematical Structures in Computer Science · 2015 · 23 citations · Full text
1–5 of 12