2009 |
16 | EE | Diogo S. Martins,
Mauro Biajiz,
Antônio Francisco do Prado,
Wanderley Lopes de Souza:
Implicit relevance feedback for context-aware information retrieval in UbiLearning environments.
SAC 2009: 659-663 |
2008 |
15 | EE | Helen de F. Santos,
Luiz H. Z. Santana,
Diogo S. Martins,
Wanderley Lopes de Souza,
Antônio Francisco do Prado,
Mauro Biajiz:
A ubiquitous computing environment for medical education.
SAC 2008: 1395-1399 |
14 | EE | Diogo S. Martins,
Luiz H. Z. Santana,
Mauro Biajiz,
Antônio Francisco do Prado,
Wanderley Lopes de Souza:
Context-aware information retrieval on a ubiquitous medical learning environment.
SAC 2008: 2348-2349 |
13 | EE | Marcos Forte,
Wanderley Lopes de Souza,
Antônio Francisco do Prado:
Using ontologies and Web services for content adaptation in Ubiquitous Computing.
Journal of Systems and Software 81(3): 368-381 (2008) |
2007 |
12 | EE | Marcos Forte,
Renato A. T. Claudino,
Wanderley Lopes de Souza,
Antônio Francisco do Prado,
Luiz H. Z. Santana:
A component-based framework for the internet content adaptation domain.
SAC 2007: 1450-1455 |
2006 |
11 | EE | Marcos Forte,
Wanderley Lopes de Souza,
Antônio Francisco do Prado:
A content classification and filtering server for the internet.
SAC 2006: 1166-1171 |
2002 |
10 | EE | Francisco Isidro Massetto,
Wanderley Lopes de Souza,
Sérgio Donizetti Zorzo:
Simulator for E-LOTOS Specifications.
Annual Simulation Symposium 2002: 389-394 |
2001 |
9 | EE | Cléver Ricardo Guareis de Farias,
Luís Ferreira Pires,
Wanderley Lopes de Souza,
Célio Estevan Morón:
Specification and Validation of a Real-Time Parallel Kernel Using LOTOS.
MASCOTS 2001: 7-14 |
2000 |
8 | EE | Simone do Rocio Senger de Souza,
José Carlos Maldonado,
Sandra Camargo Pinto Ferraz Fabbri,
Wanderley Lopes de Souza:
Mutation Testing Applied to Estelle Specifications.
HICSS 2000 |
7 | EE | Luiz Henrique Castelo Branco,
Antônio Francisco do Prado,
Wanderley Lopes de Souza,
Marcelo Sant'Anna:
Automatic Implementation of Distributed Systems Formal Specifications.
IPDPS Workshops 2000: 1019-1026 |
1999 |
6 | | Antônio Carlos Lima de Santana,
Luiz Henrique Castelo Branco,
Antônio Francisco do Prado,
Wanderley Lopes de Souza,
Marcelo Sant'Anna:
Automatic Implementation of Distributed Systems Formal Specifications.
PDPTA 1999: 1424-1429 |
5 | | Simone do Rocio Senger de Souza,
José Carlos Maldonado,
Sandra Camargo Pinto Ferraz Fabbri,
Wanderley Lopes de Souza:
Mutation Testing Applied to Estelle Specifications.
Software Quality Journal 8(4): 285-301 (1999) |
1998 |
4 | EE | Antônio Carlos Lima de Santana,
Antônio Francisco do Prado,
Wanderley Lopes de Souza,
Marcelo Sant'Anna:
Automatic Refinement of Distributed Systems Specifications Using Program Transformations.
COMPSAC 1998: 154-163 |
3 | | Wanderley Lopes de Souza,
Paulo Nazareno Maia Sampaio,
Jean-Marie Farines,
Roberto Milton Scheffel,
Maria Janilce B. Almeida,
Luciano Paschoal Gaspary,
Lisandro Zambenedetti Granville,
Roberto Willrich,
Murilo S. de Camargo,
Marcelo Domingos:
Design of Distributed Multimedia Applications (DAMD).
FM-Trends 1998: 77-91 |
1990 |
2 | | Luís Ferreira Pires,
Wanderley Lopes de Souza:
Step-wise Refinement Design Example Using LOTOS.
FORTE 1990: 255-262 |
1985 |
1 | | Gregor von Bochmann,
Rachida Dssouli,
Wanderley Lopes de Souza,
Behçet Sarikaya,
Hasan Ural:
Use of Prolog for building protocol design tools.
PSTV 1985: 131-147 |