Sekretariat, datalogi

Fingerprint

Fingerprint er automatisk genererede koncepter, som relaterer til enhedens profil, samt indholdet i de tilknyttede personprofiler. Det opdateres løbende med tilføjelsen af nye registreringer.
Vis fuldt fingerprint

Samarbejde i de sidste fem år

Klik på punkterne for at se detaljerne.
Udforsk netværk yderligere
Se alle 23 profiler
  • 1 Igangværende
  • 1 Bidrag til bog/antologi
  • 1 Konferenceartikel i proceeding
  • 1 Preprint

  • 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (red.). Springer, Bind 15261. 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 Citationer (Scopus)

  • Scalable Computation of Inter-Core Bounds Through Exact Abstractions

    Foughali, M. A., Mikucionis, M. & Zhang, M., 2024, Proceedings - 2024 IEEE 48th Annual Computers, Software, and Applications Conference, COMPSAC 2024. Shahriar, H., Ohsaki, H., Sharmin, M., Towey, D., Majumder, A. J. A., Hori, Y., Yang, J.-J., Takemoto, M., Sakib, N., Banno, R. & Ahamed, S. I. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 61-70 10 s. (IEEE Annual Computers, Software, and Applications Conference (COMPSAC)).

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

  • Scalable Computation of Inter-Core Bounds Through Exact Abstractions

    Foughali, M. A., Mikučionis, M. & Zhang, M., 10 maj 2024, arXiv, 28 s.

    Publikation: Working paper/Preprint › Preprint

    Åben adgang
    Fil
    4 Downloads (Pure)