Andreas Eggers

	2011
7		Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach: Superposition Modulo Non-linear Arithmetic. FroCos 2011: 119-134
6		Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle: Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. SEFM 2011: 172-187
	2010
5		Martin Fränzle, Tino Teige, Andreas Eggers: Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. IFM 2010: 168-182
4		Martin Fränzle, Tino Teige, Andreas Eggers: Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Log. Algebr. Program. 79(7): 436-466 (2010)
	2008
3		Andreas Eggers, Martin Fränzle, Christian Herde: SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA 2008: 171-185
2		Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige: Challenges in Constraint-Based Analysis of Hybrid Systems. CSCLP 2008: 51-65
1		Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige: Analysis of Hybrid Systems Using HySAT. ICONS 2008: 196-201

Coauthor Index

1	Martin Fränzle	[1] [3] [4] [5] [6]
2	Christian Herde	[1] [3]
3	Natalia Kalinnik	[2]
4	Evgeny Kruglov	[7]
5	Stefan Kupferschmid	[2] [7]
6	Nedialko Nedialkov	[6]
7	Nacim Ramdani	[6]
8	Karsten Scheibler	[7]
9	Tino Teige	[1] [2] [4] [5] [7]
10	Christoph Weidenbach	[7]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page