Follow
Katia Moraes
Katia Moraes
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
Crowdsourcing for Music: Survey and Taxonomy
C Gomes, D Schneider, K Moraes, J de Souza
49*
CSCWD: Five characters in search of crowds
D Schneider, K Moraes, JM de Souza, MGP Esteves
Computer Supported Cooperative Work in Design (CSCWD), 2012 IEEE 16th …, 2012
342012
Multidões: a nova onda do CSCW
D Schneider, J de Souza, K Moraes
SBSC 2011, 2011
252011
Applying the b method for the rigorous development of smart card applications
B Gomes, D Déharbe, A Moreira, K Moraes
Abstract State Machines, Alloy, B and Z, 203-216, 2010
82010
A Ferramenta BSmart para o Desenvolvimento Rigoroso de Aplicações Java Card com o Método Formal B
BEG Gomes, A Moreira, D Déharbe, K Moraes
XIV Sessao de Ferramentas do XXI SBES (SBES’2007), 11-17, 2007
42007
The system can't perform the operation now. Try again later.
Articles 1–5