Edit Profile Teige, Tino Compute Distance To: Compute Author ID: teige.tino Published as: Teige, Tino External Links: MGP · Wikidata Documents Indexed: 11 Publications since 2006 all top 5 Co-Authors 0 single-authored 8 Fränzle, Martin 4 Eggers, Andreas 2 Kupferschmid, Stefan 1 Bienmüller, Tom 1 Brain, Martin 1 Herde, Christian 1 Hermanns, Holger 1 Kalinnik, Natalia 1 Kröning, Daniel 1 Kruglov, Evgeniĭ Valentinovich 1 Martins, Ruben 1 Ratschan, Stefan 1 Scheibler, Karsten 1 Schrammel, Peter 1 Schubert, Tobias 1 Weidenbach, Christoph Serials 1 Formal Aspects of Computing 1 The Journal of Logic and Algebraic Programming 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Logical Methods in Computer Science 1 Nonlinear Analysis. Hybrid Systems Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.68371Frä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.68452Fränzle, Martin; Hermanns, Holger; Teige, Tino 7 2008 Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems. Zbl 1225.93102Teige, Tino; Eggers, Andreas; Fränzle, Martin 4 2011 Superposition modulo non-linear arithmetic. Zbl 1348.68218Eggers, 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.68252Fränzle, Martin; Teige, Tino; Eggers, Andreas 3 2010 Stochastic satisfiability modulo theories for non-linear arithmetic. Zbl 1142.68525Teige, 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.68191Teige, Tino; Fränzle, Martin 1 2012 Generalized Craig interpolation for stochastic Boolean satisfiability problems. Zbl 1315.68183Teige, Tino; Fränzle, Martin 1 2011 Resolution for stochastic Boolean satisfiability. Zbl 1306.68175Teige, 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.68191Teige, Tino; Fränzle, Martin 1 2012 Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems. Zbl 1225.93102Teige, Tino; Eggers, Andreas; Fränzle, Martin 4 2011 Superposition modulo non-linear arithmetic. Zbl 1348.68218Eggers, Andreas; Kruglov, Evgeny; Kupferschmid, Stefan; Scheibler, Karsten; Teige, Tino; Weidenbach, Christoph 3 2011 Generalized Craig interpolation for stochastic Boolean satisfiability problems. Zbl 1315.68183Teige, Tino; Fränzle, Martin 1 2011 Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Zbl 1205.68252Fränzle, Martin; Teige, Tino; Eggers, Andreas 3 2010 Resolution for stochastic Boolean satisfiability. Zbl 1306.68175Teige, Tino; Fränzle, Martin 1 2010 Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. Zbl 1143.68452Fränzle, Martin; Hermanns, Holger; Teige, Tino 7 2008 Stochastic satisfiability modulo theories for non-linear arithmetic. Zbl 1142.68525Teige, Tino; Fränzle, Martin 3 2008 Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias 33 2006 all cited Publications top 5 cited Publications 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 all top 5 Cited in 13 Serials 6 Formal Methods in System Design 2 Theoretical Computer Science 2 Journal of Automated Reasoning 2 Annals of Mathematics and Artificial Intelligence 2 Nonlinear Analysis. Hybrid Systems 1 Artificial Intelligence 1 Operations Research Letters 1 Formal Aspects of Computing 1 European Journal of Control 1 The Journal of Logic and Algebraic Programming 1 Mathematics in Computer Science 1 Logica Universalis 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 41 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 6 Systems theory; control (93-XX) 3 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline