Please note that ISTA 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.
169 Publications
2005 |
Published |
Conference Paper |
IST-REx-ID: 575
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2005). Counterfactual quantum computation. In 2005 Quantum Electronics and Laser Science Conference (Vol. 1, pp. 365–367). Baltimore, MD, United States: IEEE. https://doi.org/ 10.1109/QELS.2005.1548783
View
| DOI
2005 |
Published |
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
| arXiv
2005 |
Published |
Journal Article |
IST-REx-ID: 212 |
Browning, T. D., & Heath Brown, R. (2005). Counting rational points on hypersurfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter and Co . https://doi.org/10.1515/crll.2005.2005.584.83
View
| DOI
| Download None (ext.)
| arXiv
2005 |
Published |
Journal Article |
IST-REx-ID: 214 |
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 None (ext.)
| arXiv
2005 |
Published |
Journal Article |
IST-REx-ID: 211
Browning, T. D. (2005). Equal sums of like polynomials. Bulletin of the London Mathematical Society. John Wiley and Sons Ltd. https://doi.org/10.1112/S0024609305004741
View
| DOI
| arXiv
2005 |
Published |
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 |
Published |
Conference Paper |
IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design. In Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems (Vol. 195, pp. 83–104). Springer Nature. https://doi.org/10.1007/1-4020-3532-2_3
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions. In Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods (Vol. 3725, pp. 50–64). Saarbrücken, Germany: Springer Nature. https://doi.org/10.1007/11560548_7
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST. In Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering (Vol. 3442, pp. 2–18). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-540-31984-9_2
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces. In Proceedings of the 14th international conference on World Wide Web (pp. 148–159). Chiba, Japan: ACM. https://doi.org/10.1145/1060745.1060770
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4557
Chatterjee, K., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Counterexample-guided planning. In Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (pp. 104–111). Edinburgh, Scotland: AUAI Press.
View
| Download None (ext.)
| arXiv
2005 |
Published |
Conference Paper |
IST-REx-ID: 4553
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games. In 32nd International Colloquim on Automata, Languages, and Programming (Vol. 3580, pp. 878–890). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/11523468_71
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4541
Chatterjee, K., & Henzinger, T. A. (2005). Semiperfect-information games. In Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 3821, pp. 1–18). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11590156_1
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
Doyen, L., Henzinger, T. A., & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems. In Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems (Vol. 3829, pp. 144–161). Uppsala, Sweden: Springer Nature. https://doi.org/DOI: 10.1007/11603009_13
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 4454
Henzinger, T. A., Majumdar, R., & Raskin, J. (2005). A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1042038.1042039
View
| DOI
| arXiv
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games. In Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science (pp. 178–187). Chicago, IL, United States: IEEE. https://doi.org/10.1109/LICS.2005.26
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Conference Paper |
IST-REx-ID: 4418
Kirsch, C., Sanvido, M., & Henzinger, T. A. (2005). A programmable microkernel for real-time systems. In Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments (pp. 35–45). Chicago, IL, United States: ACM. https://doi.org/10.1145/1064979.1064986
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4455
Henzinger, T. A., Majumdar, R., & Prabhu, V. (2005). Quantifying similarities between timed systems. In Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems (Vol. 3829, pp. 226–241). Uppsala, Sweden: Springer Nature. https://doi.org/10.1007/11603009_18
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 4171
Montero, J., Carvalho, L., Wilsch Bräuninger, M., Kilian, B., Mustafa, C., & Heisenberg, C.-P. J. (2005). Shield formation at the onset of zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.01667
View
| DOI
| PubMed | Europe PMC