( en | de | ru )

 

Disambiguierung von "Strejcek, Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution).

, , , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 946-949. Springer, (2016)

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.

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)

Matthäus Janczyk

Synthese funktionalisierter Trinukleotide und ihre Anwendung bei der Randomisierung. Uni Greifswald, (2009)

Christoph Janello

Wertschöpfung im digitalisierten Buchmarkt. Uni München, (2010)

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Symbolic Memory with Pointers., und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 380-395. Springer, (2014)Fast Computation of Strong Control Dependencies., , , und . CoRR, (2020)Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper)., und . LPAR, Volume 57 von EPiC Series in Computing, Seite 488-497. EasyChair, (2018)ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata., , , , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 357-365. Springer, (2019)Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution)., und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 523-528. Springer, (2023)Decidable Race Condition and Open Coregions in HMSC., , , und . ECEASST, (2010)Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization., , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 15-27. Springer, (2020)Joint Forces for Memory Safety Checking., , und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 115-132. Springer, (2018)Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)., , und . TACAS, Volume 7795 von Lecture Notes in Computer Science, Seite 630-632. Springer, (2013)On Refinement of Büchi Automata for Explicit Model Checking., , , und . SPIN, Volume 9232 von Lecture Notes in Computer Science, Seite 66-83. Springer, (2015)