Author: Alexandre Scaico

Publications

Co-authors

Maria de F. Q. Vieira

1

Charles Santoni

1

Marckson R. F. de Sousa

2

Productive Colleagues

Marckson R. F. de Sousa

2

Angelo Perkusich

2

Charles Santoni

4

Publications

Turnell, Maria de F. Q. V., Scaico, Alexandre, Sousa, Marckson R. F. de, Perkusich, Angelo (2001): Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 69-87. https://link.springer.de/link/service/series/0558/bibs/2220/22200069.htm

Scaico, Alexandre, Vieira, Maria de F. Q., Sousa, Marckson R. F. de, Santoni, Charles (2008): Investigating System Navigation Ergonomics through Model Verification. In: Graham, T. C. Nicholas, Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 86-91. https://dx.doi.org/10.1007/978-3-540-70569-7_7