Author: Marckson R. F. de Sousa
Publication Overview
Publication period start: 2008
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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