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
Browning, T. D., & Heath Brown, R. (2005). Plane curves in boxes and equal sums of two powers. Mathematische Zeitschrift. Unknown. https://doi.org/10.1007/s00209-004-0719-z
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 217
Browning, T. D. (2005). The density of rational points on a certain singular cubic surface. Journal of Number Theory. Elsevier. https://doi.org/10.1016/j.jnt.2005.11.007
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE. https://doi.org/ 10.1109/QELS.2005.1548783
View | DOI
 

Search

Filter Publications