Department Informatik

Importing the OEIS library into OMDoc (2015) Luzhnica E, Iancu M, Kohlhase M Conference contribution, Conference Contribution Context in spreadsheet comprehension (2015) Kohlhase M, Kohlhase A Conference contribution, Original article Assessment for spreadsheets (2015) Toader A, Kohlhase M, Kohlhase A Conference contribution, Original article A flexiformal model of knowledge dissemination and aggregation in mathematics (2015) Iancu M, Kohlhase M Conference contribution, Original article Simulation of Solid-State-Lasers and Amplifiers (2015) Pflaum C, Rahimi Z Conference contribution, Conference Contribution Invasive computing for predictable stream processing: A simulation-based case study (2015) Roloff S, Wildermann S, Hannig F, Teich J Conference contribution, Conference Contribution Reconfiguration Testing for Cooperative Autonomous Agents (2015) Saglietti F, Winzinger S, Lill R Conference contribution Continuous Short-term Irradiance Forecasts using Sky Images (2014) Bernecker D, Riess C, Angelopoulou E, Hornegger J Journal article, Original article Partial Paradigm Hiding and Reusability in Hybrid Simulation Modeling Using the Frameworks HealthDS and i7-AnyEnergy (2014) Djanatliev A, Bazan P, German R Conference contribution, Original article Towards a Performance-portable Description of Geometric Multigrid Algorithms using a Domain-specific Language (2014) Membarth R, Reiche O, Schmitt C, Hannig F, Teich J, Stürmer M, Köstler H Journal article