2012

• Solving language equations and disequations with applications to disunification in description logics and monadic set constraintsBaader, F. & Okhotin, A., 2012, p. 107-121, 15 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Some Notes on Managing Closure OperatorsRudolph, S., 2012, ICFCA. p. 278-291, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 3275-3292, 18 p.Research output: Contribution to journal > Conference article
• 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, p. 175-182, 8 p.Research output: Contribution to journal > Research article
• Spot-on for timed instances: striking a balance between spot and on-demand instancesKnauth, T. & Fetzer, C., 2012, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Steigerung der Biomasseflexibilität in der EnergietechnikVodegel, S., Gehrmann, H., Bernhardt, D. & Lyczkowska, A., 2012, In: Chemie-Ingenieur-Technik. 11, p. 1948-1956, 9 p.Research output: Contribution to journal > Research article
• Stochastic Game LogicBaier, C., Kučera, A., Groesser, M. & Brázdil, T., 2012, In: Acta Informatica. 49, 4, p. 203-224, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Strain Behaviour of Concrete Slabs under Impact LoadBeckmann, B., Hummeltenberg, A., Weber, T. & Curbach, M., 2012, In: Structural Engineering International. 22, 4, p. 562-568, 7 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Stream reasoning and complex event processing in ETALIS.Anicic, D., Rudolph, S., Fodor, P. & Stojanovic, N., 2012, In: Semantic web. 3, 4, p. 397-407, 11 p., 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Structure matters - Some notes on high gain observer design for nonlinear systemsRöbenack, K., 2012, International Multi-Conference on Systems, Signals and Devices, SSD 2012 - Summary ProceedingsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution