print · login   

Bibtex actions:
  edit    source    raw source    raw html

2022

  1. J. Jacobs, S. Balzer and R. Krebbers. Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic. Proceedings of the ACM on Programming Languages, 2022, 6, 1-33, 10.1145/3498662.

2021

  1. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Esther Guerra and Mariëlle Stoelinga, Lecture Notes in Computer Science, 12649, Springer, 2021, 10.1007/978-3-030-71500-7.
  2. Peter Achten. Segments: An alternative rainfall problem. 31, 10.1017/S0956796821000216, Journal of Functional Programming, Cambridge University Press, 2021, e23.
  3. Arjen Rouvoet, Robbert Krebbers and Eelco Visser. Intrinsically-Typed Compilation with Nameless Labels. 2021, Proceedings of the ACM on Programming Languages (PACMPL), ACM SIGPLAN Symposium on Principles of Programming Languages (POPL).
  4. Johan Aronsson, Philip Lu, Daniel Strüber and Thorsten Berger. A Maturity Assessment Framework for Conversational AI Development Platforms. SAC'21: ACM/SIGAPP Symposium on Applied Computing, 1724-1733, 2021.
  5. Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho and Deivid Vale. Nominal Equational Problems. Foundations of Software Science and Computation Structures, 2021, Springer International Publishing, 22-41, 10.1007/978-3-030-71995-1_2.
  6. L. Blaauwbroek and J. H. Geuvers. ITP Automation in Practice: A User Study on Tactician. AITP 2021: 6th Conference on Artificial Intelligence and Theorem Proving September 5-11, 2021, Aussois and online, France, 2021, AITP, Aussois, 1-3.
  7. Carlos E. Budde, Christina Kolb and Mariëlle Stoelinga. Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. Alessandro Abate and Andrea Marin, Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings, Lecture Notes in Computer Science, 12846, 457-467, Springer, 2021, 10.1007/978-3-030-85172-9\_24.
  8. Carlos E. Budde and Mariëlle Stoelinga. Efficient Algorithms for Quantitative Attack Tree Analysis. 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021, 1-15, IEEE, 2021, 10.1109/CSF51468.2021.00041.
  9. Carlos E. Budde and Mariëlle Stoelinga. Efficient Algorithms for Quantitative Attack Tree Analysis. CoRR, abs/2105.07511, 2021, 2105.07511.
  10. Steven Carr, Nils Jansen and Ufuk Topcu. Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. Journal of Artificial Intelligence Research, 72, 819-847, 2021.
  11. Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann and Matthias Volk. The Probabilistic Model Checker Storm. STTT, 2021.
  12. Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman and Mariëlle Stoelinga. Model-based Safety and Security Co-analysis: a Survey. CoRR, abs/2106.06272, 2021, 2106.06272.
  13. Clemens Kupke and Jurriaan Rot. Expressive Logics for Coinductive Predicates. 10.46298/lmcs-17(4:19)2021, Logical Methods in Computer Science, Volume 17, Issue 4, 2021, December.
  14. M. Corsius, S. J. B. A. Hoppenbrouwers, M. Lokin, E. Baars, G. Sangers-Van Cappellen and I. Wilmont. RegelSpraak: a CNL for Executable Tax Rules Specification. CNL 2020/21: Proceedings of the Seventh International Workshop on Controlled Natural Language, 2021, Special Interest Group on Controlled Natural Language, Amsterdam, 1-7.
  15. G. H. Dal, Alfons W. Laarman, Arjen Hommersom and Peter J.F. Lucas. A compositional approach to probabilistic knowledge compilation. International Journal of Approximate Reasoning, 2021, 138, 38-66, Gevonden in WoS met onderzoeker 1037244 Lucas, P.J.F. (Peter) WosId D-1708-2012 Affil. (Radboud OR Nijmegen) 4 auteurs volgens WoS, 10.1016/j.ijar.2021.07.007.
  16. Carlos Diego Nascimento Damasceno, Isotilia Costa Melo and Daniel Strüber. Towards Multi-Criteria Prioritization of Best Practices in Research Artifact Sharing. Proceedings of the 1st Workshop on Open Science Practices for Software Engineering (OpenScienSE), 2021, 1-6, SBC, Porto Alegre, RS, Brasil, 10.5753/opensciense.2021.17137.
  17. Carlos Diego Nascimento Damasceno and Daniel Strüber. Quality Guidelines for Research Artifacts in Model-Driven Engineering. 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), October, 2021, 285-296, ACM, 10.1109/MODELS50736.2021.00036.
  18. Damien Pous, Jurriaan Rot and Jana Wagemaker. On Tools for Completeness of Kleene Algebra with Hypotheses. RAMiCS, Lecture Notes in Computer Science, 13027, 378-395, Springer, 2021.
  19. Dan Frumin, Robbert Krebbers and Lars Birkedal. Compositional Non-Interference for Fine-Grained Concurrent Programs. 2021, IEEE Symposium on Security and Privacy (S&P).
  20. Dan Frumin, Robbert Krebbers and Lars Birkedal. ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. 2021, Logical Methods in Computer Science (LMCS).
  21. Debjyoti Bera, Mathijs Schuts, Jozef Hooman and Ivan Kurtev. Reverse Engineering Models of Software Interfaces. Computer Science and Information Systems, 18, 3, 657-686, 2021, 10.2298/CSIS200131013B.
  22. Hans-Peter Deifel, Stefan Milius and Thorsten Wissmann. Coalgebra Encoding for Efficient Minimization. 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 28:1-28:19, Leibniz International Proceedings in Informatics (LIPIcs), 2021, 06, 195, Naoki Kobayashi, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10.4230/LIPIcs.FSCD.2021.28, Keywords: Coalgebra, Partition refinement, Transition systems, Minimization.
  23. H. Don, Hans Zantema and Michiel de Bondt. Slowly synchronizing automata with fixed alphabet size. Information and Computation, 2021, 279, 1-19, Gevonden in WoS met onderzoeker 1044220 Zantema, H. (Hans) Affil. (Radboud OR Nijmegen) 3 auteurs volgens WoS 1 gecorrigeerde auteur(s): 1 'Don, Henk' (1204524), 10.1016/j.ic.2020.104614.
  24. Firat Kara, Michael E. Belloy, Rick Voncken, Zahra Sarwari, Yadav Garima, Cynthia Anckaerts, An Langbeen, Valerie Leysen, Disha Shah, Jules Jacobs, Julie Hamaide, Peter Bols, Johan Van Audekerke, Jasmijn Daans, Caroline Guglielmetti, Kejal Kantarci, Vincent Prevot, Steffen Roßner, Peter Ponsaerts, Annemie Van der Linden and Marleen Verhoye. Long-term ovarian hormone deprivation alters functional connectivity, brain neurochemical profile and white matter integrity in the Tg2576 amyloid mouse model of Alzheimer's disease. Neurobiology of Aging, 2021, https://doi.org/10.1016/j.neurobiolaging.2021.02.011.
  25. Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot and Thorsten Wissmann. A New Approach for Active Automata Learning Based on Apartness. CoRR, abs/2107.05419, 2021, 2107.05419.
  26. Frits W. Vaandrager, Roderick Bloem and Masoud Ebrahimi. Learning Mealy Machines with One Timer. Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, 157-170, 2021, 10.1007/978-3-030-68195-1\_13, Alberto Leporati, Carlos Mart\'\in-Vide, Dana Shapira and Claudio Zandron, Lecture Notes in Computer Science, 12638, Springer.
  27. D. Frumin. Concurrent Separation Logics for Safety, Refinement, and Security. 2021, s.n., v,-201.
  28. Sergio Garc\'ia, Daniel Strüber, Davide Brugali, Thorsten Berger and Patrizio Pelliccione. Robotics Software Engineering: A Perspective from the Service Robotics Domain (Summary). SE'21: Software Engineering. Summary of our main track paper at ESEC/FSE'20, 2021, 41-42.
  29. Gerco van Heerdt, Tobias Kappé, Jurriaan Rot and Alexandra Silva. Learning Pomset Automata. FoSSaCS, Lecture Notes in Computer Science, 12650, 510-530, Springer, 2021.
  30. Herman Geuvers and Bart Jacobs. RELATING APARTNESS AND BISIMULATION. Logical Methods in Computer Science, 2021, 17, 3, 1-35, Gevonden in WoS met onderzoeker 1037208 Geuvers, J.H. (Herman) Affil. (Radboud OR Nijmegen) 2 auteurs volgens WoS.
  31. Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kret\'\insk\'y, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek and Dorsa Sadigh. Formalizing and guaranteeing human-robot interaction. Commun. ACM, 64, 9, 78-84, 2021, 10.1145/3433637.
  32. Hazem Torfah, Sebastian Junges, Daniel J. Fremont and Sanjit A. Seshia. Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV, LNCS, 12974, 311-330, Springer, 2021.
  33. Samuel Idowu, Daniel Strüber and Thorsten Berger. Asset Management in Machine Learning: A Survey. ICSE'21: ACM/IEEE International Conference on Software Engineering, Software Engineering in Practice Track (SEIP), 51-60, 2021.
  34. J. Jacobs, S. Balzer and R. Krebbers. Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic (Artifact). 2021, 10.5281/ZENODO.5550835.
  35. Jules Jacobs. Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities. 5, 10.1145/3434339, POPL, Proceedings of the ACM on Programming Languages, January, 2021, 58:1-58:26.
  36. Jip Spel, Sebastian Junges and Joost-Pieter Katoen. Finding Provably Optimal Markov Chains. TACAS, LNCS, 12651, 173-190, Springer, 2021.
  37. Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers and Jesper Bengtson. Machine-Checked Semantic Session Typing. 2021, ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP).
  38. Jurriaan Rot, Bart Jacobs and Paul Blain Levy. Steps and traces. J. Log. Comput., 31, 6, 1482-1525, 2021.
  39. M. A. A. Klinik. The Happy, the Sad, and the Unknown. Program Analysis and Automated Scheduling For Fault-Tolerant Workflows. 2021, s.n., xii,-211.
  40. Cynthia Kop and Deivid Vale. Tuple Interpretations for Higher-Order Complexity. 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 31:1-31:22, Leibniz International Proceedings in Informatics (LIPIcs), 2021, 195, Naoki Kobayashi, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10.4230/LIPIcs.FSCD.2021.31.
  41. Jens Kosiol, Daniel Strüber, Gabriele Taentzer and Steffen Zschaler. Sustaining and Improving Graduated Graph Consistency: A Static Analysis of Graph Transformations. SCP'21: Science of Computer Programming, 2021.
  42. Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen and Bernd Becker. Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control., 66, 3, 1040-1054, 2021.
  43. Wardah Mahmood, Daniel Strüber, Thorsten Berger, Ralf Lämmel and Mukelabai Mukelabai. Seamless Variability Management With the Virtual Platform. ICSE'21: ACM/IEEE International Conference on Software Engineering, 1658-1670, 2021.
  44. Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont and Sanjit Seshia. Entropy-Guided Control Improvisation. Robotics: Science and Systems, 2021.
  45. Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde and Ernst Moritz Hahn. The Marriage Between Safety and Cybersecurity: Still Practicing. Alfons Laarman and Ana Sokolova, Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, Lecture Notes in Computer Science, 12864, 3-21, Springer, 2021, 10.1007/978-3-030-84629-9\_1.
  46. Mathijs Schuts, Marco Alonso and Jozef Hooman. Industrial Experiences with the Evolution of a DSL. Proc. Workshop on Domain-Specific Modeling (DSM 2021), 21-30, ACM, 2021.
  47. Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer and Deepak Garg. RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types. Proceedings of the ACM on Programming Languages (PACMPL), 2021, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
  48. Milan Ceska, Christian Hensel, Sebastian Junges and Joost-Pieter Katoen. Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects Comput., 33, 4, 637-667, 2021.
  49. Milan Lopuhaä-Zwakenberg and Mariëlle Stoelinga. Attack time analysis in dynamic attack trees via integer linear programming. CoRR, abs/2111.05114, 2021, 2111.05114.
  50. Mohamadreza Ahmadi, Nils Jansen, Bo Wu and Ufuk Topcu. Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control., 66, 11, 5191-5204, 2021, 10.1109/TAC.2020.3035755.
  51. Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh and Ufuk Topcu. Synthesis of Provably Correct Autonomy Protocols for Shared Control. IEEE Trans. Autom. Control., 66, 7, 3251-3258, 2021, 10.1109/TAC.2020.3018029.
  52. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen and Ufuk Topcu. Robust Finite-State Controllers for Uncertain POMDPs. AAAI, 11792-11800, AAAI Press, 2021.
  53. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu. Convex Optimization for Parameter Synthesis in MDPs. Transaction on Automatic Control, to appear, 2021.
  54. Petra van den Bos and Frits W. Vaandrager. State identification for labeled transition systems with inputs and outputs. Sci. Comput. Program., 209, 102678, 2021, 10.1016/j.scico.2021.102678.
  55. Pieter W. M. Koopman, Steffen Michels and Rinus Plasmeijer. Dynamic Editors for Well-Typed Expressions. Viktória Zsók and John Hughes, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers, Lecture Notes in Computer Science, 12834, 44-66, Springer, 2021, 10.1007/978-3-030-83978-9\_3.
  56. Dennis Priefer, Wolf Rost, Daniel Strüber, Gabriele Taentzer and Peter Kneisel. Applying MDD in the content management system domain. Software and Systems Modeling, 20, 1919-1943, 2021, Springer.
  57. Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers and Derek Dreyer. Safe Systems Programming in Rust: The Promise and the Challenge. 2021, Communications of the ACM (CACM).
  58. Roman Andriushchenko, Milan Ceska, Sebastian Junges and Joost-Pieter Katoen. Inductive Synthesis for Probabilistic Programs Reaches New Horizons. TACAS, LNCS, 12651, 191-209, Springer, 2021.
  59. Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen and Simon Stupinsk\'y. PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. CAV, LNCS, 12759, 856-869, Springer, 2021.
  60. M. R. Schoolderman, J. S. Moerman, J. E. W. Smetsers and M. van Eekelen. Efficient Verification of Optimized Code: Correct High-Speed X25519. A. Dutle, M. M. Moscato, L. Titolo, C. A. Mu\~A\textpmoz and I. Perez, Lecture Notes in Computer Science, 2021, Springer International Publishing, Cham, 12673, 304-321, 10.1007/978-3-030-76384-8_19.
  61. P. Schwabe, B. Viguier, T. Weerwag and F. Wiedijk. A Coq proof of the correctness of X25519 in TweetNaCl. CSF 2021: 34th IEEE Computer Security Foundations Symposium, June 21-25. 2021 - Virtual Conference, 2021, IEEE, S.l., 1-16, 10.1109/CSF51468.2021.00023.
  62. Sebastian Junges, Hazem Torfah and Sanjit A. Seshia. Runtime Monitors for Markov Decision Processes. CAV, LNCS, 12760, 553-576, Springer, 2021.
  63. Sebastian Junges, Nils Jansen and Sanjit A. Seshia. Enforcing Almost-Sure Reachability in POMDPs. CAV, LNCS, 12760, 602-625, Springer, 2021.
  64. Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez and Tobias Winkler. The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci., 119, 183-210, 2021.
  65. Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer and Lars Birkedal. Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic. Proceedings of the ACM on Programming Languages (PACMPL), 2021, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
  66. Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen and Roderick Bloem. Adaptive Shielding under Uncertainty. 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021, 3467-3474, IEEE, 2021, 10.23919/ACC50511.2021.9482889.
  67. Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan and Ufuk Topcu. Safe Policies for Factored Partially Observable Stochastic Games. Dylan A. Shell, Marc Toussaint and M. Ani Hsieh, Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021, 2021, 10.15607/RSS.2021.XVII.079.
  68. Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia and Guy Van den Broeck. Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV, LNCS, 12760, 577-601, Springer, 2021.
  69. Daniel Strüber, Anthony Anjorin and Thorsten Berger. Variability representations in class models: an empirical assessment (Summary). SE'21: Software Engineering. Summary of our main track paper at MODELS'20, 2021, 103-104.
  70. Sven-Bodo Scholz and Artjoms \vSinkarovs. Tensor Comprehensions in SaC. 2021, ACM, New York, NY, USA, Proceedings of the 31st Symposium on the Implementation and Application of Functional Programming Languages, 10.1145/, IFL 2019.
  71. Thiago D. Simão, Nils Jansen and Matthijs T. J. Spaan. AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training. Frank Dignum, Alessio Lomuscio, Ulle Endriss and Ann Nowé, AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021, 1226-1235, ACM, 2021.
  72. Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala and Mariëlle Stoelinga. Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR, abs/2110.12662, 2021, 2110.12662.
  73. Thom S. Badings, Arnd Hartmanns, Nils Jansen and Marnix Suilen. Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings, Lecture Notes in Computer Science, 12673, 1-18, Springer, 2021, 10.1007/978-3-030-76384-8\_1.
  74. Thom S. Badings, Hasan A. Poonawala, Mariëlle Stoelinga and Nils Jansen. Correct-by-construction reach-avoid control of partially observable linear stochastic systems. CoRR, abs/2103.02398, 2021, 2103.02398.
  75. Thorsten Wissmann. Minimality Notions via Factorization Systems. 09, 2021, Proc. 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), 24:1-24:21, LIPIcs, 211, 10.4230/LIPIcs.CALCO.2021.24.
  76. Thorsten Wissmann, Stefan Milius and Lutz Schröder. Explaining Behavioural Inequivalence Generically in Quasilinear Time. 08, 2021, 10.4230/LIPIcs.CONCUR.2021.32, Proc. 32nd International Conference on Concurrency Theory (CONCUR 2021), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  77. Tim Quatmann, Sebastian Junges and Joost-Pieter Katoen. Markov Automata with Multiple Objectives. FMSD, 2021.
  78. N. Veltri and N. M. van der Weide. Constructing Higher Inductive Types as Groupoid Quotients. Logical Methods in Computer Science, 2021, 17, 2, 1-42.
  79. I. Wilmont, D. Dulfer, J. van 't Hof, M. Corsius and S. J. B. A. Hoppenbrouwers. A quality evaluation framework for a CNL for agile law execution. T. Kuhn and S. Hoppenbrouwers, CNL 2020/21: Proceedings of the Seventh International Workshop on Controlled Natural Language, 2021, Special Interest Group on Controlled Natural Language, Amsterdam, 1-10.
  80. Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot and Ichiro Hasuo. Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS, 1-14, IEEE, 2021.
  81. Zaharah Allah Bukhsh, Nils Jansen and Aaqib Saeed. Damage detection using in-domain and cross-domain transfer learning. Neural Comput. Appl., 33, 24, 16921-16936, 2021, 10.1007/s00521-021-06279-x.
  82. L. Zhang, L. Blaauwbroek, B. Piotrowski, C. Kaliszyk and J. Urban. Decision Trees for Tactic Prediction in Coq. AITP 2021: 6th Conference on Artificial Intelligence and Theorem Proving September 5-11, 2021, Aussois and online, France, 2021, AITP, Aussois, 1-3.
  83. L. Zhang, L. Blaauwbroek, B. Piotrowski, P. \"A\OEerná»\textthreesuperior, C. Kaliszyk and J. Urban. Online Machine Learning Techniques for Coq: A Comparison. F. Kamareddine and C. Sacerdoti Coen, Lecture Notes in Computer Science, 2021, Springer International Publishing, Cham, 12833, 67-83, 10.1007/978-3-030-81097-9_5.
  84. Artjoms \vSinkarovs, Hans-Nikolai Vie\ssmann and Sven-Bodo Scholz. Array Languages Make Neural Networks Fast. 2021, Association for Computing Machinery, New York, NY, USA, 10.1145/3460944.3464312, Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 39-50, ARRAY 2021.

2019

  1. Mart Lubbers, Pieter W. M. Koopman and Rinus Plasmeijer. Interpreting task oriented programs on tiny computers. Jurriën Stutterheim and Wei-Ngan Chin, IFL '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019, 4:1-4:12, ACM, 2019, 10.1145/3412932.3412936.