I agree that this site is using cookies. You can find further informations here.
X
Leeuwen, Jan van
1894  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
Link: https://doi.org/10.1007/..
 
?
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
Link: https://doi.org/10.1007/..
 
?
3

Algorithms, Complexity, and Hans:

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

Question answering by humans and machines: A complexity-the..:

van Leeuwen, Jan ; Wiedermann, Jiří
Theoretical Computer Science.  777 (2019)  - p. 464-473 , 2019
Link: https://doi.org/10.1016/..
 
?
5

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
Link: https://doi.org/10.1007/..
 
?
6

Uniform Guideline on Risk Characterization for Approval of ..:

Pot, Vincent ; Cock, Johan de ; Leeuwen, Jan van
Prehospital and Disaster Medicine.  34 (2019)  s1 - p. s174-s174 , 2019
Link: https://doi.org/10.1017/..
 
?
7

SOFSEM 2018: Theory and Practice of Computer Science 

44th International Conference on Current Trends in Theory a...  Lecture Notes in Computer Science ; 10706;Theoretical Computer Science and General Issues ; 10706;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Bellatreche, Ladjel ; van Leeuwen, Jan ; Tjoa, A Min.. , 2018
Link: https://doi.org/10.1007/..
 
?
8

Shortcutting directed and undirected networks with a degree..:

Tan, Richard B. ; van Leeuwen, Erik Jan ; van Leeuwen, Jan
Discrete Applied Mathematics.  220 (2017)  - p. 91-117 , 2017
Link: https://doi.org/10.1016/..
 
?
9

Pure Nash Equilibria in Graphical Games and Treewidth:

Thomas, Antonis ; van Leeuwen, Jan
Algorithmica.  71 (2014)  3 - p. 581-604 , 2014
Link: https://doi.org/10.1007/..
 
?
10

The Word Problem in Semi-Groups with Cancellation:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 343-357 , 2013
Link: https://doi.org/10.1016/..
 
?
11

A Note on Normal Numbers:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 403-412 , 2013
Link: https://doi.org/10.1016/..
 
?
12

Computability and λ-Definability**Supported in part by NWO ..:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 121-138 , 2013
Link: https://doi.org/10.1016/..
 
?
13

Solvable and Unsolvable Problems:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 321-341 , 2013
Link: https://doi.org/10.1016/..
 
?
14

The use of Dots as Brackets in Church's System**Thanks to m..:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 227-237 , 2013
Link: https://doi.org/10.1016/..
 
?
15

Introduction:

, In: Alan Turing: His Work and Impact,
Cooper, S. Barry ; Leeuwen, Jan Van - p. 681 , 2013
Link: https://doi.org/10.1016/..
 
1-15