Jonathan Thaler

According to our database, Jonathan Thaler authored at least 5 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Investigating the use of pure functional programming for agent-based simulation.

Jonathan Thaler

PhD thesis, 2020

Specification testing of agent-based simulation using property-based testing.

Jonathan Thaler, Peer-Olaf Siebers

Auton. Agents Multi Agent Syst., 2020

2019

A tale of lock-free agents: towards Software Transactional Memory in parallel Agent-Based Simulation.

Jonathan Thaler, Peer-Olaf Siebers

Complex Adapt. Syst. Model., 2019

Show me your properties: the potential of property-based testing in agent-based simulation.

Jonathan Thaler, Peer-Olaf Siebers

Proceedings of the 2019 Summer Simulation Conference, 2019

2018

Pure Functional Epidemics: An Agent-Based Approach.

Jonathan Thaler, Thorsten Altenkirch, Peer-Olaf Siebers

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018