Natalia Kalinnik Vis

*	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	EE	Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige: Challenges in Constraint-Based Analysis of Hybrid Systems. CSCLP 2008: 51-65
1	EE	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	Stefan Kupferschmid	[2]
6	Matthew D. T. Lewis	[1]
7	Juri Lichtner	[1]
8	Tobias Nopper	[1]
9	Tobias Schubert	[3]
10	Tino Teige	[2]
11	Ralf Wimmer	[1] [3]