( en | de | ru )

 

Disambiguierung von "Ábrahám, Erika"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Minimal counterexamples for linear-time probabilistic verification.

, , , , und . Theor. Comput. Sci., (2014)

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.

Rainer Abraham

Günter Abraham

Abraham Merel

Abraham Frowein

Norbert Abraham

 

Weitere Publikationen von Autoren mit dem selben Namen

Levelwise construction of a single cylindrical algebraic cell., , , , , und . CoRR, (2022)FMplex: A Novel Method for Solving Linear Real Arithmetic Problems., , , und . GandALF, Volume 390 von EPTCS, Seite 16-32. (2023)Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions., , und . FMAS@iFM, Volume 395 von EPTCS, Seite 30-68. (2023)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , und . ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 1-31. EasyChair, (2021)Some recent advances in automated analysis., und . Int. J. Softw. Tools Technol. Transf., 18 (2): 121-128 (2016)Hybrid Sequential Function Charts., und . MBMV, Volume 68 von Forschungsergebnisse zur Informatik, Seite 109-120. Verlag Dr. Kovac, (2012)A Tool-Supported Proof System for Multithreaded Java., , , und . FMCO, Volume 2852 von Lecture Notes in Computer Science, Seite 1-32. Springer, (2002)Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection., , , und . CoRR, (2024)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , und . CoRR, (2019)New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)., , , , und . PAAR+SC²@IJCAR, Volume 2752 von CEUR Workshop Proceedings, Seite 178-188. CEUR-WS.org, (2020)