Các bài viết có thể truy cập công khai - Jan Friso GrooteTìm hiểu thêm
Có tại một số nơi: 10
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
JF Groote, DN Jansen, JJA Keiren, AJ Wijs
ACM Transactions on Computational Logic (TOCL) 18 (2), 1-34, 2017
Các cơ quan ủy nhiệm: National Natural Science Foundation of China
Minimisation of spatial models using branching bisimilarity
V Ciancia, JF Groote, D Latella, M Massink, EP de Vink
International Symposium on Formal Methods, 263-281, 2023
Các cơ quan ủy nhiệm: Government of Italy
Term rewriting on GPUs
J Van Eerd, JF Groote, P Hijma, J Martens, A Wijs
International Conference on Fundamentals of Software Engineering, 175-189, 2021
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Correct and efficient antichain algorithms for refinement checking
M Laveaux, JF Groote, TAC Willemse
Logical Methods in Computer Science 17, 2021
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Bisimulation by Partitioning Is Ω ((m+ n) log n)
JF Groote, J Martens, E de Vink
32nd International Conference on Concurrency Theory (CONCUR 2021), 31: 1-31: 16, 2021
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
A near-linear-time algorithm for weak bisimilarity on Markov chains
DN Jansen, JF Groote, F Timmers, P Yang
31st International Conference on Concurrency Theory (CONCUR 2020), 8: 1-8: 20, 2020
Các cơ quan ủy nhiệm: National Natural Science Foundation of China
Lowerbounds for bisimulation by partition refinement
JF Groote, J Martens, EP de Vink
Logical Methods in Computer Science 19, 2023
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Innermost many-sorted term rewriting on GPUs
J van Eerd, JF Groote, P Hijma, J Martens, M Osama, A Wijs
Science of Computer Programming 225, 102910, 2023
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Linear parallel algorithms to compute strong and branching bisimilarity
J Martens, JF Groote, LB Haak, P Hijma, A Wijs
Software and Systems Modeling 22 (2), 521-545, 2023
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Redundancy on the software design process is essential for designing correct software
MGJ van den Brand, JF Groote
ERCIM News 99, 34-35, 2014
Các cơ quan ủy nhiệm: European Commission
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ợ