Ruth Hoffmann
From MaRDI portal
Person:1626745
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Composable constraint models for permutation enumeration Discrete Mathematics and Theoretical Computer Science. DMTCS | 2026-01-15 | Paper |
| Composable Constraint Models for Permutation Enumeration | 2023-11-29 | Paper |
| Collaborative models for autonomous systems controller synthesis Formal Aspects of Computing | 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
