communications of the acm (6)
international journal of robotics research (4)
formal aspects of computing (3)
ieee embedded systems letters (3)
2022 ieee international conference on artificial intelligence testing (aitest), artificial intelligence testing (aitest), 2022 ieee international conference on, aitest (2)
2023 ieee international conference on artificial intelligence testing (aitest), artificial intelligence testing (aitest), 2023 ieee international conference on, aitest (2)
acm international conference proceeding series (2)
acm transactions on embedded computing systems (2)
ai & society (2)
computer journal (2)
electronic notes in theoretical computer science (2)
energies (19961073) (2)
industrial deployment of system engineering methods (2)
microprocessors and microsystems (2)
theory and practice of logic programming (2)
2011 ieee congress of evolutionary computation (cec), evolutionary computation (cec), 2011 ieee congress on (1)
2011 ieee international high level design validation and test workshop, high level design validation and test workshop (hldvt), 2011 ieee international (1)
2013 ieee/rsj international conference on intelligent robots & systems (1)
2013 ieee/rsj international conference on intelligent robots and systems, intelligent robots and systems (iros), 2013 ieee/rsj international conference on (1)
2013 third berkeley symposium on energy efficient electronic systems (e3s) (1)
2013 third berkeley symposium on energy efficient electronic systems (e3s), energy efficient electronic systems (e3s), 2013 third berkeley symposium on (1)
2014 ieee/rsj international conference on intelligent robots & systems (1)
2014 ieee/rsj international conference on intelligent robots and systems, intelligent robots and systems (iros 2014), 2014 ieee/rsj international conference on (1)
2014 international conference on compilers, architecture and synthesis for embedded systems (cases), compilers, architecture and synthesis for embedded systems (cases), 2014 international conference on (1)
2014 ukacc international conference on control (control) (1)
2014 ukacc international conference on control (control), control (control), 2014 ukacc international conference on (1)
2015 european control conference (ecc) (1)
2015 european control conference (ecc), control conference (ecc), 2015 european (1)
2015 ieee/acm international symposium on code generation & optimization (cgo) (1)
2015 ieee/acm international symposium on code generation and optimization (cgo), code generation and optimization (cgo), 2015 ieee/acm international symposium on (1)
2015 international workshop on secure internet of things (siot) (1)
2015 international workshop on secure internet of things (siot), secure internet of things (siot), 2015 international workshop on (1)
2016 25th ieee international symposium on robot & human interactive communication (ro-man) (1)
2016 25th ieee international symposium on robot and human interactive communication (ro-man), robot and human interactive communication (ro-man), 2016 25th ieee international symposium on (1)
2016 ieee 10th international symposium on embedded multicore/many-core systems-on-chip (mcsoc) (1)
2016 ieee 10th international symposium on embedded multicore/many-core systems-on-chip (mcsoc), embedded multicore/many-core systems-on-chip (mcsoc), 2016 ieee 10th international symposium on, embedded multicore/many-core systems-on-chip (mcsoc), 2016 ieee 10th international symposium on (1)
2017 ieee international conference on fuzzy systems (fuzz-ieee), fuzzy systems (fuzz-ieee), 2017 ieee international conference on (1)
2019 international conference on high performance computing & simulation (hpcs), high performance computing & simulation (hpcs), 2019 international conference on (1)
2020 ieee international conference on artificial intelligence testing (aitest), artificial intelligence testing (aitest), 2020 ieee international conference on (1)
2022 29th ieee international conference on electronics, circuits and systems (icecs), electronics, circuits and systems (icecs), 2022 29th ieee international conference on (1)
2024 ieee 7th international conference on soft robotics (robosoft), soft robotics (robosoft), 2024 ieee 7th international conference on (1)
2024 ieee/sice international symposium on system integration (sii), system integration (sii), 2024 ieee/sice international symposium on (1)
23rd ieee international symposium on robot & human interactive communication (1)
acm transactions on architecture & code optimization (1)
ai & society: journal of knowledge, culture and communication (1)
entcs: electronic notes in theoretical computer science (1)
extensions of logic programming (leipzig, 1996) (1)
formal aspects of computing: applicable formal methods (1)
logic-based program synthesis and transformation (1)
the computer journal (1)