( en | de | ru )

 

Disambiguierung von "Jakubuv, Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Public Plans to Global Solutions in Multiagent Planning.

, , und . EUMAS/AT, Volume 9571 von Lecture Notes in Computer Science, Seite 21-33. Springer, (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)

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Characteristic Subsets of SMT-LIB Benchmarks., , und . SMT, Volume 2908 von CEUR Workshop Proceedings, Seite 53-63. CEUR-WS.org, (2021)Using Process Calculi for Plan Verification in Multiagent Planning., , und . ICAART (Revised Selected Papers), Volume 9494 von Lecture Notes in Computer Science, Seite 245-261. Springer, (2015)Solving Hard Mizar Problems with Instantiation and Strategy Invention., , und . CICM, Volume 14960 von Lecture Notes in Computer Science, Seite 315-333. Springer, (2024)Expressiveness of Generic Process Shape Types., und . TGC, Volume 6084 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2010)Multiagent Planning by Plan Set Intersection and Plan Verification., , und . ICAART (2), Seite 173-182. SciTePress, (2015)Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery., , und . LPAR, Volume 100 von EPiC Series in Computing, Seite 360-369. EasyChair, (2024)ProofWatch: Watchlist Guidance for Large Theories in E., , , und . ITP, Volume 10895 von Lecture Notes in Computer Science, Seite 270-288. Springer, (2018)Hammering Mizar by Learning Clause Guidance (Short Paper)., und . ITP, Volume 141 von LIPIcs, Seite 34:1-34:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Generating Multi-Agent Plans by Distributed Intersection of Finite State Machines., , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 1111-1112. IOS Press, (2014)Recursive Polynomial Reductions for Classical Planning., , , und . ICAPS, Seite 317-325. AAAI Press, (2016)