Marcelo d'Amorim (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

15 Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: Randomized constraint solvers: a comparative study. ISSE 6(3): 243-253 (2010)

12 Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods 2009: 56-65

Selection of 2 from 19 records - Marcelo d'Amorim has 32 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

15		Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: Randomized constraint solvers: a comparative study. ISSE 6(3): 243-253 (2010)
12		Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods 2009: 56-65