2012

• Solving language equations and disequations with applications to disunification in description logics and monadic set constraintsBaader, F. & Okhotin, A., 2012, S. 107-121, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Some Notes on Managing Closure OperatorsRudolph, S., 2012, ICFCA. S. 278-291, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Some remarks to application of bifurcation analysis in BWR stability analysisLange, C., Hennig, D. & Hurtado, A., 2012, in: International Conference on the Physics of Reactors 2012 : Advances in Reactor Physics. S. 3275-3292, 18 S.Publikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Sommerliche Raumkühlung im Wohnungsbau mittels kombinierter Heiz- und Kühlsysteme - Teil 1 - Gebäude- und AnlagensimulationSeidel, P., Gritzki, R. & Rösler, M., 2012, in:  Gesundheits-Ingenieur : GI ; Haustechnik, Bauphysik, Umwelttechnik. 133, S. 175-182, 8 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Spot-on for timed instances: striking a balance between spot and on-demand instancesKnauth, T. & Fetzer, C., 2012, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Steigerung der Biomasseflexibilität in der EnergietechnikVodegel, S., Gehrmann, H., Bernhardt, D. & Lyczkowska, A., 2012, in: Chemie-Ingenieur-Technik. 11, S. 1948-1956, 9 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Steuerung einer neuartigen Hexapod-Arbeitsausrüstung für Radlader: Teil 1 – Systembeschreibung, Busauslegung und SteuerungsarchitekturGroßmann, K. & Friedrich, C., 2012, in: ZWF CIM : Zeitschrift für wirtschaftliche Fertigung und Automatisierung. 107, 12, S. 897-902, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Stochastic Game LogicBaier, C., Kučera, A., Groesser, M. & Brázdil, T., 2012, in: Acta Informatica. 49, 4, S. 203-224, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Strain Behaviour of Concrete Slabs under Impact LoadBeckmann, B., Hummeltenberg, A., Weber, T. & Curbach, M., 2012, in: Structural Engineering International. 22, 4, S. 562-568, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Stream reasoning and complex event processing in ETALIS.Anicic, D., Rudolph, S., Fodor, P. & Stojanovic, N., 2012, in: Semantic web. 3, 4, S. 397-407, 11 S., 4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel