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, Timothy D, and Roger Heath Brown. “Plane Curves in Boxes and Equal Sums of Two Powers.” Mathematische Zeitschrift. Unknown, 2005. https://doi.org/10.1007/s00209-004-0719-z.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 217
Browning, Timothy D. “The Density of Rational Points on a Certain Singular Cubic Surface.” Journal of Number Theory. Elsevier, 2005. https://doi.org/10.1016/j.jnt.2005.11.007.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design,” 195:83–104. Springer, 2005. https://doi.org/10.1007/1-4020-3532-2_3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science. Elsevier, 2005. https://doi.org/10.1016/j.tcs.2005.07.033.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View | DOI
 

Search

Filter Publications