Travelled to:
1 × Canada
1 × Germany
1 × Spain
Collaborated with:
A.R.Cortés R.Corchuelo J.A.Troyano J.Torres J.M.C.Valdeón J.L.Arjona A.Durán J.A.Pérez D.Ruiz
Talks about:
architectur (1) multiparti (1) distribut (1) algorithm (1) techniqu (1) interact (1) argument (1) support (1) softwar (1) practic (1)
Person: Miguel Toro
DBLP: Toro:Miguel
Contributed to:
Wrote 5 papers:
- CAiSE-2002-ArjonaCRT #semantics #web
- A Practical Agent-Based Method to Extract Semantic Information from the Web (JLA, RC, ARC, MT), pp. 697–700.
- RE-2002-DuranCCT #requirements #using #verification
- Supporting Requirements Verification Using XSLT (AD, ARC, RC, MT), pp. 165–172.
- SAC-2002-PerezCRT #algorithm #detection #interactive #multi
- An enablement detection algorithm for open multiparty interactions (JAP, RC, DR, MT), pp. 378–384.
- PDP-1995-TroyanoTT #distributed #specification
- A technique for distributed systems specification (JAT, JT, MT), pp. 563–570.
- WICSA-2016-ValdeonCT #architecture
- Defeasible Argumentation of Software Architectures (JMCV, ARC, MT), pp. 115–121.