Name Card

Full name Familienname, Vorname
Funk, Nikolaus Manes
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Träff, Jesper Larsson ; Hunold, Sascha ; Vardas, Ioannis ; Funk, Nikolaus Manes Uniform Algorithms for Reduce-scatter and (most) other Collectives for MPIInproceedings Konferenzbeitrag 2023
2Funk Nikolaus Manes - 2021 - Real time logics and reasoning answerset semantics...pdf.jpgFunk, Nikolaus Manes Real time logics and reasoning answerset semantics for metric temporal logicThesis Hochschulschrift 2021