american journal of geriatric psychiatry (35)
current opinion in environmental sustainability (23)
sat-based scalable formal verification solutions (13)
international environmental agreements: politics, law & economics (12)
international environmental agreements: politics, law and economics (12)
kidney international (10)
the american journal of geriatric psychiatry (10)
global environmental politics (9)
indian journal of medical and paediatric oncology (9)
ecological economics (8)
frontiers in plant science (8)
acm transactions on design automation of electronic systems (7)
international journal on software tools for technology transfer (7)
climate policy (earthscan) (6)
ieee transactions on computer-aided design of integrated circuits & systems (6)
verification, model checking, and abstract interpretation (6)
water policy (6)
conference papers -- international studies association (5)
pediatric nephrology (5)
psychopharmacology (5)
case reports in radiology (4)
formal aspects of computing (4)
global environmental change (4)
journal of nuclear cardiology (4)
theoretical computer science (4)
wiley interdisciplinary reviews: climate change (4)
critical reviews in biotechnology (3)
food policy (3)
formal methods in system design (3)
global governance (3)
international journal of molecular sciences (3)
journal of chemical sciences (3)
journal of experimental botany (3)
journal of heterocyclic chemistry (3)
journal of plant biochemistry and biotechnology (3)
journal of sulfur chemistry (3)
progress in development studies (3)
regulation & governance (3)
technology in society (3)
2011 26th ieee/acm international conference on automated software engineering (ase 2011), automated software engineering (ase), 2011 26th ieee/acm international conference on (2)
2012 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2012 (2)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (2)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (2)
2022 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad)2022 ieee/acm international conference on (2)
berkshire encyclopedia of sustainability (2)
formal methods in computer aided design, formal methods in computer-aided design (fmcad), 2010 (2)
indiana journal of global legal studies (2)
indrastra global (2)
business strategies and management for sustainability (1)
dissertation abstract international (1)