Natalia Kalinnik

	2011
6		Natalia Kalinnik, Matthias Korch, Thomas Rauber: Dynamic selection of implementation variants of sequential iterated runge-kutta methods with tile size sampling. ICPE 2011: 189-200
5		Natalia Kalinnik, Matthias Korch, Thomas Rauber: An efficient time-step-based self-adaptive algorithm for predictor-corrector methods of Runge-Kutta type. J. Computational Applied Mathematics 236(3): 394-410 (2011)
4		Natalia Kalinnik, Matthias Korch, Thomas Rauber: Dynamic selection of implementation variants of sequential iterated runge-kutta methods with tile size sampling (abstracts only). SIGMETRICS Performance Evaluation Review 39(3): 15 (2011)
	2009
3		Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker: Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
	2008
2		Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige: Challenges in Constraint-Based Analysis of Hybrid Systems. CSCLP 2008: 51-65
1		Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59

Coauthor Index

1	Erika Ábrahám (Erika Ábrahám-Mumm)	[3]
2	Bernd Becker	[1] [3]
3	Andreas Eggers	[2]
4	Marc Herbstritt	[1]
5	Matthias Korch	[4] [5] [6]
6	Stefan Kupferschmid	[2]
7	Matthew D. T. Lewis	[1]
8	Juri Lichtner	[1]
9	Tobias Nopper	[1]
10	Thomas Rauber	[4] [5] [6]
11	Tobias Schubert	[3]
12	Tino Teige	[2]
13	Ralf Wimmer	[1] [3]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page