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

2

Hear-and-avoid for unmanned air vehicles using convolutiona..:

Wijnker, Dirk ; van Dijk, Tom ; Snellen, Mirjam..
International Journal of Micro Air Vehicles. 13 (2021) - p. 175682932199213 , 2021

Link: https://doi.org/10.1177/..

3

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..

4

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/..

5

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/..

6

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/..

7

Revisiting Decision Diagrams for SAT:

Dijk, Tom van ; Ehlers, Rüdiger ; Biere, Armin , 9 May 2018

Link: https://arxiv.org/abs/18..

8

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/..

9

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/..

10

Nitrilium ions – synthesis and applications:

van Dijk, Tom ; Chris Slootweg, J. ; Lammertsma, Koop
Organic & Biomolecular Chemistry. 15 (2017) 48 - p. 10134-10144 , 2017

Link: https://doi.org/10.1039/..

11

Iminophosphanes: Synthesis, Rhodium Complexes, and Rutheniu..:

Rong, Mark K. ; van Duin, Koen ; van Dijk, Tom...
Organometallics. 36 (2017) 5 - p. 1079-1090 , 2017

Link: https://doi.org/10.1021/..

12

Multi-core symbolic bisimulation minimisation:

van Dijk, Tom ; van de Pol, Jaco
International Journal on Software Tools for Technology Transfer. 20 (2017) 2 - p. 157-177 , 2017

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

13

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..

14

Bis(imino)phosphanes: Synthesis and Coordination Chemistry:

van Dijk, Tom ; Rong, Mark K. ; Borger, Jaap E....
Organometallics. 35 (2016) 5 - p. 827-835 , 2016

Link: https://doi.org/10.1021/..

15

Sylvan: multi-core framework for decision diagrams:

van Dijk, Tom ; van de Pol, Jaco
International Journal on Software Tools for Technology Transfer. 19 (2016) 6 - p. 675-696 , 2016

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