international journal of parallel programming (12)
procedia computer science (10)
journal of automated reasoning (5)
concurrency & computation: practice & experience (4)
concurrency and computation-practice & experience (4)
faraday discussions (2)
proceedings of the 2008 acm symposium: virtual reality software & technology (2)
2010 international conference on high performance computing & simulation (hpcs) (1)
2010 international conference on high performance computing & simulation, high performance computing and simulation (hpcs), 2010 international conference on (1)
2012 international conference on high performance computing & simulation (hpcs) (1)
2012 international conference on high performance computing & simulation (hpcs), high performance computing and simulation (hpcs), 2012 international conference on (1)
2015 international conference on high performance computing & simulation (hpcs), high performance computing & simulation (hpcs), 2015 international conference on (1)
2017 international conference on high performance computing & simulation (hpcs), high performance computing & simulation (hpcs), 2017 international conference on, hpcs (1)
2018 26th euromicro international conference on parallel, distributed and network-based processing (pdp), parallel, distributed and network-based processing (pdp), 2018 26th euromicro international conference on, pdp (1)
2018 international conference on high performance computing & simulation (hpcs), high performance computing & simulation (hpcs), 2018 international conference on, hpcs (1)
acm international conference proceeding series (1)
conference on high performance networking & computing (1)
discrete mathematics and theoretical computer science (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
euro-par 2014 parallel processing (1)
formal aspects of component software (9783642357428) (1)
formal aspects of component software 11th international symposium, facs 2014, bertinoro, italy, september 10-12, 2014, revised selected papers (1)
high performance computing & applications (1)
journal of automata, languages and combinatorics (1)
logic for programming, artificial intelligence & reasoning (9783540482819) (1)
logic for programming, artificial intelligence, and reasoning (1)
principles of declarative programming (1)
proceedings of the 1st international conference & exhibition: computing for geospatial research & application (1)
proceedings of the 2009 workshop: component-based high performance computing (1)
rewriting techniques & applications (1)
rewriting techniques and applications (1)
rewriting techniques and applications (trento, 1999) (1)
rewriting techniques and applications (tsukuba, 1998) (1)
rewriting techniques and applications (utrecht, 2001) (1)
theoretical aspects of computing - ictac 2005 (1)
theoretical aspects of computing---ictac 2005 (1)