Computation, Information and Technology

STRATA
Gebele, J. (Leitende(r) Forscher/-in) & Matthes, F. (Leitende(r) Forscher/-in)
1/05/26 → 30/04/29
Projekt: Forschung
CausalMosaic
Gottal, J. (Leitende(r) Forscher/-in) & Matthes, F. (Leitende(r) Forscher/-in)
1/01/26 → 31/12/28
Projekt: Forschung
INDEX
Oehms, J. (Leitende(r) Forscher/-in) & Matthes, F. (Leitende(r) Forscher/-in)
1/01/26 → 31/12/28
Projekt: Forschung

CORA: Verifying Neural Networks in a Shared Latent Space (Competition Contribution)
Koller, L., Ladner, T., Kellner, B. & Althoff, M., 2027, AI Verification - 3rd International Symposium, SAIV 2026, Proceedings. Avni, G. & Schilling, C. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 373-379 7 S. (Lecture Notes in Computer Science; Band 16831 LNCS).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
LLMs for Venture Capital Investment: Approaches and Open Problems
Galang, J. A. C., Mosca, E., Malberg, S. & Groh, G., 2027, Artificial Intelligence Applications and Innovations - 22nd IFIP WG 12.5 International Conference, AIAI 2026, Proceedings. Maglogiannis, I., Iliadis, L., Papaleonidas, A. & Zervakis, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 167-181 15 S. (IFIP Advances in Information and Communication Technology; Band 795 IFIPAICT).
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Spectral theory of dense hypergraph limits
Backhausz, Á., Kuehn, C., van der Niet, S. & Zucal, G., Jan. 2027, in: Discrete Mathematics. 350, 1, 115362.
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Open Access

Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre