Concepedia

Maria Grazia Buscemi

MG

6

Publications

105

Citations

6

H-Index

2002

Active since

Affiliations

University of Pisa(Current)

IMT School for Advanced Studies Lucca

University of Florence

Maria Grazia Buscemi is an author at University of Pisa specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringBusinessNegotiationCryptographyVerificationData Security

Publications per year

2002–2010

6

Publications

6

Experimenting with STA, a tool for automatic analysis of security protocols

Michele Boreale, Maria Grazia Buscemi · 2002 · 34 citations

Engineering, Information Security, Verification +24

Adaptive fuzzy-valued service selection

Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan · 2010 · 20 citations

Fuzzy Multi-criteria Decision-making, Fuzzy Logic, Engineering +14

QoS negotiation in service composition

Maria Grazia Buscemi, Ugo Montanari · The Journal of Logic and Algebraic Programming · 2010 · 14 citations

Negotiation, Engineering, Cloud Computing +9

A method for symbolic analysis of security protocols

Michele Boreale, Maria Grazia Buscemi · Theoretical Computer Science · 2005 · 14 citations · Full text

Engineering, Information Security, Formal Methods +10

A survey of constraint-based programming paradigms

Maria Grazia Buscemi, Ugo Montanari · Computer Science Review · 2008 · 13 citations

Mathematical Programming, Constraint Solving, Engineering +11

Rows per page

1–5 of 6