|
Search the dblp DataBase
Wanderley Lopes de Souza:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Francisco Isidro Massetto, Wanderley Lopes de Souza, Sérgio Donizetti Zorzo
Simulator for E-LOTOS Specifications. [Citation Graph (0, 0)][DBLP] Annual Simulation Symposium, 2002, pp:389-394 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] COMPSAC, 1998, pp:154-163 [Conf]
- 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). [Citation Graph (0, 0)][DBLP] FM-Trends, 1998, pp:77-91 [Conf]
- Luís Ferreira Pires, Wanderley Lopes de Souza
Step-wise Refinement Design Example Using LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:255-262 [Conf]
- Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza
Mutation Testing Applied to Estelle Specifications. [Citation Graph (0, 0)][DBLP] HICSS, 2000, pp:- [Conf]
- Luiz Henrique Castelo Branco, Antônio Francisco do Prado, Wanderley Lopes de Souza, Marcelo Sant'Anna
Automatic Implementation of Distributed Systems Formal Specifications. [Citation Graph (0, 0)][DBLP] IPDPS Workshops, 2000, pp:1019-1026 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] MASCOTS, 2001, pp:7-14 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] PDPTA, 1999, pp:1424-1429 [Conf]
- Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural
Use of Prolog for building protocol design tools. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:131-147 [Conf]
- Marcos Forte, Wanderley Lopes de Souza, Antônio Francisco do Prado
A content classification and filtering server for the internet. [Citation Graph (0, 0)][DBLP] SAC, 2006, pp:1166-1171 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] SAC, 2007, pp:1450-1455 [Conf]
- Simone do Rocio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza
Mutation Testing Applied to Estelle Specifications. [Citation Graph (0, 0)][DBLP] Software Quality Journal, 1999, v:8, n:4, pp:285-301 [Journal]
Development Based on MDA, of Ubiquitous Applications Domain Product Lines. [Citation Graph (, )][DBLP]
Context-aware information retrieval on a ubiquitous medical learning environment. [Citation Graph (, )][DBLP]
A ubiquitous computing environment for medical education. [Citation Graph (, )][DBLP]
Implicit relevance feedback for context-aware information retrieval in UbiLearning environments. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|