security-aware design for cyber-physical systems (12)
ieee transactions on computer-aided design of integrated circuits & systems (9)
european spine journal (8)
formosan journal of surgery (6)
ieee transactions on computer-aided design of integrated circuits and systems (6)
bmc musculoskeletal disorders (5)
arthritis care & research (4)
computers & education (4)
computers in human behavior (4)
journal of applied physics (4)
journal of the chinese institute of engineers (4)
neuropsychologia (4)
otolaryngology-head & neck surgery (4)
2021 ieee international intelligent transportation systems conference (itsc), intelligent transportation systems conference (itsc),2021 ieee international (3)
advanced energy materials (3)
ieee transactions on intelligent transportation systems (3)
journal of otolaryngology -- head & neck surgery (3)
surgical endoscopy & other interventional techniques (3)
world neurosurgery (3)
2018 annual american control conference (acc), american control conference (acc), 2018 annual (2)
2022 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2022 (2)
2022 ieee intelligent vehicles symposium (iv), intelligent vehicles symposium (iv), 2022 ieee (2)
2023 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2023 (2)
acm transactions on design automation of electronic systems (2)
american journal of otolaryngology--head and neck medicine and surgery (2)
annals of surgical oncology (2)
blumgart's surgery of the liver, biliary tract, and pancreas (2)
children (2)
clinical otolaryngology (2)
diagnostics (2075-4418) (2)
energy & environmental science (2)
european archives of oto-rhino-laryngology (2)
ieee transactions on intelligent vehicles (2)
ieee transactions on multimedia (2)
international archives of allergy & immunology (2)
journal of personalized medicine (2)
learning & individual differences (2)
neuroepidemiology (2)
proceedings of spie (2)
psychological medicine (2)
runtime verification (2)
2007 asia and south pacific design automation conference, design automation conference, 2007. asp-dac '07. asia and south pacific (1)
2007 ieee international conference on multimedia and expo, multimedia and expo, 2007 ieee international conference on (1)
computer aided verification. part i (1)
european archives of oto-rhino-laryngology: and head & neck (1)
journal of gastrointestinal surgery (1)
journal of global education and research (1)
journal of otolaryngology - head & neck surgery (1)
learning and individual differences (1)
surgical endoscopy: and other interventional techniquesofficial journal of the society of american gastrointestinal and endoscopic surgeons (sages) and european association for endoscopic surgery (eaes) (1)