nature communications (13)
ocean dynamics (12)
nature climate change (10)
geophysical research letters (8)
journal of coastal research (8)
journal of geophysical research. oceans (8)
journal of geophysical research - oceans (7)
scientific data (7)
weather and climate extremes (7)
acm transactions on programming languages & systems (6)
journal of geophysical research-oceans (6)
swiss review of international and european law (6)
canadian journal of agricultural economics (4)
earth system science data (4)
earth system science data discussions (4)
geophysical research abstracts (4)
international journal of climatology (4)
journal of automated reasoning (4)
journal of climate (4)
ocean dynamics: theoretical, computational and observational oceanography (4)
china agricultural economic review (3)
climate dynamics (3)
computer aided verification (3)
formal aspects of computing (3)
information and computation (3)
journal of hydrology (3)
scientific reports (3)
verification, model checking, and abstract interpretation (3)
american journal of agricultural economics (2)
applied economics (2)
applied economics letters (2)
biological chemistry (2)
developing economies (2)
economics letters (2)
journal of comparative economics (2)
2009 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2009. date '09. (1)
2009 formal methods in computer-aided design, formal methods in computer-aided design, 2009. fmcad 2009 (1)
2009 ieee/rsj international conference on intelligent robots and systems, intelligent robots and systems, 2009. iros 2009. ieee/rsj international conference on (1)
2014 design, automation & test in europe conference & exhibition (date), design, automation and test in europe conference and exhibition (date), 2014 (1)
2014 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2014 (1)
2015 ieee 22nd symposium on computer arithmetic, computer arithmetic (arith), 2015 ieee 22nd symposium on (1)
2016 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2016 (1)
2017 ieee international conference on computer design (iccd), computer design (iccd), 2017 ieee international conference on, iccd (1)
2018 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2018 ieee/acm international conference on (1)
2020 57th acm/ieee design automation conference (dac), design automation conference (dac), 2020 57th acm/ieee (1)
2020 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad), 2020 ieee/acm international conference (1)
design, automation & test in europe conference & exhibition (date), 2017 (1)
dissertation abstract international (1)
dissertation abstracts international (1)
globalization and agricultural trade policy (1)