Các bài viết có thể truy cập công khai - Wan FokkinkTìm hiểu thêm
Có tại một số nơi: 9
The characteristics of molten globule states and folding pathways strongly depend on the sequence of a protein
M Dijkstra, W Fokkink, J Heringa, E van Dijk, S Abeln
Molecular Physics 116 (21-22), 3173-3180, 2018
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
On the axiomatizability of impossible futures
T Chen, W Fokkink, R van Glabbeek
Logical Methods in Computer Science 11 (3), 2015
Các cơ quan ủy nhiệm: Australian Research Council
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
W Fokkink, R van Glabbeek
Information and Computation 257, 79-113, 2017
Các cơ quan ủy nhiệm: Australian Research Council
Reliability analyses of open government data
D Ceolin, L Moreau, K O'Hara, G Schreiber, A Sackley, W Fokkink, ...
Uncertainty Reasoning for the Semantic Web (URSW), 34-39, 2013
Các cơ quan ủy nhiệm: UK Engineering and Physical Sciences Research Council
SecurePay: Strengthening two-factor authentication for arbitrary transactions
RK Konoth, B Fischer, W Fokkink, E Athanasopoulos, K Razavi, H Bos
European Symposium on Security and Privacy (Euro S&P), 569-586, 2020
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research, European Commission
Model properties for efficient synthesis of nonblocking modular supervisors
M Goorden, J van de Mortel-Fronczak, M Reniers, M Fabian, W Fokkink, ...
Control Engineering Practice 112, 104830, 2021
Các cơ quan ủy nhiệm: Swedish Research Council
Are two binary operators necessary to obtain a finite axiomatisation of parallel composition?
L Aceto, V Castiglioni, W Fokkink, A Ingólfsdóttir, B Luttik
ACM Transactions on Computational Logic (TOCL), 2022
Các cơ quan ủy nhiệm: Icelandic Centre for Research
Two procedures for analyzing the reliability of open government data
D Ceolin, L Moreau, K O’Hara, W Fokkink, W Robert, VM van Hage, ...
Information Processing and Management of Uncertainty in Knowledge-Based …, 2014
Các cơ quan ủy nhiệm: UK Engineering and Physical Sciences Research Council
Compositional coordinator synthesis of extended finite automata
MA Goorden, M Fabian, JM van de Mortel-Fronczak, MA Reniers, ...
Discrete Event Dynamic Systems 317 (3), 317-348, 2021
Các cơ quan ủy nhiệm: Swedish Research Council
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ