dblp.uni-trier.dewww.uni-trier.de

Wanderley Lopes de Souza Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
17EERaphael Pereira de Oliveira, Antônio Francisco do Prado, Wanderley Lopes de Souza, Mauro Biajiz: Development Based on MDA, of Ubiquitous Applications Domain Product Lines. ACIS-ICIS 2009: 1005-1010
16EEDiogo 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
15EEHelen 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
14EEDiogo 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
13EEMarcos 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
12EEMarcos 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
11EEMarcos Forte, Wanderley Lopes de Souza, Antônio Francisco do Prado: A content classification and filtering server for the internet. SAC 2006: 1166-1171
2002
10EEFrancisco Isidro Massetto, Wanderley Lopes de Souza, Sérgio Donizetti Zorzo: Simulator for E-LOTOS Specifications. Annual Simulation Symposium 2002: 389-394
2001
9EEClé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
8EESimone 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
7EELuiz 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
4EEAntô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
3EEWanderley 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

Coauthor Index

1Maria Janilce Bosquiroli Almeida (Maria Janilce B. Almeida) [3]
2Mauro Biajiz [14] [15] [16] [17]
3Gregor von Bochmann [1]
4Luiz Henrique Castelo Branco [6] [7]
5Murilo S. de Camargo [3]
6Renato A. T. Claudino [12]
7Marcelo Domingos [3]
8Rachida Dssouli [1]
9Sandra Camargo Pinto Ferraz Fabbri [5] [8]
10Cléver Ricardo Guareis de Farias [9]
11Jean-Marie Farines [3]
12Marcos Forte [11] [12] [13]
13Luciano Paschoal Gaspary [3]
14Lisandro Zambenedetti Granville [3]
15José Carlos Maldonado [5] [8]
16Diogo S. Martins [14] [15] [16]
17Francisco Isidro Massetto [10]
18Célio Estevan Morón [9]
19Raphael Pereira de Oliveira [17]
20Luís Ferreira Pires [2] [9]
21Antônio Francisco do Prado [4] [6] [7] [11] [12] [13] [14] [15] [16] [17]
22Paulo Nazareno Maia Sampaio [3]
23Marcelo Sant'Anna [4] [6] [7]
24Antônio Carlos Lima de Santana [4] [6]
25Luiz H. Z. Santana [12] [14] [15]
26Helen de F. Santos [15]
27Behçet Sarikaya [1]
28Roberto Milton Scheffel [3]
29Simone do Rocio Senger de Souza [5] [8]
30Hasan Ural [1]
31Roberto Willrich [3]
32Sérgio Donizetti Zorzo [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)