Not finding it? Sign in to also search OpenAlex live.
-
On Correctness, Precision, and Performance in Quantitative Verification2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, +1 more
39citations -
The neurocomputational link between defensive cardiac states and approach-avoidance arbitration under threat2024 Communications Biology article Neuroscience Neural and Behavioral Psychology Studies Open access
Felix H. Klaassen, Lycia D. de Voogd, Anneloes M. Hulsman, Jill X. O’Reilly, Floris Klumpers, Bernd Figner, +1 more
9citations -
Rewarding Capacity of Optogenetically Activating a Giant GABAergic Central-Brain Interneuron in Larval Drosophila2023 Journal of Neuroscience article Neuroscience Neurobiology and Insect Physiology Research Open access
Nino Mancini, Juliane Thoener, Esmeralda Tafani, Dennis Pauls, Oded Mayseless, Martin Strauch, +13 more
3citations -
Rewarding capacity of optogenetically activating a giant GABAergic central-brain interneuron in larval Drosophila2022 bioRxiv (Cold Spring Harbor Laboratory) preprint Neuroscience Neurobiology and Insect Physiology Research Open access
Nino Mancini, Juliane Thoener, Esmeralda Tafani, Dennis Pauls, Oded Mayseless, Martin Strauch, +11 more
1citations -
Neurocognitive Underpinnings of Aggressive Predation in Economic Contests2020 Journal of Cognitive Neuroscience article Neuroscience Neural and Behavioral Psychology Studies Open access
Michael Rojek-Giffin, Maël Lebreton, H. Steven Scholte, Frans van Winden, K. Richard Ridderinkhof, Carsten K. W. De Dreu
6citations -
Implementation and User Evaluation of an eHealth Technology Platform Supporting Patients With Cardiovascular Disease in Managing Their Health After a Cardiac Event: Mixed Methods Study
Britt Elise Bente, Jobke Wentzel, Celina Schepers, Linda D. Breeman, Veronica R. Janssen, Marcel E. Pieterse, +2 more
12citations