( en | de | ru )

 

Disambiguierung von "Niewiadomski, Artur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TripICS - a Web Service Composition System for Planning Trips and Travels.

, , , und . Fundam. Informaticae, 157 (4): 403-425 (2018)

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.

Patrycja Niewiadomski

Artur Koch

Artur Bühler

Artur Brandt

Artur Oddey

 

Weitere Publikationen von Autoren mit dem selben Namen

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME., , , und . Sci. Ann. Comput. Sci., 28 (2): 269-288 (2018)Parametric Model Checking with VerICS., , , , , und . Trans. Petri Nets Other Model. Concurr., (2010)Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing., , , und . Fundam. Informaticae, 147 (2-3): 289-313 (2016)Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios., , , , und . Fundam. Informaticae, 120 (2): 181-203 (2012)PlanICS - a Web Service Composition Toolset., , , , , , , und . Fundam. Informaticae, 112 (1): 47-71 (2011)SMT-Based Unbounded Model Checking for ATL., , , , und . VECoS, Volume 13187 von Lecture Notes in Computer Science, Seite 43-58. Springer, (2021)SMT-based Abstract Temporal Planning., und . PNSE @ Petri Nets, Volume 1160 von CEUR Workshop Proceedings, Seite 55-74. CEUR-WS.org, (2014)LoLA as Abstract Planning Engine of PlanICS., und . PNSE @ Petri Nets, Volume 1160 von CEUR Workshop Proceedings, Seite 349-350. CEUR-WS.org, (2014)Satisfiability Checking of Strategy Logic with Simple Goals., , und . KR, Seite 400-410. (2021)SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework., , , , und . Fundam. Informaticae, 135 (4): 451-466 (2014)