Austria (AT)

A framework for formal verification of systems of synchronous components (2012) Günther H, Hedayati R, Löding H, Milius S, Möller O, Peleska J, Sulzmann M, Zechner A Conference contribution Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach (2012) Milbredt P, Glaß M, Lukasiewycz M, Steininger A, Teich J Conference contribution Managing Emerging Configuration Dependencies in Multi Product Lines (2012) Holl G, Thaller D, Grünbacher P, Elsner C Conference contribution Are Consumers Really Willing to Pay More for a Favorable Country Image? A Study of Country-of-Origin Effects on Willingness to Pay (2012) Koschate-Fischer N, Diamantopoulos A, Oldenkotte K Journal article Preventing Competitive Irrationality in Strategic Decision Making (2012) Graf-Vlachy L, König A, Enders A, Hungenberg H, Puck J Journal article Lethally hot temperatures during the Early Triassic (2012) Sun Y, Joachimski M, Wignall PB, Yan C, Chen Y, Jiang H, Wang L, et al. Journal article Optimization of electro-mechanical smart structures (2012) Bänsch E, Kaltenbacher M, Leugering G, Schury F, Wein F Book chapter / Article in edited volumes Das Projekt „Deutsch am Arbeitsplatz“. Sprachlich-kommunikative Kompetenzen fördern (2012) Grünhage-Monetti M, Kimmelmann N Journal article Biobank Governance: Heterogeneous Modes of Ordering and Democratization (2012) Gottweis H, Lauß G Journal article, Original article Constraints on the gamma-ray emission from the cluster-scale AGN outburst in the Hydra A galaxy cluster (2012) Abramowski A, Acero F, Aharonian F, Akhperjanian AG, Anton G, Balenderan S, Balzer A, et al. Journal article, Original article