Travelled to:1 × Brazil
1 × Korea
1 × Spain
1 × USA
Collaborated with:K.R.Braghetto C.Pu L.V.d.Araújo E.C.Sabino M.C.Rodrigues S.Malkowski M.E.B.Broinizi A.Goldman P.Hübler D.D.A.Ruiz O.N.d.Souza S.S.Sanabani
Talks about:process (5) use (4) algebra (3) hiv (3) pattern (2) control (2) subtyp (2) servic (2) flow (2) data (2)
Person: João Eduardo Ferreira
DBLP: Ferreira:Jo=atilde=o_Eduardo
Contributed to:
2015200920082007Wrote 7 papers:
- SAC-2015-HublerRFS #data flow #named #using
- P-SaMI: a data-flow pattern to perform massively-parallel molecular docking experiments using a fully-flexible receptor model (PH, DDAR, JEF, ONdS), pp. 54–57.
- SAC-2009-AraujoSSF #classification #named #sequence #type system
- HIVSetSubtype: software for subtype classification of HIV-1 sequences (LVdA, SSS, ECS, JEF), pp. 811–815.
- SAC-2009-RodriguesMF #algebra #implementation #navigation #process #web #web service
- Implementing rigorous web services with process algebra: navigation plan for web services (MCR, SM, JEF), pp. 625–631.
- SAC-2008-AraujoSF #algebra #analysis #process
- HIV drug resistance analysis tool based on process algebra (LVdA, ECS, JEF), pp. 1358–1363.
- SAC-2008-BraghettoFP #algebra #execution #process #using
- Using process algebra to control the execution of business processes (KRB, JEF, CP), pp. 128–129.
- SAC-2008-BroiniziFG #framework #requirements #using
- Using annotations in the naked objects framework to explore data requirements (MEBB, JEF, AG), pp. 630–637.
- SAC-2007-BraghettoFP #control flow #process #specification #using
- Using control-flow patterns for specifying business processes in cooperative environments (KRB, JEF, CP), pp. 1234–1241.