( en | de | ru )

 

Disambiguierung von "Poulsen, Danny Bøgsted"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Collapsing Prefix Normal Words.

, , , und . LATA, Volume 12038 von Lecture Notes in Computer Science, Seite 412-424. 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.

Frederik Poulsen

Vagn Poulsen

Danny Bachfeld

Analyse des Hygienestatus im Zentrum für Zahn-, Mund- und Kieferheilkunde der Universität Greifswald, ergänzt durch eine experimentelle Studie zur Wirkung von Guanidinthiocyanat auf Nickel-Titan-Instrumente. Uni Greifswald, (2009)

Danny Schulze

Danny Bot

 

Weitere Publikationen von Autoren mit dem selben Namen

Importance Splitting in Uppaal., , , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 433-447. Springer, (2022)Verified Verifying: SMT-LIB for Strings in Isabelle., , , , und . CIAA, Volume 14151 von Lecture Notes in Computer Science, Seite 206-217. Springer, (2023)Refinement of Systems with an Attacker Focus., , und . FMICS, Volume 14290 von Lecture Notes in Computer Science, Seite 96-112. Springer, (2023)Practical controller synthesis for MTL0, ∞., , , , und . SPIN, Seite 102-111. ACM, (2017)Solving String Theories Involving Regular Membership Predicates Using SAT., , , und . SPIN, Volume 13255 von Lecture Notes in Computer Science, Seite 134-151. Springer, (2022)Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code., , , , , , , , , und 2 andere Autor(en). NordSec, Volume 13115 von Lecture Notes in Computer Science, Seite 192-211. Springer, (2021)Rule-based Word Equation Solving., , , , und . FormaliSE@ICSE, Seite 87-97. ACM, (2020)Modelling Attack-defense Trees Using Timed Automata., , , , , und . FORMATS, Volume 9884 von Lecture Notes in Computer Science, Seite 35-50. Springer, (2016)Modelling and Analysis of DTLS: Power Consumption and Attacks., , , , , , , , und . FMICS, Volume 14952 von Lecture Notes in Computer Science, Seite 136-151. Springer, (2024)Statistical Model Checking of LLVM Code., , , und . FM, Volume 10951 von Lecture Notes in Computer Science, Seite 542-549. Springer, (2018)