Concepedia

Tino Teige

TT

Statistics

Publications

9

Citations

497

H-Index

9

Active since

2006

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

University of Freiburg

Tino Teige is an author at Carl von Ossietzky Universität Oldenburg specializing in computer science, computing, and systems engineering.

Publications per year

2006–2017

9

Publications

9

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

Martin Fränzle, Christian Herde, Tino Teige et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 313 citations · Full text

Computing, Computer Science, Mathematics +10

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

Martin Fränzle, Tino Teige, Andreas Eggers · The Journal of Logic and Algebraic Programming · 2010 · 39 citations

Computing, Computer Engineering, Computer Science +13

Analysis of Hybrid Systems Using HySAT

Christian Herde, Andreas Eggers, Martin Fr et al. · 2008 · 36 citations

Engineering, Computer Engineering, Computer Science +17

Test automation for hybrid systems

Bahareh Badban, Martin Fränzle, Jan Peleška et al. · 2006 · 26 citations

Computing, Computer Science, Systems Engineering +14

Incremental bounded model checking for embedded software

Peter Schrammel, Daniel Kroening, Martin Brain et al. · Formal Aspects of Computing · 2017 · 24 citations · Full text

Computing, Computer Engineering, Computer Science +13

1–5 of 9