( en | de | ru )

 

Disambiguierung von "Obdrzálek, Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FO Model Checking of Interval Graphs

, , , , , und . Logical Methods in Computer Science, (2015)

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

FO Model Checking of Interval Graphs., , , , , und . ICALP (2), Volume 7966 von Lecture Notes in Computer Science, Seite 250-262. Springer, (2013)FO Model Checking of Interval Graphs, , , , , und . Logical Methods in Computer Science, (2015)When Trees Grow Low: Shrubs and Fast MSO1., , , , , und . MFCS, Volume 7464 von Lecture Notes in Computer Science, Seite 419-430. Springer, (2012)Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width., , und . FSTTCS, Volume 8 von LIPIcs, Seite 73-83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)A parallel java grande benchmark suite., , und . SC, Seite 8. ACM, (2001)First order limits of sparse graphs: Plane trees and path-width., , , , , , , und . Random Struct. Algorithms, 50 (4): 612-635 (2017)STANSE: Bug-finding Framework for C Programs, , und . CoRR, (2012)Faster Existential FO Model Checking on Posets., , , und . ISAAC, Volume 8889 von Lecture Notes in Computer Science, Seite 441-451. Springer, (2014)Qualitative Reachability in Stochastic BPA Games., , , und . STACS, Volume 3 von LIPIcs, Seite 207-218. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Clique-Width and Parity Games.. CSL, Volume 4646 von Lecture Notes in Computer Science, Seite 54-68. Springer, (2007)