Karla Messing

Orcid: 0009-0003-1019-6449

According to our database1, Karla Messing authored at least 5 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2023
2024
2025
0
1
2
3
1
1
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Quantitative Graded Semantics and Spectra of Behavioural Metrics.
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CoRR, 2023

Hennessy-Milner Theorems via Galois Connections.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023


  Loading...