( en | de | ru )

 

Disambiguierung von "Blicha, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decomposing Farkas Interpolants.

, , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2019)

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.

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)

Martin Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)

Martin Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)

Martin Sanchez

Charakterisierung des Replikationsenzyms ORF904 aus Sulfolobus islandicus. Uni Bayreuth, (2010)
 

Weitere Publikationen von Autoren mit dem selben Namen

The Golem Horn Solver., , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 209-223. Springer, (2023)Theory-Specific Proof Steps Witnessing Correctness of SMT Executions., , , , und . DAC, Seite 541-546. IEEE, (2021)SMT-based verification of program changes through summary repair., , , , und . Formal Methods Syst. Des., 60 (3): 350-380 (2022)Split Transition Power Abstraction for Unbounded Safety., , , und . FMCAD, Seite 349-358. IEEE, (2022)SolCMC: Solidity Compiler's Model Checker., , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 325-338. Springer, (2022)Farkas-Based Tree Interpolation., , , , und . SAS, Volume 12389 von Lecture Notes in Computer Science, Seite 357-379. Springer, (2020)CHC Model Validation with Proof Guarantees., , , und . iFM, Volume 14300 von Lecture Notes in Computer Science, Seite 62-81. Springer, (2023)Decomposing Farkas Interpolants., , , und . TACAS (1), Volume 11427 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2019)Using linear algebra in decomposition of Farkas interpolants., , , und . Int. J. Softw. Tools Technol. Transf., 24 (1): 111-125 (2022)Computing Exact Worst-Case Gas Consumption for Smart Contracts., , , , und . ISoLA (4), Volume 11247 von Lecture Notes in Computer Science, Seite 450-465. Springer, (2018)