BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rodr=iacute=guez:Ismael

Contributed to:

SAC 20132013
TestCom/FATES 20082008
TestCom 20062006
FATES 20052005
SAC 20052005
FATES 20042004
SAC 20042004
SAC 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.