Ruth Hoffmann

Available identifiers

zbMath Open hoffmann.ruthMaRDI QIDQ1626745

List of research outcomes

Publication	Date of Publication	Type
Composable Constraint Models for Permutation Enumeration	2023-11-29	Paper
Collaborative models for autonomous systems controller synthesis	2020-09-09	Paper
Sequential and parallel solution-biased search for subgraph algorithms	2019-10-14	Paper
Observations from parallelising three maximum common (connected) subgraph algorithms	2018-11-21	Paper
Regular languages of plus- and minus-(in)decomposable permutations	2015-01-09	Paper

Research outcomes over time

This page was built for person: Ruth Hoffmann