Jan van Leeuwen
Universiteit Utrecht
H-index: 40
Europe-Netherlands
Top articles of Jan van Leeuwen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Artificial Intelligence as a Pathway to Our Future | Jirı Wiedermann Jan van Leeuwen | 2024/1 | |
From Knowledge to Wisdom | Jirı Wiedermann Jan van Leeuwen | 2023/7 | |
Validating Non-trivial Semantic Properties of Autonomous Robots | Jiří Wiedermann Jan van Leeuwen | 2021/9/27 | |
Impossibility results for the online verification of ethical and legal behaviour of robots | Utrecht University, Utrecht, UU-PCS-2021-02 | Jan van Leeuwen Jirı Wiedermann | 2021/4 |
New and interesting true hoppers for the Netherlands (Homoptera: Cixiidae, Delphacidae & Cicadellidae). | entomologische berichten | CFM Den Bieman MC de Haas AJ Langbroek J Van Leeuwen | 2021/1/1 |
Autonomous Vehicles that Cooperate and Understand | Jirı Wiedermann Jan van Leeuwen | 2021/1 | |
Towards minimally conscious cyber-physical systems: a manifesto | Jiří Wiedermann Jan van Leeuwen | 2021 | |
Towards minimally conscious finite-state controlled cyberphysical systems | Jirı Wiedermann Jan van Leeuwen | 2020/5 | |
Cyber-Physical Systems | ACM Transactions on | H Mousavi A Ebnenasir E Mahmoudzadeh X Fan Q Wang | 2023 |
Het ruw dikstaartje Paychyotoma crassicauda, een springstaart nieuw voor de fauna van Nederland (Collembola: Isotomidae) | Nederlandse Faunistische Mededelingen | Matty P Berg Jan van Leeuwen RFHM van Bezouw | 2020/1/1 |
Algorithms, Complexity, and Hans | Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday | Jan van Leeuwen | 2020 |