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

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2020	Die Integration von Flüchtlingen in den saarländischen Ausbildungs- und Arbeitsmarkt aus Arbeitgebersicht. Ergebnisse eines Studienprojektes und Werkstattbericht	Funk, Ines
2020	Fluchtraum Europa : interdisziplinäre Perspektiven	-
2020	The Case for Deep Query Optimisation	Dittrich, Jens; Nix, Joris
2020	X-Leep: Leveraging Cross-Layer Pacing for Energy-Efficient Edge Systems	Reif, Stefan; Herzog, Benedict; Pereira, Pablo Gil, u.a.
2020	AnyHLS: High-Level Synthesis With Partial Evaluation	Özkan, M. Akif; Pérard-Gayot, Arsène; Membarth, Richard, u.a.
2020	A history of the Oz multiparadigm language	Van Roy, Peter; Haridi, Seif; Schulte, Christian, u.a.
2020	General Latent Feature Models for Heterogeneous Datasets	Valera, Isabel; Pradier, Melanie F.; Lomeli, Maria, u.a.
2020	On the scalability of battery‐aware contact plan design for LEO satellite constellations	Fraire, Juan A.; Gerstacker, Carsten; Hermanns, Holger, u.a.
2020	On the probabilistic bisimulation spectrum with silent moves	Baier, Christel; D’Argenio, Pedro R.; Hermanns, Holger
2020	Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust	Stock, Gregory; Fraire, Juan A.; Momke, Tobias, u.a.
2020	Battery-Aware Contact Plan Design for LEO Satellite Constellations: The Ulloriaq Case Study	Fraire, Juan A.; Nies, Gilles; Gerstacker, Carsten, u.a.
2020	Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison	Klauck, Michaela; Steinmetz, Marcel; Hoffmann, Jörg, u.a.
2020	Connection models for the Internet-of-Things	He, Kangli; Hermanns, Holger; Wu, Hengyang, u.a.
2020	Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking	Hoffmann, Jorg; Hermanns, Holger; Klauck, Michaela, u.a.
2020	Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust	Stock, Gregory; Fraire, Juan A.; Momke, Tobias, u.a.
2020	Connection models for the Internet-of-Things	He, Kangli; Hermanns, Holger; Wu, Hengyang, u.a.
2020	Conformance-Based Doping Detection for Cyber-Physical Systems	Dimitrova, Rayna; Gazda, Maciej; Mousavi, Mohammad Reza, u.a.
2020	Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification	Faqeh, Rasha; Fetzer, Christof; Hermanns, Holger, u.a.
2020	Components in Probabilistic Systems: Suitable by Construction	Baier, Christel; Dubslaff, Clemens; Hermanns, Holger, u.a.
2020	Deep Statistical Model Checking	Gros, Timo P.; Hermanns, Holger; Hoffmann, Jörg, u.a.