Spring til hovednavigation Spring til søgning Spring til hovedindhold

Administration, Department of Computer Science

Fingerprint

Dyk ned i forskningsemnerne, hvor Administration, Department of Computer Science er aktive. Disse emneetiketter kommer fra arbejder fra denne organisations medlemmer. Sammen danner de et unikt fingerprint.
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere
Se alle 19 profiler
  • 4 Konferenceartikel i proceeding
  • 1 Bidrag til bog/antologi
  • 1 Tidsskriftartikel
  • 1 Preprint

  • Bridging Cross-domain Time Series: Efficient Federated Anomaly Detection with Sharded LLMs

    Xu, R., Miao, H., Wang, S., Zhao, Y., Yang, B., Gao, Y., Yu, P. S. & Jensen, C. S., 1 jun. 2026, I: IEEE Transactions on Knowledge and Data Engineering. 38, 6, s. 3416-3429 14 s., 11455320.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
    1   Link åbnes på en ny fane Citationer (Scopus)
    8 Downloads (Pure)

  • Extended Timed Regular Expressions

    Muniz Rodriguez, M. A., Mikučionis, M. & Larsen, K. G., 12 sep. 2025, Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings. Könighofer, B. & Torfah, H. (red.). Graz, Austria: Springer Nature, s. 233-251 18 s. (Lecture Notes in Computer Science (LNCS), Bind 16087).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • GPU Accelerating Statistical Model Checking for Extended Timed Automata

    Bak, O. S., Christiansen, M. W. B., Eriksen, O. V., Feo-Arenis, S., Jensen, P. G., Jensen, M. D., Juozapaitis, S., Larsen, K. G., Mikučionis, M., Muñiz, M. & Windfeld, A., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (red.). Springer, s. 267-292 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15261 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    1   Link åbnes på en ny fane Citationer (Scopus)
Se alle 7 publikation
  • 1 Organisering af eller deltagelse i workshop, kursus, seminar, udstilling eller lignende