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 |