King, Tim
795  results:
Search for persons X
?
3

Population Genetics of Brook Trout in the Southern Appalach..:

Kazyak, David C ; Lubinski, Barbara A ; Kulp, Matt A...
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000739804200001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=930d57c9ac61a043676db62af60056c1.  , 2022
 
?
5

Genetic and morphological characterization of the freshwate..:

Morrison, Cheryl L ; Johnson, Nathan A ; Jones, Jess W...
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000709198500001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=930d57c9ac61a043676db62af60056c1.  , 2021
 
?
 
?
 
?
12

A Decision Procedure for Separation Logic in SMT:

Reynolds, Andrew ; Iosif, Radu ; Serban, Cristina.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-46520-3_16.  , 2016
 
?
 
?
14

Polyhedral Approximation of Multivariate Polynomials using ..:

Maréchal, Alexandre ; Fouilhé, Alexis ; King, Tim..
info:eu-repo/grantAgreement/EC/FP7/306595/EU/STATic analysis with ORiginal methods/STATOR.  , 2016
 
?
15

A Decision Procedure for Separation Logic in SMT:

Reynolds, Andrew ; Iosif, Radu ; Serban, Cristina.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-46520-3_16.  , 2016
 
1-15