Sebastian Koch
From MaRDI portal
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
