automated technology for verification & analysis (9783540755951) (40)
ieee transactions on computer-aided design of integrated circuits & systems (15)
systems & computers in japan (6)
international journal of foundations of computer science (5)
plos one (5)
fundamenta informaticae (4)
ieee transactions on computer-aided design of integrated circuits and systems (4)
ieee transactions on computers (4)
ieice transactions on information and systems (4)
cytotherapy (elsevier inc.) (3)
formal methods in system design (3)
ieice transactions on fundamentals of electronics communications and computer sciences (3)
journal of cell science (3)
niiテクニカル・レポート (3)
2012 ieee 18th pacific rim international symposium on dependable computing, dependable computing (prdc), 2012 ieee 18th pacific rim international symposium on (2)
2014 ieee asia pacific conference on circuits and systems (apccas), circuits and systems (apccas), 2014 ieee asia pacific conference on (2)
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 (2)
electronics & communications in japan, part 3: fundamental electronic science (2)
science of computer programming (2)
systems and computers in japan (2)
電子情報通信学会技術研究報告 (2)
電子情報通信学会論文誌 (2)
2007 asia and south pacific design automation conference, design automation conference, 2007. asp-dac '07. asia and south pacific (1)
2008 8th international conference on application of concurrency to system design, application of concurrency to system design, 2008. acsd 2008. 8th international conference on (1)
2009 ieee computer society annual symposium on vlsi, vlsi, 2009. isvlsi '09. ieee computer society annual symposium on (1)
2009 ieee international conference on computer design, computer design, 2009. iccd 2009. ieee international conference on (1)
2010 ieee international symposium on circuits and systems (iscas), circuits and systems (iscas), 2010 ieee international symposium on (1)
2011 17th ieee international symposium on asynchronous circuits and systems, asynchronous circuits and systems (async), 2011 17th ieee international symposium on (1)
2011 ieee 17th international conference on embedded and real-time computing systems and applications, embedded and real-time computing systems and applications (rtcsa), 2011 ieee 17th international conference on (1)
2011 ieee international symposium on defect and fault tolerance in vlsi and nanotechnology systems, defect and fault tolerance in vlsi and nanotechnology systems (dft), 2011 ieee international symposium on (1)
2012 ieee 6th international symposium on embedded multicore socs, embedded multicore socs (mcsoc), 2012 ieee 6th international symposium on (1)
2012 ieee international symposium on defect and fault tolerance in vlsi and nanotechnology systems (dft), defect and fault tolerance in vlsi and nanotechnology systems (dft), 2012 ieee international symposium on (1)
2013 ieee 7th international symposium on embedded multicore socs, embedded multicore socs (mcsoc), 2013 ieee 7th international symposium on (1)
2014 ieee international symposium on circuits and systems (iscas), circuits and systems (iscas), 2014 ieee international symposium on (1)
2015 33rd ieee international conference on computer design (iccd), computer design (iccd), 2015 33rd ieee international conference on (1)
2015 ieee international symposium on defect and fault tolerance in vlsi and nanotechnology systems (dfts), defect and fault tolerance in vlsi and nanotechnology systems (dfts), 2015 ieee international symposium on (1)
2016 ieee international symposium on circuits and systems (iscas), circuits and systems (iscas), 2016 ieee international symposium on (1)
2017 23rd ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2017 23rd ieee international symposium on, async (1)
2017 ieee international conference on ic design and technology (icicdt), ic design and technology (icicdt), 2017 ieee international conference on (1)
2018 24th ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2018 24th ieee international symposium on, async (1)
2019 25th ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2019 25th ieee international symposium on, async (1)
2020 26th ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2020 26th ieee international symposium on (1)
2023 ieee 16th international symposium on embedded multicore/many-core systems-on-chip (mcsoc), embedded multicore/many-core systems-on-chip (mcsoc), 2023 ieee 16th international symposium on, mcsoc (1)
algebraic methodology and software technology (amazonia, 1999) (1)
electronic notes in theoretical computer science (1)
formal methods in system design: an international journal (1)
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. (1)
institute of electrical and electronics engineers. transactions on computers (1)
kluwer academic publishers (1)
seventh international conference on application of concurrency to system design (acsd 2007), application of concurrency to system design, 2007. acsd 2007. seventh international conference on (1)