| 2026 | KR | Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical Argumentation. | Kees van Berkel, Andrea Sabatini |
| 2026 | KR | Normative Narrator: Guiding and Explaining Reinforcement Learning Agents. | Emery A. Neufeld, Kees van Berkel |
| 2024 | AAAI | Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. | Ofer Arieli, Kees van Berkel, Christian Straer |
| 2024 | COMMA | A Nonmonotonic Proof Theory for Dialectical Argumentation Under Bounded Resources. | Kees van Berkel, Sanjay Modgil |
| 2024 | COMMA | Towards Deontic Explanations Through Dialogue. | Kees van Berkel, Christian Straer |
| 2024 | COMMA | Towards an Argumentative Unification of Default Reasoning. | Kees van Berkel, Christian Straer, Zheng Zhou |
| 2024 | KR | Deontic Reasoning Based on Inconsistency Measures. | Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straer |
| 2023 | JURIX | Arguing About Choosing a Normative System: Conflict of Laws. | Kees van Berkel, Rka Markovich, Christian Straer, Leendert van der Torre |
| 2022 | COMMA | Reasoning With and About Norms in Logical Argumentation. | Kees van Berkel, Christian Straer |
| 2022 | IJCAI | Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. | Ofer Arieli, Kees van Berkel, Christian Straer |
| 2019 | JELIA | Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. | Kees van Berkel, Tim S. Lyon |
| 2019 | PRIMA | Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. | Tim S. Lyon, Kees van Berkel |
| 2018 | PRIMA | Notions of Instrumentality in Agency Logic. | Kees van Berkel, Matteo Pascucci |
| 2015 | DATE | FP-scheduling for mode-controlled dataflow: a case study. | Alok Lele, Orlando Moreira, Kees van Berkel |
| 2015 | DSD | Buffer Allocation for Dynamic Real-Time Streaming Applications Running on a Multi-processor without Back-Pressure. | Hrishikesh Salunkhe, Alok Lele, Orlando Moreira, Kees van Berkel |
| 2014 | DATE | Mode-Controlled Dataflow based modeling & analysis of a 4G-LTE receiver. | Hrishikesh Salunkhe, Orlando Moreira, Kees van Berkel |
| 2012 | RTAS | Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding. | Wei Tong, Orlando Moreira, Rick J. M. Nas, Kees van Berkel |
| 2008 | DATE | Vectorization of Reed Solomon Decoding and Mapping on the EVP. | Akash Kumar, Kees van Berkel |
| 2008 | DATE | Performance Analysis of SoC Architectures Based on Latency-Rate Servers. | Jelte Peter Vink, Kees van Berkel, Pieter van der Wolf |
| 2007 | ACC | Cogging Compensating Piecewise Iterative Learning Control with application to a motion system. | Kees van Berkel, Iuliana Rotariu, Maarten Steinbuch |
| 2007 | FPL | Mapping A VLIWxSIMD Processor on an FPGA: Scalability and Performance. | Micha Nelissen, Kees van Berkel, Sergei Sawitzki |
| 2004 | PERCOM | A 3-D Indoor Positioning Method using a Single Compact Base Station. | Esko O. Dijk, Kees van Berkel, Ronald M. Aarts, Evert van Loenen |
| 2002 | ITC | Automatic Scan Insertion and Test Generation for Asynchronous Circuits. | Frank te Beest, Ad M. G. Peeters, Marc Verra, Kees van Berkel, Hans G. Kerkhoff |
| 1988 | ICCD | VLSI programming. | Kees van Berkel, Martin Rem, Ronald W. J. J. Saeijs |
| 1988 | ICCD | Compilation of communicating processes into delay-insensitive circuits. | Kees van Berkel, Ronald W. J. J. Saeijs |
| 1988 | ICCD | VLSI programming and silicon compilation; a novel approach from Philips research. | Cees Niessen, Kees van Berkel, Martin Rem, Ronald W. J. J. Saeijs |
| 1988 | ICCD | The design of the VLSI image-generator ZaP. | Ronald W. J. J. Saeijs, Kees van Berkel |