Ruth Hoffmann

Orcid: 0000-0002-1011-5894

According to our database1, Ruth Hoffmann authored at least 17 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Composable Constraint Models for Permutation Enumeration.
CoRR, 2023

Towards Automatic Design of Factorio Blueprints.
CoRR, 2023

2022
Understanding How People Approach Constraint Modelling and Solving.
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021
Using Small MUSes to Explain How to Solve Pen and Paper Puzzles.
CoRR, 2021

Explaining Pen and Paper Puzzles with MUSes?
Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021

2020
Collaborative models for autonomous systems controller synthesis.
Formal Aspects Comput., 2020

2019
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018
Memory Consistency Models using Constraints.
CoRR, 2018

Strategy Synthesis for Autonomous Agents Using PRISM.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

2017
Verification of a lazy cache coherence protocol against a weak memory model.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Between Subgraph Isomorphism and Maximum Common Subgraph.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods.
CoRR, 2016

Autonomous Agent Behaviour Modelled in PRISM - A Case Study.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Towards the Automated Verification of Weibull Distributions for System Failure Rates.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015
On dots in boxes, or permutation pattern classes and regular languages.
PhD thesis, 2015

The IceProd framework: Distributed data processing for the IceCube neutrino observatory.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
J. Parallel Distributed Comput., 2015


  Loading...