information systems (8)
theory and practice of logic programming (6)
ieee transactions on parallel & distributed systems (3)
theory & practice of logic programming (3)
2010 - milcom 2010 military communications conference, military communications conference, 2010 - milcom 2010 (1)
2010 ieee 12th international symposium on high assurance systems engineering, high-assurance systems engineering (hase), 2010 ieee 12th international symposium on (1)
2015 ieee 31st international conference on data engineering (1)
2015 ieee 31st international conference on data engineering, data engineering (icde), 2015 ieee 31st international conference on (1)
2016 ieee/acm 38th international conference on software engineering (icse), software engineering (icse), 2016 ieee/acm 38th international conference on, icse (1)
2017 ieee international conference on computer design (iccd), computer design (iccd), 2017 ieee international conference on, iccd (1)
2017 international conference on high performance computing & simulation (hpcs), high performance computing & simulation (hpcs), 2017 international conference on, hpcs (1)
2019 ieee international symposium on information theory (isit), information theory (isit), 2019 ieee international symposium on (1)
2020 ieee 40th international conference on distributed computing systems (icdcs), distributed computing systems (icdcs), 2020 ieee 40th international conference on, icdcs (1)
2023 ieee 39th international conference on data engineering (icde), data engineering (icde), 2023 ieee 39th international conference on, icde (1)
2024 ieee 40th international conference on data engineering (icde), data engineering (icde), 2024 ieee 40th international conference on, icde (1)
acm transactions on computer systems (1)
conceptual modeling (1)
datalog in academia & industry (1)
icse: international conference on software engineering (1)
ieee transactions on knowledge and data engineering (1)
international conference on information society (i-society 2011), information society (i-society), 2011 international conference on (1)
milcom 2009 - 2009 ieee military communications conference, military communications conference, 2009. milcom 2009. ieee (1)
proceedings of spie (1)
proceedings of the 38th international conference on software engineering (1)
proceedings of the vldb endowment (1)
the vldb journal: the international journal on very large data bases (1)
vldb journal (1)
vldb journal international journal on very large data bases (1)