Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2019	Syntactic Partial Order Compression for Probabilistic Reachability	Fox, Gereon; Stan, Daniel; Hermanns, Holger
2019	A Modest Approach to Modelling and Checking Markov Automata	Butkova, Yuliya; Hartmanns, Arnd; Hermanns, Holger
2019	Concurrent Programming from pseuCo to Petri	Freiberger, Felix; Hermanns, Holger
2019	The 10,000 Facets of MDP Model Checking	Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter
2019	Real-Time Planning as Decision-Making under Uncertainty	Mitchell, Andrew; Ruml, Wheeler; Spaniol, Fabian, u.a.
2019	Comparative criteria for partially observable contingent planning	Shmaryahu, Dorin; Shani, Guy; Hoffmann, Jörg
2019	Advanced Factoring Strategies for Decoupled Search Using Linear Programming	Schmitt, Frederik; Gnad, Daniel; Hoffmann, Jörg
2019	Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation	Hoffmann, Jörg; Magazzeni, Daniele
2019	On the Relation between Star-Topology Decoupling and Petri Net Unfolding	Gnad, Daniel; Hoffmann, Jörg
2019	Refining Abstraction Heuristics during Real-Time Planning	Eifler, Rebecca; Fickert, Maximilian; Hoffmann, Jörg, u.a.
2019	Hypothyroidism is Not Associated with Keratoconus Disease: Analysis of 626 Subjects	Flaskó, Zsuzsa; Zemova, Elena; Eppig, Timo, u.a.
2019	Endothelial cell density and corneal graft thickness following excimer laser vs. femtosecond laser-assisted penetrating keratoplasty-a prospective randomized study	Tóth, Gábor; Butskhrikidze, Teona; Seitz, Berthold, u.a.
2018	Zur Wirkung moralischer Appelle als Nudging? Ergebnisse aus verhaltensökonomischen Experimenten	Thieme, Lutz; Winkelhake, Olaf
2018	Architectures for ubiquitous 3D on heterogeneous computing platforms	Tamm, Georg
2018	Reactivity of substituted systems : a computational study	Jerbi, Jihene
2018	Eine entscheidungstheoretische Analyse der Karrierewege von Sportwissenschaftlern	Bischoff, Florian
2018	Mittlere und späte Kindheit (6-11 Jahre)	Kray, Jutta; Schaefer, Sabine
2018	Kognitive Kontrolle, Selbstregulation und Metakognition	Kray, Jutta; Schneider, Wolfgang
2018	What is "mere" about the mere ownership effect? The role of semantic processes for the self's impact on memory	Englert, Julia Valerie
2018	Cortisol as a potential pharmacological booster to enhance treatment for PTSD	Brückner, Alexandra Heike