Marlene Koelbing

dblp:314/6077 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
3since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
YearPublicationVenuePosition
2023 Applying Pairwise Combinatorial Testing to Large Language Model Testing
Bernhard Garn, Ludwig Kampel, Manuel Leithner, Berina Celic, Ceren Çulha, Irene Hiess, Klaus Kieseberg, Marlene Koelbing, Dominik-Philip Schreiber, Michael Wagner 0026, Christoph Wech, Jovan Zivanovic, Dimitris E. Simos
ICTSS8
2023 Fresh function spectra
abstract
In this paper, we investigate the fresh function spectrum of forcing notions, where a new function on an ordinal is called fresh if all its initial segments are in the ground model. We determine the fresh function spectrum of several forcing notions and discuss the difference between fresh functions and fresh subsets. Furthermore, we consider the question which sets are realizable as the fresh function spectrum of a homogeneous forcing. We show that under GCH all sets with a certain closure property are realizable, while consistently there are sets which are not realizable.
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
Ann. Pure Appl. Log.2
2022 Ideal topologies in higher descriptive set theory
Peter Holy, Marlene Koelbing, Philipp Schlicht, Wolfgang Wohofsky
Ann. Pure Appl. Log.2