Concepedia

Gigliola Vaglini

GV

36

Publications

1.3K

Citations

22

H-Index

1983

Active since

Affiliations

University of Pisa(Current)

University of Sannio

National Research Council

Institute of Informatics and Telematics

University of Florence

Gigliola Vaglini is an author at University of Pisa specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsSoftware AnalysisSystems EngineeringProgram AnalysisAutomated ReasoningVerificationComputer Engineering

Publications per year

1983–2021

36

Publications

36

Communication and concurrency

Gigliola Vaglini · Information and Software Technology · 1991 · 168 citations

Engineering, Concurrency Theory, Concurrency (Computer Science) +5

Using an autoencoder in the design of an anomaly detector for smart manufacturing

Antonio Luca Alfeo, Mario G. C. A. Cimino, Giuseppe Manco et al. · Pattern Recognition Letters · 2020 · 78 citations

Anomaly Detection, Machine Learning, Engineering +13

Development of a debugger for a concurrent language

Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini · IEEE Transactions on Software Engineering · 1986 · 73 citations

Engineering, Software Engineering, Program Debugging +17

A “pay-how-you-drive” car insurance approach through cluster analysis

Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo et al. · Soft Computing · 2018 · 72 citations

Engineering, Data Science, Automobile Insurance +9

Monitoring elderly behavior via indoor position-based stigmergy

Paolo Barsocchi, Mario G. C. A. Cimino, Erina Ferro et al. · Pervasive and Mobile Computing · 2015 · 68 citations · Full text

Kinesiology, Aging, Assistive Technology +9

Rows per page

1–5 of 36