Concepedia
Statistics
Publications
4
Citations
219
H-Index
Active since
1993
Affiliations
I.R.C.C.S. Oasi Maria SS(Current)
University of Pisa
Gioia Ristori is an author at I.R.C.C.S. Oasi Maria SS specializing in computer science, computer systems, and computing.
Publications per year
1993–1994
Assisting requirement formalization by means of natural language translation
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori et al. · Formal Methods in System Design · 1994 · 100 citations
Engineering, Computer Science, Computational Linguistics +13
An action-based framework for veryfying logical and behavioural properties of concurrent systems
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi et al. · Computer Networks and ISDN Systems · 1993 · 86 citations
Computing, Computer Science, Computer Systems +14
Model checking for action-based logics
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori · Formal Methods in System Design · 1994 · 17 citations · Full text
Humanities, Computer Science, Formal Methods +10
Modelling Concurrent Accesses to Shared Data via Petri Nets
Nicoletta De Francesco, Ugo Montanari, Gioia Ristori · IFIP International Conference on Programming Concepts and Methods · 1994 · 16 citations
1–4 of 4