Challenges in Constraint-Based Analysis of Hybrid Systems. - Andreas Eggers; Natalia Kalinnik; Stefan Kupferschmid; Tino Teige (CSCLP, 2008)

Propositional approximations for bounded model checking of partial circuit designs. - Bernd Becker 001; Marc Herbstritt; Natalia Kalinnik; Matthew Lewis 004; Juri Lichtner; Tobias Nopper; Ralf Wimmer 001 (ICCD, 2008)

Picoso - A Parallel Interval Constraint Solver. - Natalia Kalinnik; Tobias Schubert 001; Erika Ábrahám; Ralf Wimmer 001; Bernd Becker 001 (PDPTA, 2009)

Exploiting Different Strategies for the Parallelization of an SMT Solver. - Natalia Kalinnik; Erika Ábrahám; Tobias Schubert 001; Ralf Wimmer 001; Bernd Becker 001 (MBMV, 2010)

Dynamic selection of implementation variants of sequential iterated runge-kutta methods with tile size sampling. - Natalia Kalinnik; Matthias Korch; Thomas Rauber (ICPE, 2011)

An efficient time-step-based self-adaptive algorithm for predictor-corrector methods of Runge-Kutta type. - Natalia Kalinnik; Matthias Korch; Thomas Rauber (J. Comput. Appl. Math., 2011)

Dynamic selection of implementation variants of sequential iterated runge-kutta methods with tile size sampling (abstracts only). - Natalia Kalinnik; Matthias Korch; Thomas Rauber (SIGMETRICS Perform. Evaluation Rev., 2011)

MAP: Mobile Assistance Platform with a VM Type Selection Ability. - Marvin Ferber; Natalia Kalinnik; Matthias Korch; Andreas Prell; Thomas Rauber; Matthias Witzgall (ICPADS, 2013)

Online auto-tuning for the time-step-based parallel solution of ODEs on shared-memory systems. - Natalia Kalinnik; Matthias Korch; Thomas Rauber (J. Parallel Distributed Comput., 2014)

Effizientes Lösen von Anfangswertproblemen gewöhnlicher Differentialgleichungssysteme mithilfe von Autotuning-Techniken. - Natalia Kalinnik (2015)

On the Autotuning Potential of Time-stepping methods from Scientific Computing. - Natalia Kalinnik; Robert Kiesel; Thomas Rauber; Marcel Richter; Gudula Rünger (FedCSIS, 2018)

Execution Behavior Analysis of Parallel Schemes for Implicit Solution Methods for ODEs. - Natalia Kalinnik; Thomas Rauber (ISPDC, 2018)

Exploring Self-Adaptivity Towards Performance and Energy for Time-Stepping Methods. - Natalia Kalinnik; Robert Kiesel; Thomas Rauber; Marcel Richter; Gudula Rünger (SBAC-PAD, 2018)

A performance- and energy-oriented extended tuning process for time-step-based scientific applications. - Natalia Kalinnik; Robert Kiesel; Thomas Rauber; Marcel Richter; Gudula Rünger (J. Supercomput., 2021)