acta informatica (9)
ieee transactions on software engineering (6)
algorithms (4)
information sciences (4)
journal of automated reasoning (4)
journal of computer and system sciences (4)
science of computer programming (4)
sensors (14248220) (4)
computer networks (3)
computers & security (3)
information processing letters (3)
information technology & management (3)
journal of intelligent manufacturing (3)
pattern recognition letters (3)
software & systems modeling (3)
2015 6th international conference on information, intelligence, systems & applications (iisa) (2)
2015 6th international conference on information, intelligence, systems and applications (iisa), information, intelligence, systems and applications (iisa), 2015 6th international conference on (2)
computers & electrical engineering (2)
computers and electrical engineering (2)
formal methods in system design (2)
ieee transactions on intelligent transportation systems (2)
information (2078-2489) (2)
information systems frontiers (2)
intelligent decision technologies (2)
journal of computational science (2)
journal of manufacturing systems (2)
journal of physics: conference series (2)
microprocessors and microsystems (2)
neural processing letters (2)
personal & ubiquitous computing (2)
personal and ubiquitous computing (2)
pervasive and mobile computing (2)
science of computer programming. methods of software design: techniques and applications (2)
sensors (2)
simulation modelling practice and theory (2)
soft computing - a fusion of foundations, methodologies & applications (2)
software testing: verification & reliability (2)
software: practice and experience (2)
2010 ieee international symposium on "a world of wireless, mobile and multimedia networks" (wowmom), world of wireless mobile and multimedia networks (wowmom), 2010 ieee international symposium on a (1)
2010 ieee international symposium on a world of wireless mobile & multimedia networks (wowmom) (1)
2011 ieee 35th annual computer software and applications conference, computer software and applications conference (compsac), 2011 ieee 35th annual (1)
2017 ieee/acm 5th international fme workshop on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2017 ieee/acm 5th international fme workshop on, formalise (1)
2018 ieee 27th international conference on enabling technologies: infrastructure for collaborative enterprises (wetice), enabling technologies: infrastructure for collaborative enterprises (wetice), 2018 ieee 27th international conference on, wetice (1)
2019 ieee 23rd international symposium on consumer technologies (isct), consumer technologies (isct), 2019 ieee 23rd international symposium on (1)
2019 international conference on robotics and automation (icra), robotics and automation (icra), 2019 international conference on (1)
2021 43rd annual international conference of the ieee engineering in medicine & biology society (embc) (1)
2021 43rd annual international conference of the ieee engineering in medicine & biology society (embc), engineering in medicine & biology society (embc), 2021 43rd annual international conference of the ieee (1)
2021 ieee international geoscience and remote sensing symposium igarss, geoscience and remote sensing symposium igarss , 2021 ieee international (1)
2021 ieee symposium series on computational intelligence (ssci), computational intelligence (ssci), 2021 ieee symposium series on (1)
2022 ieee conference on cognitive and computational aspects of situation management (cogsima), cognitive and computational aspects of situation management (cogsima), 2022 ieee conference on (1)