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.
 
















