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 |
|---|---|---|
| Free product of groups Formalized Mathematics | 2026-03-23 | Paper |
| Extended natural numbers and counters Formalized Mathematics | 2024-08-26 | Paper |
| Introduction to graph colorings Formalized Mathematics | 2024-04-22 | Paper |
| A minimal model for the influence of equilibrium positions on brake squeal GAMM-Mitteilungen | 2023-12-15 | Paper |
| About regular graphs Formalized Mathematics | 2023-11-28 | Paper |
| Introduction to graph enumerations Formalized Mathematics | 2023-11-28 | Paper |
| About graph sums Formalized Mathematics | 2022-09-09 | Paper |
| Refined finiteness and degree properties in graphs Formalized Mathematics | 2022-03-14 | Paper |
| About graph unions and intersections Formalized Mathematics | 2022-03-14 | Paper |
| Unification of graphs and relations in Mizar Formalized Mathematics | 2022-03-14 | Paper |
| Miscellaneous graph preliminaries. I Formalized Mathematics | 2021-11-17 | Paper |
| About graph complements Formalized Mathematics | 2021-03-24 | Paper |
| Miscellaneous graph preliminaries Formalized Mathematics | 2021-03-24 | Paper |
| Underlying simple graphs Formalized Mathematics | 2020-03-10 | Paper |
| About graph mappings Formalized Mathematics | 2020-03-10 | Paper |
| About vertex mappings Formalized Mathematics | 2020-03-10 | Paper |
| Natural addition of ordinals Formalized Mathematics | 2019-11-19 | Paper |
| About supergraphs. III Formalized Mathematics | 2019-11-19 | Paper |
| Some remarks about product spaces Formalized Mathematics | 2019-07-10 | Paper |
| About supergraphs. I Formalized Mathematics | 2019-07-10 | Paper |
| About supergraphs. II Formalized Mathematics | 2019-07-10 | Paper |
| Least squares approximate policy iteration for learning bid prices in choice-based revenue management Computers & Operations Research | 2018-07-11 | Paper |
| Locating a robber with multiple probes Discrete Mathematics | 2017-10-24 | Paper |
| Locating a robber with multiple probes Discrete Mathematics | 2017-10-24 | Paper |
| About quotient orders and ordering sequences Formalized Mathematics | 2017-10-06 | Paper |
| The time of graph bootstrap percolation Random Structures & Algorithms | 2017-09-26 | Paper |
| An EMSR-based approach for revenue management with integrated upgrade decisions Computers & Operations Research | 2016-11-10 | Paper |
| Subdivisions in the robber locating game Discrete Mathematics | 2016-07-05 | Paper |
| The robber locating game Discrete Mathematics | 2015-10-08 | Paper |
| Subgraphs and Colourability of Locatable Graphs | 2014-02-12 | Paper |
Research outcomes over time
This page was built for person: Sebastian Koch
