Fingeraftryk
Dyk ned i forskningsemnerne, hvor Stelios Tsampas er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikationer
- 2 Tidsskriftartikel
-
Big Steps in Higher-Order Mathematical Operational Semantics
Goncharov, S., Partow, P. & Tsampas, S., 5. aug. 2025, I: Proceedings of the ACM on Programming Languages. 9, ICFP, s. 1007-1035 29 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Downloads (Pure) -
CRDT Emulation, Simulation, and Representation Independence
Liittschwager, N., Castello, J., Tsampas, S. & Kuper, L., 5. aug. 2025, I: Proceedings of the ACM on Programming Languages. 9, ICFP, s. 675-703Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Downloads (Pure)
Projekter
- 1 Igangværende
-
Deutsche Forschungsgmeinscaft (DGF) - Abstrakte Techniken für Programmiersprachen und sichere Kompilierung
Tsampas, S. (Projektdeltager)
20/01/2025 → 01/12/2028
Projekter: Projekt › Andre