Concepedia

Giuseppe Scollo

GS

9

Publications

466

Citations

9

H-Index

1986

Active since

Affiliations

University of Twente(Current)

University of Catania

Giuseppe Scollo is an author at University of Twente specializing in formal methods, engineering, and software design.

Top concepts

Formal MethodsEngineeringVerificationSoftware DesignSystem SoftwareFormal VerificationSystems EngineeringSoftware EngineeringFormal SpecificationDesign

Publications per year

1986–2010

9

Publications

9

Specification styles in distributed systems design and verification

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen et al. · Theoretical Computer Science · 1991 · 143 citations

Specification Language, Formal Specification, Specification Styles +13

Architecture and Specification Style in Formal Descriptions of Distributed Systems

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen · University of Twente Research Information · 1988 · 114 citations

Specification Language, Formal Specification, Engineering +12

Bispectral Index In ICU: Correlation With Ramsay Score On Assessment Of Sedation Level

Epifanio Mondello, R Siliotti, Giusi Noto et al. · Journal of Clinical Monitoring and Computing · 2002 · 87 citations · Full text

Equational type logic

Vincenzo Manca, Antonino Salibra, Giuseppe Scollo · Theoretical Computer Science · 1990 · 42 citations

Engineering, Automated Reasoning, Type Theory +4

Cooperative Project-based Learning in a Web-based Software Engineering Course

Nicola Piccinini, Giuseppe Scollo · 2006 · 19 citations · Full text

Rows per page

1–5 of 9