Leeuwen, Jan van
82  results:
Search for persons X
?
1

Validating Non-trivial Semantic Properties of Autonomous Ro..:

, In: Studies in Applied Philosophy, Epistemology and Rational Ethics; Philosophy and Theory of Artificial Intelligence 2021,
Wiedermann, Jiří ; van Leeuwen, Jan - p. 91-104 , 2022
 
?
2

Towards Minimally Conscious Cyber-Physical Systems: A Manif..:

, In: SOFSEM 2021: Theory and Practice of Computer Science; Lecture Notes in Computer Science,
Wiedermann, Jiří ; van Leeuwen, Jan - p. 43-55 , 2021
 
?
3

Algorithms, Complexity, and Hans:

, In: Treewidth, Kernels, and Algorithms; Lecture Notes in Computer Science,
van Leeuwen, Jan - p. 22-27 , 2020
 
?
4

Finite State Machines with Feedback: An Architecture Suppor..:

, In: Computing with Foresight and Industry; Lecture Notes in Computer Science,
Wiedermann, Jiří ; van Leeuwen, Jan - p. 286-297 , 2019
 
?
6

Introduction:

, In: Alan Turing: His Work and Impact,
 
?
7

Speech System 'Delilah' – Report on Progress:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 439-454 , 2013
 
?
9

A Note on Normal Numbers:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 403-412 , 2013
 
?
11

Digital Computers Applied to Games:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 623-650 , 2013
 
?
14

Introduction:

, In: Alan Turing: His Work and Impact,
 
1-15