Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

M. Sc. Karla Messing

Informatik / AI

Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 263
Telefon
+49 203 379 1401
Telefax
+49 203 379 3557
E-Mail
karla.messing@uni-due.de

Funktionen

  • Wissenschaftliche/r Mitarbeiter/in, Theoretische Informatik

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.

    Beiträge in Sammelwerken und Tagungsbänden

  • Forster, Jonas; Schröder, Lutz; Wild, Paul; Beohar, Harsh; Gurke, Sebastian; König, Barbara; Messing, Karla
    Quantitative Graded Semantics and Spectra of Behavioural Metrics
    In: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) / CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / Endrullis, Jörg; Schmitz, Sylvain (Hrsg.). Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2025, 33
    DOI (Open Access)
  • Beohar, Harsh; König, Barbara; Forster, Jonas; Wild, Paul; Gurke, Sebastian; Messing, Karla; Schröder, Lutz
    Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach
    In: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024) / Symposium on Theoretical Aspects of Computer Science (STACS) / Beyersdorff, Olaf; Kante, Mamadou; Kupferman, Orna; Lokshtanov, Daniel (Hrsg.). Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2024, 10
    DOI (Open Access)
  • Forster, Jonas; Schröder, Lutz; Wild, Paul; Beohar, Harsh; Gurke, Sebastian; Messing, Karla
    Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
    In: Coalgebraic Methods in Computer Science: Proceedings / 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024 / König, Barbara; Urbat, Henning (Hrsg.). Berlin: Springer, 2024, S. 114 – 134
    DOI
  • Beohar, Harsh; Gurke, Sebastian; König, Barbara; Messing, Karla
    Hennessy-Milner Theorems via Galois Connections
    In: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023) / 31st EACSL Annual Conference on Computer Science Logic, February 13-16, 2023, Warsaw, Poland / Klin, Bartek; Pimentel, Elaine (Hrsg.). Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023, 12:1-12:18
    DOI (Open Access)