( en | de | ru )

 

Disambiguierung von "Lonsing, Florian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Theoretical Framework for Symbolic Quick Error Detection.

, , und . FMCAD, Seite 1-10. IEEE, (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.

Marco Lonsing

Florian Klasovsky

Syntheseparameter-Reaktivitätsbeziehungen für neue Palladiumoxidkatalysatoren in feinchemischen Hydrierungen. TU Darmstadt, (2009)

Florian Franz

Realzeittest von Fahrzeugsoftware-Komponenten. TU München, (2009)

Florian Beißner

Funktionelle Bildgebung des vegetativen Nervensystems: neue Ansätze zur fMRT-Messung des menschlichen Hirnstamms. Uni Frankfurt Main, (2010)

Florian Exl

Einflussfaktoren auf die Bewertung der Hydrophobieeigenschaften von Isolierwerkstoffen. TU München, (2010)
 

Weitere Publikationen von Autoren mit dem selben Namen

Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection., , , , , , , , und . CoRR, (2021)QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties., und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 203-210. Springer, (2019)Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper., , , , , , , , und . ICCAD, Seite 1-8. ACM, (2019)A-QED Verification of Hardware Accelerators., , , , , , , , , und 3 andere Autor(en). DAC, Seite 1-6. IEEE, (2020)G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators., , , , , , , , , und 2 andere Autor(en). DAC, Seite 1-6. IEEE, (2023)A Compact Representation for Syntactic Dependencies in QBFs., und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 398-411. Springer, (2009)Integrating Dependency Schemes in Search-Based QBF Solvers., und . SAT, Volume 6175 von Lecture Notes in Computer Science, Seite 158-171. Springer, (2010)Lightweight Online Learning for Sets of Related Problems in Automated Reasoning., , , , , und . FMCAD, Seite 1-11. IEEE, (2023)DepQBF: A Dependency-Aware QBF Solver., und . J. Satisf. Boolean Model. Comput., 7 (2-3): 71-76 (2010)Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations., , , , , und . Formal Methods Syst. Des., 57 (2): 157-177 (2021)