( en | de | ru )

 

Disambiguierung von "Ibsen-Jensen, Rasmus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis.

, , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 112-140. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michaela Ibsen

Timo Ibsen

Rasmus Lindstrot

Exploitation of the MERIS oxygen A band channel for the retrieval of cloud top pressure and the correction of instrumental stray light. FU Berlin, (2009)

Rasmus Fischer

Rasmus Thamsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Edit distance for timed automata., , und . HSCC, Seite 303-312. ACM, (2014)A short proof of correctness of the quasi-polynomial time algorithm for parity games., und . CoRR, (2017)Infinite-Duration Poorman-Bidding Games., , und . WINE, Volume 11316 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2018)The Big Match in Small Space., , und . CoRR, (2016)The Big Match in Small Space - (Extended Abstract)., , und . SAGT, Volume 9928 von Lecture Notes in Computer Science, Seite 64-76. Springer, (2016)Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis., , , und . ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 112-140. Springer, (2020)Complexity of Spatial Games., , , und . FSTTCS, Volume 250 von LIPIcs, Seite 11:1-11:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)The Big Match with a Clock and a Bit of Memory., , und . EC, Seite 149-150. ACM, (2018)Edit Distance for Pushdown Automata., , , und . ICALP (2), Volume 9135 von Lecture Notes in Computer Science, Seite 121-133. Springer, (2015)Qualitative analysis of concurrent mean-payoff games., und . Inf. Comput., (2015)