journal of biomedical informatics (6)
ieee transactions on computer-aided design of integrated circuits & systems (3)
ieee security & privacy (2)
international conference on hardware software codesign (2)
2009 31st international conference on software engineering - companion volume, software engineering - companion volume, 2009. icse-companion 2009. 31st international conference on (1)
2018 international conference on advances in computing, communications and informatics (icacci), advances in computing, communications and informatics (icacci), 2018 international conference on (1)
acm / sigplan notices (1)
acm sigplan notices (1)
acm transactions on storage (1)
acm transactions on storage (tos) (1)
computer aided verification (1)
electronic notes in theoretical computer science (1)
encyclopedia of electrical & electronics engineering (1)
entcs: electronic notes in theoretical computer science (1)
fujitsu scientific & technical journal (1)
higher order logic theorem proving and its applications (vancouver, bc, 1993) (1)
ieee security & privacy, security & privacy, ieee, ieee secur. privacy (1)
informatics in medicine unlocked (1)
intelligent distributed computing (1)
proceedings of asp-dac/vlsi design 2002. 7th asia & south pacific design automation conference & 15h international conference on vlsi design (1)
proceedings of the 2006 international symposium: software testing & analysis (1)
proceedings of the seventh international workshop hardware software codesign (1)
proceedings of the twenty-second ieee/acm international conference: automated software engineering (1)
programming languages & systems (9783540893295) (1)
software & data technologies (9783642361760) (1)