Old Web
English
Sign In
Acemap
>
authorDetail
>
W. Lopes de Souza
W. Lopes de Souza
Federal University of São Carlos
Computer science
Programming language
Formal specification
Kernel (linear algebra)
Structuring
4
Papers
57
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Uma Abordagem Para Troca De Mensagens Usando Arquétipos (An Approach for Message Exchange Using Archetypes
2013
J.L. Cardoso de Moraes
W. Lopes de Souza
Luciana Tricai Cavalini
L. Ferreira Pires
A.F. do Prado
Show All
Source
Cite
Save
Citations (0)
Specificaton and Validation of a Real-Time Parallel Kernel
2001
CTIT technical report series
Cléver Ricardo Guareis de Farias
Luis Ferreira Pires
W. Lopes de Souza
C.E. Moron
Show All
Source
Cite
Save
Citations (0)
Specification and Validation of a Real-Time Parallel Kernel using LOTOS
2001
CTIT technical report series
Cléver Ricardo Guareis de Farias
Luis Ferreira Pires
W. Lopes de Souza
Wanderley Lopes de Souza
C. Estevan Moron
Show All
Source
Cite
Save
Citations (0)
Mutation testing applied to Estelle specifications
2000
HICSS | Hawaii International Conference on System Sciences
S. do Rocio Senger de Souza
José Carlos Maldonado
Sandra Camargo Pinto Ferraz Fabbri
W. Lopes de Souza
Show All
Source
Cite
Save
Citations (57)
1