Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Challenges in Constraint-Based Analysis of Hybrid Systems.

A. Eggers, N. Kalinnik, S. Kupferschmid, and T. Teige. CSCLP, volume 5655 of Lecture Notes in Computer Science, page 51-65. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Natalia Ehrhardt University of Stuttgart

Dr. Natalia Trachtmann University of Stuttgart

Natalia Lylina University of Stuttgart

Natalia Pfau University of Stuttgart

Natalia Toriello Espana University of Stuttgart

Other publications of authors with the same name

Execution Behavior Analysis of Parallel Schemes for Implicit Solution Methods for ODEs.N. Kalinnik, and T. Rauber. ISPDC, page 1-8. IEEE, (2018)Effizientes Lösen von Anfangswertproblemen gewöhnlicher Differentialgleichungssysteme mithilfe von Autotuning-Techniken.N. Kalinnik. University of Bayreuth, (2015)Exploring Self-Adaptivity Towards Performance and Energy for Time-Stepping Methods.N. Kalinnik, R. Kiesel, T. Rauber, M. Richter, and G. Rünger. SBAC-PAD, page 115-123. IEEE, (2018)Online auto-tuning for the time-step-based parallel solution of ODEs on shared-memory systems.N. Kalinnik, M. Korch, and T. Rauber. J. Parallel Distrib. Comput., 74 (8): 2722-2744 (2014)An efficient time-step-based self-adaptive algorithm for predictor-corrector methods of Runge-Kutta type.N. Kalinnik, M. Korch, and T. Rauber. J. Computational Applied Mathematics, 236 (3): 394-410 (2011)On the Autotuning Potential of Time-stepping methods from Scientific Computing.N. Kalinnik, R. Kiesel, T. Rauber, M. Richter, and G. Rünger. FedCSIS, page 329-338. (2018)Propositional approximations for bounded model checking of partial circuit designs.B. Becker, M. Herbstritt, N. Kalinnik, M. Lewis, J. Lichtner, T. Nopper, and R. Wimmer. ICCD, page 52-59. IEEE Computer Society, (2008)Picoso - A Parallel Interval Constraint Solver.N. Kalinnik, T. Schubert, E. Ábrahám, R. Wimmer, and B. Becker. PDPTA, page 473-479. CSREA Press, (2009)Exploiting Different Strategies for the Parallelization of an SMT Solver.N. Kalinnik, E. Ábrahám, T. Schubert, R. Wimmer, and B. Becker. MBMV, page 97-106. Fraunhofer Verlag, (2010)MAP: Mobile Assistance Platform with a VM Type Selection Ability.M. Ferber, N. Kalinnik, M. Korch, A. Prell, T. Rauber, and M. Witzgall. ICPADS, page 448-449. IEEE Computer Society, (2013)