×

zbMATH — the first resource for mathematics

Teige, Tino

Compute Distance To:
Author ID: teige.tino Recent zbMATH articles by "Teige, Tino"
Published as: Teige, Tino
External Links: MGP · Wikidata
Documents Indexed: 11 Publications since 2006

Publications by Year

Citations contained in zbMATH

9 Publications have been cited 56 times in 45 Documents Cited by Year
Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371
Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias
33
2006
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. Zbl 1143.68452
Fränzle, Martin; Hermanns, Holger; Teige, Tino
7
2008
Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems. Zbl 1225.93102
Teige, Tino; Eggers, Andreas; Fränzle, Martin
4
2011
Superposition modulo non-linear arithmetic. Zbl 1348.68218
Eggers, Andreas; Kruglov, Evgeny; Kupferschmid, Stefan; Scheibler, Karsten; Teige, Tino; Weidenbach, Christoph
3
2011
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Zbl 1205.68252
Fränzle, Martin; Teige, Tino; Eggers, Andreas
3
2010
Stochastic satisfiability modulo theories for non-linear arithmetic. Zbl 1142.68525
Teige, Tino; Fränzle, Martin
3
2008
Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability. Zbl 1242.68191
Teige, Tino; Fränzle, Martin
1
2012
Generalized Craig interpolation for stochastic Boolean satisfiability problems. Zbl 1315.68183
Teige, Tino; Fränzle, Martin
1
2011
Resolution for stochastic Boolean satisfiability. Zbl 1306.68175
Teige, Tino; Fränzle, Martin
1
2010
Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability. Zbl 1242.68191
Teige, Tino; Fränzle, Martin
1
2012
Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems. Zbl 1225.93102
Teige, Tino; Eggers, Andreas; Fränzle, Martin
4
2011
Superposition modulo non-linear arithmetic. Zbl 1348.68218
Eggers, Andreas; Kruglov, Evgeny; Kupferschmid, Stefan; Scheibler, Karsten; Teige, Tino; Weidenbach, Christoph
3
2011
Generalized Craig interpolation for stochastic Boolean satisfiability problems. Zbl 1315.68183
Teige, Tino; Fränzle, Martin
1
2011
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Zbl 1205.68252
Fränzle, Martin; Teige, Tino; Eggers, Andreas
3
2010
Resolution for stochastic Boolean satisfiability. Zbl 1306.68175
Teige, Tino; Fränzle, Martin
1
2010
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. Zbl 1143.68452
Fränzle, Martin; Hermanns, Holger; Teige, Tino
7
2008
Stochastic satisfiability modulo theories for non-linear arithmetic. Zbl 1142.68525
Teige, Tino; Fränzle, Martin
3
2008
Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371
Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias
33
2006
all top 5

Cited by 124 Authors

7 Fränzle, Martin
6 Ábrahám, Erika
6 Eggers, Andreas
5 Teige, Tino
3 Corzilius, Florian
3 Kremer, Gereon
3 Kupferschmid, Stefan
3 Weidenbach, Christoph
2 Becker, Bernd
2 Borralleras, Cristina
2 Brain, Martin
2 Cimatti, Alessandro
2 Griggio, Alberto
2 Hahn, Ernst Moritz
2 Hermanns, Holger
2 Kröning, Daniel
2 Kruglov, Evgeniĭ Valentinovich
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 Lucas, Salvador
2 Ogawa, Mizuhito
2 Rodríguez-Carbonell, Enric
2 Rubio, Albert
2 Tung, Vu Xuan
2 Van Khanh, To
1 Abbott, John A.
1 Ahrendt, Wolfgang
1 Akbarpour, Behzad
1 Althaus, Ernst
1 Bartocci, Ezio
1 Bertrand, Nathalie
1 Bianculli, Domenico
1 Bigatti, Anna Maria
1 Bøgsted Poulsen, Danny
1 Bouyer, Patricia
1 Bozzano, Marco
1 Brihaye, Thomas
1 Buchberger, Bruno
1 Carlier, Pierre
1 Carter, Rebekah
1 Colombo, Christian
1 Damm, Werner
1 Davenport, James Harold
1 David, Alexandre
1 D’silva, Vijay
1 Dumitriu, Daniel
1 Duracz, Jan
1 England, Matthew
1 Fahrenberg, Uli
1 Falcone, Yliès
1 Fontaine, Pascal
1 Forrest, Stephen
1 Francalanza, Adrian
1 Haller, Leopold
1 Hamadi, Youssef
1 Hartmanns, Arnd
1 Herde, Christian
1 Junges, Sebastian
1 Kalinnik, Natalia
1 Kapur, Deepak
1 Katoen, Joost-Pieter
1 Konečný, Michal
1 Krstić, Srđan
1 Kugler, Hillel
1 Lincoln, Patrick D.
1 Loup, Ulrich
1 Lourenço, João M.
1 Mathiyalagan, Kalidass
1 Matringe, Nadir
1 Mattarei, Cristian
1 Mikucionis, Marius
1 Moura, Arnaldo Vieira
1 Navarro-López, Eva María
1 Navarro-Marset, Rafael
1 Nazier Mosaad, Peter
1 Nedialkov, Nedialko S.
1 Nickovic, Dejan
1 Nieuwenhuis, Robert
1 Oliveras, Albert
1 Pace, Gordon J.
1 Park, Juhyun (Jessie)
1 Passerini, Andrea
1 Paulson, Lawrence Charles
1 Peleska, Jan
1 Phillips, Andrew
1 Platzer, André
1 Pulina, Luca
1 Quesel, Jan-David
1 Ramdani, Nacim
1 Rasga, João
1 Ratschan, Stefan
1 Rebiha, Rachid
1 Roux, Pierre
1 Rufino, José
1 Sakthivel, Rathinasamy
1 Sánchez, César
1 Sankaranarayanan, Sriram
1 Scheibler, Karsten
1 Schneider, Gerardo
1 Schupp, Stefan
...and 24 more Authors

Citations by Year

Wikidata Timeline