Applying the B Method for the Rigorous Development of Smart Card Applications. - Bruno Emerson Gurgel Gomes; David Déharbe; Anamaria Martins Moreira; Katia Moraes (ASM, 2010)

CSCWD: Five characters in search of crowds. - Daniel Schneider 008; Katia Moraes; Jano Moreira de Souza; Maria Gilda P. Esteves (CSCWD, 2012)

Crowdsourcing for music: Survey and taxonomy. - Carlos Gomes; Daniel Schneider 008; Katia Moraes; Jano Moreira de Souza (SMC, 2012)