annals of operations research (6)
bioinformatics (4)
future generation computer systems (4)
concurrency & computation: practice & experience (2)
formal methods in system design (2)
2008 eighth ieee international symposium on cluster computing and the grid (ccgrid), cluster computing and the grid, 2008. ccgrid '08. 8th ieee international symposium on (1)
2009 fifth ieee international conference on e-science, e-science, 2009. e-science '09. fifth ieee international conference on (1)
2010 ieee international symposium on parallel & distributed processing (ipdps), parallel & distributed processing (ipdps), 2010 ieee international symposium on (1)
2011 ieee international symposium on parallel and distributed processing workshops and phd forum, parallel and distributed processing workshops and phd forum (ipdpsw), 2011 ieee international symposium on (1)
2015 international conference on information technology based higher education & training (ithet) (1)
2015 international conference on information technology based higher education and training (ithet), information technology based higher education and training (ithet), 2015 international conference on (1)
2016 ieee 2nd international conference on big data security on cloud (bigdatasecurity), ieee international conference on high performance & smart computing (hpsc) & ieee international conference on intelligent data & security (ids) (1)
2016 ieee 2nd international conference on big data security on cloud (bigdatasecurity), ieee international conference on high performance and smart computing (hpsc), and ieee international conference on intelligent data and security (ids), big data security on cloud (bigdatasecurity), ieee international conference on high performance and smart computing (hpsc), and ieee international conference on intelligent data and security (ids), 2016 ieee 2nd international conference on (1)
2016 ieee intl conference on computational science and engineering (cse) and ieee intl conference on embedded and ubiquitous computing (euc) and 15th intl symposium on distributed computing and applications for business engineering (dcabes), computational science and engineering (cse) and ieee intl conference on embedded and ubiquitous computing (euc) and 15th intl symposium on distributed computing and applications for business engineering (dcabes), 2016 ieee intl conference on, cse-euc-dcabes (1)
2017 federated conference on computer science and information systems (fedcsis), computer science and information systems (fedcsis), 2017 federated conference on (1)
2018 23rd international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2018 23rd international conference on, iceccs (1)
2018 international conference on high performance computing & simulation (hpcs), high performance computing & simulation (hpcs), 2018 international conference on, hpcs (1)
2020 19th international symposium on parallel and distributed computing (ispdc), parallel and distributed computing (ispdc), 2020 19th international symposium on (1)
2020 ieee/acm international workshop on hpc user support tools (hust) and workshop on programming and performance visualization tools (protools), hpc user support tools (hust) and workshop on programming and performance visualization tools (protools), 2020 ieee/acm international workshop on, hust-protools (1)
2022 26th international conference on engineering of complex computer systems (iceccs), engineering of complex computer systems (iceccs), 2022 26th international conference on, iceccs (1)
acm/ieee sc 2006 conference (sc'06) (1)
algorithms & architectures for parallel processing (9783642330773) (1)
computational science---iccs 2019. part v (1)
computer aided verification. part ii (1)
concurrency and computation-practice & experience (1)
conference on high performance networking & computing (1)
euro-par 2009 parallel processing (1)
formal methods & software engineering: 17th international conference on formal engineering methods, icfem 2015, paris, france, november 3-5, 2015, proceedings (1)
formal methods and software engineering (1)
formal methods in system design: an international journal (1)
future generation computer systems-the international journal of escience (1)
future generation computer systems-the international journal of grid computing theory methods and applications (1)
parallel processing and applied mathematics. part i (1)
procedia computer science (1)
proceedings cassting workshop on games for the synthesis of complex systems and 3rd international workshop on synthesis of complex parameters (1)
proceedings of the 2006 acm ieee conference supercomputing (1)
recent advances in parallel virtual machine & message passing interface (9783540754152) (1)