| Validation of reference genes for normalization of real‐time quantitative RT‐PCR data in traumatic brain injury NL Cook, R Vink, JJ Donkin, C van den Heuvel Journal of Neuroscience Research 87 (1), 34-41, 2009 | 68 | 2009 |
| A spotlight on bridging microscale and macroscale human brain architecture MP van den Heuvel, BTT Yeo Neuron 93 (6), 1248-1251, 2017 | 61 | 2017 |
| Specific nutritional biomarker profiles in mild cognitive impairment and subjective cognitive decline are associated with clinical progression: the NUDAD project FA de Leeuw, WM van der Flier, BM Tijms, P Scheltens, VM Mendes, ... Journal of the American Medical Directors Association 21 (10), 1513. e1-1513 …, 2020 | 23 | 2020 |
| Session type systems based on linear logic: Classical versus intuitionistic B van den Heuvel, JA Pérez Electronic Notes in Theoretical Computer Science 314, 1-11, 2020 | 19 | 2020 |
| A decentralized analysis of multiparty protocols B van den Heuvel, JA Pérez Science of Computer Programming 222, 102840, 2022 | 17 | 2022 |
| A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency D Frumin, E D’Osualdo, B van den Heuvel, JA Pérez Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 841-869, 2022 | 12 | 2022 |
| Deadlock freedom for asynchronous and cyclic process networks B Van Den Heuvel, JA Pérez Proceedings 14th Interaction and Concurrency Experience (ICE 2021), 38-56, 2021 | 11 | 2021 |
| Typed Non-determinism in Functional and Concurrent Calculi B van den Heuvel, JWN Paulus, D Nantes-Sobrinho, JA Pérez Asian Symposium on Programming Languages and Systems, 112-132, 2023 | 10 | 2023 |
| Monitoring blackbox implementations of multiparty session protocols B van den Heuvel, JA Pérez, RA Dobre International Conference on Runtime Verification, 66-85, 2023 | 10 | 2023 |
| Metaphors in digital hermeneutics: Zooming through literary, didactic and historical representations of imaginary and existing cities F Armaselu, C Van den Heuvel Digital Humanities Quarterly 11 (3), 2017 | 9 | 2017 |
| Amygdala response predicts clinical symptom reduction in patients with borderline personality disorder: A pilot fMRI study DEM Geurts, TJ Van den Heuvel, QJM Huys, RJ Verkes, R Cools Frontiers in Behavioral Neuroscience 16, 938403, 2022 | 7 | 2022 |
| Embedding Beyond Electrostatics: The Extended Polarizable Density Embedding Model W Van den Heuvel, P Reinholdt, J Kongsted The Journal of Physical Chemistry B 127 (14), 3248-3256, 2023 | 6 | 2023 |
| Deadlock freedom for asynchronous and cyclic process networks (extended version) B van den Heuvel, JA Pérez arXiv preprint arXiv:2111.13091, 2021 | 6 | 2021 |
| Bringing Movement to Digital Tasks at the Office: Designing an Acceptably Active Interface Interaction for Sending Emails P Keller, R Van Den Heuvel, C Lallemand Proceedings of the Seventeenth International Conference on Tangible …, 2023 | 5 | 2023 |
| Correctly communicating software: Distributed, asynchronous, and beyond B van den Heuvel | 4 | 2024 |
| Identification of IT-needs to cope with dynamism in collaborative networked organizations—a case study R van den Heuvel, R van de Wetering, R Bos, J Trienekens Digital Business Transformation: Organizing, Managing and Controlling in the …, 2020 | 4 | 2020 |
| Asynchronous Functional Sessions: Cyclic and Concurrent B van den Heuvel, JA Pérez Electronic Proceedings in Theoretical Computer Science 368, 75-94, 2022 | 3 | 2022 |
| Typed non-determinism in concurrent calculi: The eager way B van den Heuvel, D Nantes-Sobrinho, JWN Paulus, JA Pérez Electronic Notes in Theoretical Informatics and Computer Science 4, 2024 | 2 | 2024 |
| Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks B van den Heuvel, JA Pérez Logical Methods in Computer Science 20, 2024 | 2 | 2024 |
| Information Flow Control in Cyclic Process Networks B van den Heuvel, F Derakhshan, S Balzer 38th European Conference on Object-Oriented Programming, ECOOP 2024, 35, 2024 | 2 | 2024 |
Jorge A. PérezAssociate Professor, University of Groningen在 rug.nl 的电子邮件经过验证
