Travelled to:1 × Austria
1 × Cyprus
1 × Japan
1 × Portugal
1 × United Kingdom
3 × USA
Collaborated with:M.Núñez N.López M.G.Merayo P.Rabanal F.Rubio ∅ L.F.L.Díaz
Talks about:test (5) system (4) probabilist (2) agent (2) time (2) metaheurist (1) implement (1) heterogen (1) transact (1) polynomi (1)
Person: Ismael Rodríguez
DBLP: Rodr=iacute=guez:Ismael
Contributed to:
2013
2008
200620052005200420042003Wrote 10 papers:
- SAC-2013-RabanalR #metaheuristic #polynomial #problem #reduction #using
- Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems (PR, IR), pp. 194–199.
- TestCom-FATES-2008-MerayoNR #named
- THOTL: A Timed Extension of HOTL (MGM, MN, IR), pp. 86–102.
- TestCom-2006-DiazNR #probability #testing
- Customized Testing for Probabilistic Systems (LFLD, MN, IR), pp. 87–102.
- TestCom-2006-RodriguezMN #logic #testing
- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (IR, MGM, MN), pp. 39–54.
- FATES-2005-NunezR #consistency #testing
- Conformance Testing Relations for Timed Systems (MN, IR), pp. 103–117.
- SAC-2005-RodriguezL #implementation
- Implementing private Vickrey auctions (IR, NL), pp. 796–800.
- FATES-2004-LopezNR #testing
- Testing of Symbolic-Probabilistic Systems (NL, MN, IR), pp. 49–63.
- SAC-2004-LopezNRR #information management
- Encouraging knowledge exchange in discussion forums by market-oriented mechanisms (NL, MN, IR, FR), pp. 952–956.
- SAC-2004-Rodriguez #specification
- Formal specification of autonomous commerce agents (IR), pp. 774–778.
- SAC-2003-LopezNRR #multi #transaction
- A Multi-Agent System for E-Barter Including Transaction and Shipping Costs (NL, MN, IR, FR), pp. 587–594.