E-LIB Suche - Ergebnisse für: Dijk, Tom van

1

Knor: reactive synthesis using Oink:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

van Dijk, Tom ; van Abbema, Feije ; Tomov, Naum - p. 103-122 , 2024

Link: https://doi.org/10.1007/..

2

IntelliJML: a JML plugin for IntelliJ IDEA:

, In: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs,

Monteiro, Steven ; Sokolovas, Erikas ; Wittingen, Ellen.. - p. 39-42 , 2021

Link: https://dl.acm.org/doi/1..

3

Multi-core On-The-Fly Saturation:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

van Dijk, Tom ; Meijer, Jeroen ; van de Pol, Jaco - p. 58-75 , 2019

Link: https://doi.org/10.1007/..

4

How Do Neural Networks See Depth in Single Images?:

, In: 2019 IEEE/CVF International Conference on Computer Vision (ICCV),

Van Dijk, Tom ; De Croon, Guido - p. 2183-2191 , 2019

Link: https://doi.org/10.1109/..

5

Presentation of the 9th Edition of the Model Checking Conte..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Amparore, Elvio ; Berthomieu, Bernard ; Ciardo, Gianfranco... - p. 50-68 , 2019

Link: https://doi.org/10.1007/..

6

Attracting Tangles to Solve Parity Games:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

van Dijk, Tom - p. 198-215 , 2018

Link: https://doi.org/10.1007/..

7

Oink: An Implementation and Evaluation of Modern Parity Gam..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

van Dijk, Tom - p. 291-308 , 2018

Link: https://doi.org/10.1007/..

8

Distributed binary decision diagrams for symbolic reachabil..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Oortwijn, Wytse ; Dijk, Tom van ; Pol, Jaco van de - p. 21-30 , 2017

Link: https://dl.acm.org/doi/1..

9

Contributors:

, In: Principles and Practice of Sleep Medicine,

Abbott, Sabra M. ; Achermann, Peter ; Ainslie, Philip N.... - p. ix-xxxii , 2017

Link: https://doi.org/10.1016/..

10

List of Contributors:

, In: Coal and Peat Fires: A Global Perspective,

Day, Stuart J. ; Vapnik, Yevgeny ; Sanei, Hamed... - p. xvii-xxvii , 2013

Link: https://doi.org/10.1016/..

11

Contributors:

, In: Principles and Practice of Sleep Medicine,

Achermann, Peter ; Avidan, Alon Y. ; Åkerstedt, Torbjörn... - p. ix-xxi , 2011

Link: https://doi.org/10.1016/..

12

Der Weg zum Sparschwein: Zwei Verhaltensinterventionen zur ..:

, In: Sozialpsychologie: Von der Theorie zur Anwendung,

van der Werf, Minou M. B. ; van Dijk, Wilco W. ; Wilderjans, Tom F.. - p. 211-221 , 2023

Link: https://doi.org/10.1007/..

13

The Road to the Piggy Bank: Two Behavioral Interventions to..:

, In: Social Psychology in Action,

van der Werf, Minou M. B. ; van Dijk, Wilco W. ; Wilderjans, Tom F.. - p. 195-204 , 2019

Link: https://doi.org/10.1007/..