8 citations · 15 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
The Autonomous Data Language -- Concepts, Design and Formal Verification
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
Nowadays, the main advances in computational power are due to parallelism. However, most parallel languages have been designed with a focus on processors and threads. This makes de…
cs.LG2025
A Detailed Account of Compositional Automata Learning through Alphabet Refinement
Leo Henry, Thomas Neele, Mohammad Reza Mousavi +1
Active automata learning infers automaton models of systems from behavioral observations, a technique successfully applied to a wide range of domains. Compositional approaches have…