reversible computation (14)
ieee transactions on computer-aided design of integrated circuits & systems (12)
dac: annual acm/ieee design automation conference (9)
formal specification level (8)
information processing letters (5)
proceedings of the conference on design, automation and test in europe (5)
proceedings of the conference: design, automation & test in europe (5)
2019 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2019 (4)
journal of multiple-valued logic & soft computing (4)
2012 ieee 42nd international symposium on multiple-valued logic, multiple-valued logic (ismvl), 2012 42nd ieee international symposium on (3)
2016 53nd acm/edac/ieee design automation conference (dac), design automation conference (dac), 2016 53nd acm/edac/ieee (3)
2016 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2016 ieee/acm international conference on (3)
2018 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2018 (3)
2020 design, automation & test in europe conference & exhibition (date) (3)
design, automation & test in europe conference & exhibition (date), 2017 (3)
international journal on software tools for technology transfer (3)
journal of symbolic computation (3)
proceedings of the 35th international conference on computer-aided design (3)
proceedings of the 53rd annual design automation conference (3)
software & systems modeling (3)
theoretical computer science (3)
2012 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2012 (2)
2013 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2013 (2)
2013 ieee 43rd international symposium on multiple-valued logic, multiple-valued logic (ismvl), 2013 ieee 43rd international symposium on (2)
2015 ieee international symposium on multiple-valued logic, multiple-valued logic (ismvl), 2015 ieee international symposium on (2)
2016 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2016 (2)
2017 22nd asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2017 22nd asia and south pacific (2)
2018 23rd asia and south pacific design automation conference (asp-dac), design automation conference (asp-dac), 2018 23rd asia and south pacific (2)
2018 55th acm/esda/ieee design automation conference (dac), design automation conference (dac), 2018 55th acm/esda/ieee (2)
2018 ieee 48th international symposium on multiple-valued logic (ismvl), multiple-valued logic (ismvl), 2018 ieee 48th international symposium on, ismvl (2)
2019 56th acm/ieee design automation conference (dac), design automation conference (dac), 2019 56th acm/ieee (2)
2019 ieee 49th international symposium on multiple-valued logic (ismvl), international symposium on multiple-valued logic (ismvl), 2019 ieee 49th, ismvl (2)
2020 ieee 50th international symposium on multiple-valued logic (ismvl), multiple-valued logic (ismvl), 2020 ieee 50th international symposium on, ismvl (2)
computer (00189162) (2)
ieee journal of emerging and selected topics in circuits and systems (2)
ieee transactions on computers (2)
integration, the vlsi journal (2)
npj quantum information (2)
philosophical transactions of the royal society a: mathematical, physical & engineering sciences (2)
proceedings of the 23rd asia and south pacific design automation conference (2)
proceedings of the 47th design automation conference (2)
proceedings of the 55th annual design automation conference (2)
proceedings of the 56th annual design automation conference 2019 (2)
zeitschrift fur kristallographie - crystalline materials (2)
zeitschrift fur kristallographie. crystalline materials (2)
combustion and flame (1)
computer (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
nature reviews physics (1)
philosophical transactions: mathematical, physical and engineering sciences (1)