ACM Transactions on Computational Logic, 23(4):22, 1-56. Association for Computing Machinery (ACM) ACM Transactions on Computational Logic, 23(4):22. Association for Computing Machinery, Inc Aceto, L, Castiglioni, V, Fokkink, W, Ingólfsdóttir, A & Luttik, B 2022, ' Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ', ACM Transactions on Computational Logic, vol. 23, no. 4, 22, pp. 1-56 . https://doi.org/10.1145/3529535
Vrije Universiteit Amsterdam 2023 CHI Conference on Human Factors in Computing Systems CHI EA 2023: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 1-7 STARTPAGE=1;ENDPAGE=7;TITLE=CHI EA 2023 Verano Merino, M & Sáenz, J P 2023, The Art of Creating Code-Based Artworks . in CHI EA 2023 : Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems ., 271, Conference on Human Factors in Computing Systems-Proceedings, Association for Computing Machinery, pp. 1-7, 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, 23/04/23 . https://doi.org/10.1145/3544549.3585743
Journal of Automated Reasoning, 66(2), 215-238. Springer Netherlands Lewis, R Y & Wu, M 2022, ' A Bi-Directional Extensible Interface Between Lean and Mathematica ', Journal of Automated Reasoning, vol. 66, no. 2, pp. 215-238 . https://doi.org/10.1007/s10817-021-09611-1
Proceedings of the ACM on Programming Languages, 7(OOPSLA(1)) Proceedings of the ACM on Programming Languages, 7(OOPSLA1):101, 757-788. Association for Computing Machinery (ACM) Winter, L N, Buse, F, De Graaf, D, Von Gleissenthall, K & Kulahcioglu Ozkan, B 2023, ' Randomized Testing of Byzantine Fault Tolerant Algorithms ', Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA1, 101, pp. 757-788 . https://doi.org/10.1145/3586053
CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023, 253-266 STARTPAGE=253;ENDPAGE=266;TITLE=CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023 Limperg, J & From, A H 2023, Aesop: White-Box Best-First Proof Search for Lean . in R Krebbers, D Traytel, B Pientka & S Zdancewic (eds), CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023 . Association for Computing Machinery, Inc, pp. 253-266, 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023-Co-located with POPL 2023, Boston, United States, 16/01/23 . https://doi.org/10.1145/3573105.3575671 Limperg, J & From, A H 2023, Aesop: White-Box Best-First Proof Search for Lean . in Proceedings of the 12 th ACM SIGPLAN International Conference on Certified Programs and Proofs . Association for Computing Machinery, pp. 253-266, 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Boston, Massachusetts, United States, 16/01/2023 . https://doi.org/10.1145/3573105.3575671
Musaev, S & Fokkink, W 2022, A Note on the Message Complexity of Cidon’s Distributed Depth-First Search Algorithm . in N Jansen, M Stoelinga & P van den Bos (eds), A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13560 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 467-471 . https://doi.org/10.1007/978-3-031-15629-8_24 A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 467-471 STARTPAGE=467;ENDPAGE=471;TITLE=A Journey from Process Algebra via Timed Automata to Model Learning Lecture Notes in Computer Science ISBN: 9783031156281
IFAC-PapersOnLine, 55(28), 79-86. IFAC Secretariat Verbakel, J J, Vos de Wael, M E W, van de Mortel-Fronczak, J M, Fokkink, W J & Rooda, J E 2022, ' Supervisory control of roadside units ', IFAC-PapersOnLine, vol. 55, no. 28, pp. 79-86 . https://doi.org/10.1016/j.ifacol.2022.10.327