Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6306 Publications


2005 | Journal Article | IST-REx-ID: 214 | OA
T. D. Browning and R. Heath Brown, “Plane curves in boxes and equal sums of two powers,” Mathematische Zeitschrift, vol. 251, no. 2. Unknown, pp. 233–247, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 217
T. D. Browning, “The density of rational points on a certain singular cubic surface,” Journal of Number Theory, vol. 119, no. 2. Elsevier, pp. 242–283, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
L. De Alfaro and T. A. Henzinger, “Interface-based design,” presented at the Engineering Theories of Software Intensive Systems, 2005, vol. 195, pp. 83–104.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” Theoretical Computer Science, vol. 345, no. 1. Elsevier, pp. 139–170, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation,” presented at the QELS: Quantum Electronics and Laser Science, 2005, vol. 1, pp. 365–367.
View | DOI
 

Search

Filter Publications