ieee transactions on computer-aided design of integrated circuits & systems (18)
compiling esterel (10)
dac: annual acm/ieee design automation conference (4)
entcs: electronic notes in theoretical computer science (4)
fundamenta informaticae (4)
ieee transactions on computer-aided design of integrated circuits and systems (4)
journal of physics. a. mathematical and general (4)
electronic notes in theoretical computer science (3)
international conference on hardware software codesign (3)
proceedings of the conference: design, automation & test in europe (3)
science of computer programming (3)
acm / sigplan notices (2)
acm/sigplan workshop partial evaluation & semantics-based program manipulation (2)
ieee design & test of computers (2)
ieee transactions on very large scale integration (vlsi) systems (2)
journal of mathematical physics (2)
proceedings of the 2004 acm sigplan/sigbed conference: languages, compilers & tools for embedded systems (2)
2003 design, automation & test in europe conference & exhibition (1)
2007 44th acm/ieee design automation conference (1)
2007 44th acm/ieee design automation conference, design automation conference, 2007. dac '07. 44th acm/ieee (1)
2008 6th acm/ieee international conference on formal methods and models for co-design, formal methods and models for co-design, 2008. memocode 2008. 6th acm/ieee international conference on (1)
2008 design, automation and test in europe, design, automation and test in europe, 2008. date '08 (1)
2008 ieee international symposium on parallel and distributed processing, parallel and distributed processing, 2008. ipdps 2008. ieee international symposium on (1)
2009 7th ieee/acm international conference on formal methods & models for co-design (1)
2009 7th ieee/acm international conference on formal methods and models for co-design, formal methods and models for co-design, 2009. memocode '09. 7th ieee/acm international conference on (1)
2009 ieee international conference on computer design, computer design, 2009. iccd 2009. ieee international conference on (1)
2010 19th international conference on parallel architectures and compilation techniques (pact), parallel architectures and compilation techniques (pact), 2010 19th international conference on (1)
2010 ieee international symposium on parallel & distributed processing, workshops and phd forum (ipdpsw), parallel & distributed processing, workshops and phd forum (ipdpsw), 2010 ieee international symposium on (1)
2014 twelfth acm/ieee conference on formal methods & models for codesign (memocode) (1)
2014 twelfth acm/ieee conference on formal methods and models for codesign (memocode), formal methods and models for codesign (memocode), 2014 twelfth acm/ieee international conference on (1)
2015 acm/ieee international conference on formal methods & models for codesign (memocode) (1)
2015 acm/ieee international conference on formal methods and models for codesign (memocode), formal methods and models for codesign (memocode), 2015 acm/ieee international conference on (1)
2015 international conference on hardware/software codesign & system synthesis (codes+isss) (1)
2015 international conference on hardware/software codesign and system synthesis (codes+isss), hardware/software codesign and system synthesis (codes+isss), 2015 international conference on (1)
2017 54th acm/edac/ieee design automation conference (dac), design automation conference (dac), 2017 54th acm/edac/ieee (1)
2019 acm/ieee 46th annual international symposium on computer architecture (isca), computer architecture (isca), 2019 acm/ieee 46th annual international symposium on (1)
2020 forum for specification and design languages (fdl), specification and design languages (fdl), 2020 forum for (1)
2022 20th acm-ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2022 20th acm-ieee international conference on (1)
2022 32nd international conference on field-programmable logic and applications (fpl), field-programmable logic and applications (fpl), 2022 32nd international conference on, fpl (1)
acm sigplan notices (1)
computer aided verification (1)
ieee computer architecture letters (1)
jurimetrics (1)
jurimetrics journal (1)
milcom 2022 - 2022 ieee military communications conference (milcom), military communications conference (milcom), milcom 2022 - 2022 ieee (1)
molecular physics. an international journal in the field of chemical physics (1)
principles of modeling (1)
proceedings of the 2013 electronic system level synthesis conference (eslsyn), electronic system level synthesis conference (eslsyn), 2013 (1)
science of computer programming. methods of software design: techniques and applications (1)
tenth acm/ieee international conference on formal methods and models for codesign (memcode2012), formal methods and models for codesign (memocode), 2012 10th ieee/acm international conference on (1)