×

zbMATH — the first resource for mathematics

King, Tim

Compute Distance To:
Author ID: king.tim Recent zbMATH articles by "King, Tim"
Published as: King, T.; King, Tim
Documents Indexed: 9 Publications since 1974, including 2 Books

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 16 times in 16 Documents Cited by Year
Deciding local theory extensions via E-matching. Zbl 1381.68280
Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas
5
2015
Polyhedral approximation of multivariate polynomials using handelman’s theorem. Zbl 06559857
Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael
4
2016
Practical SMT-based type error localization. Zbl 1360.68351
Pavlinovic, Zvonimir; King, Tim; Wies, Thomas
2
2015
Numerical study of scaling effects in peristalsis and dynamic suction pumping. Zbl 1311.76152
Baird, A.; King, T.; Miller, L. A.
2
2014
Solving quantified linear arithmetic by counterexample-guided instantiation. Zbl 1377.68138
Reynolds, Andrew; King, Tim; Kuncak, Viktor
1
2017
A decision procedure for separation logic in SMT. Zbl 1398.68486
Reynolds, Andrew; Iosif, Radu; Serban, Cristina; King, Tim
1
2016
Some inequalities on the chromatic number of a graph. Zbl 0311.05111
King, T.; Nemhauser, G. L.
1
1974
Solving quantified linear arithmetic by counterexample-guided instantiation. Zbl 1377.68138
Reynolds, Andrew; King, Tim; Kuncak, Viktor
1
2017
Polyhedral approximation of multivariate polynomials using handelman’s theorem. Zbl 06559857
Maréchal, Alexandre; Fouilhé, Alexis; King, Tim; Monniaux, David; Périn, Michael
4
2016
A decision procedure for separation logic in SMT. Zbl 1398.68486
Reynolds, Andrew; Iosif, Radu; Serban, Cristina; King, Tim
1
2016
Deciding local theory extensions via E-matching. Zbl 1381.68280
Bansal, Kshitij; Reynolds, Andrew; King, Tim; Barrett, Clark; Wies, Thomas
5
2015
Practical SMT-based type error localization. Zbl 1360.68351
Pavlinovic, Zvonimir; King, Tim; Wies, Thomas
2
2015
Numerical study of scaling effects in peristalsis and dynamic suction pumping. Zbl 1311.76152
Baird, A.; King, T.; Miller, L. A.
2
2014
Some inequalities on the chromatic number of a graph. Zbl 0311.05111
King, T.; Nemhauser, G. L.
1
1974

Citations by Year