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.
1966 Publications
2003 | Published | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A., et al. “Counterexample-Guided Control.” Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A., et al. “Thread-Modular Abstraction Refinement.” Proceedings of the 15th International Conference on Computer Aided Verification, vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A., et al. “Schedule-Carrying Code.” Proceedings of the 3rd International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 2619, Springer, 2003, pp. 49–64, doi:10.1007/3-540-36577-X_5.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A., et al. “Software Verification with BLAST.” Proceedings of the 10th International SPIN Workshop , vol. 2648, Springer, 2003, pp. 235–39, doi:10.1007/3-540-44829-2_17.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, et al. “Resource Interfaces.” Third International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, et al. “Discounting the Future in Systems Theory.” Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 1022–37, doi:10.1007/3-540-45061-0_79.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, et al. “The Element of Surprise in Timed Games.” Proceedings of the 14th International Conference on Concurrency Theory, vol. 2761, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–58, doi:10.1007/978-3-540-45187-7_9.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 18324
Bronstein, Alex M., et al. “Expression-Invariant 3D Face Recognition.” 4th International Conference on Audio- and Video-Based Biometric Person Authentication, vol. 2688, Springer Nature, 2003, pp. 62–70, doi:10.1007/3-540-44887-x_8.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 205
Browning, Timothy D. “Counting Rational Points on Cubic and Quartic Surfaces.” Acta Arithmetica, vol. 108, no. 3, Instytut Matematyczny, 2003, pp. 275–95, doi:10.4064/aa108-3-7.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 206
Browning, Timothy D. “A Note on the Distribution of Rational Points on Threefolds.” Quarterly Journal of Mathematics, vol. 54, no. 1, Unknown, 2003, pp. 33–39, doi:10.1093/qjmath/54.1.33.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 208
Browning, Timothy D. “Counting Rational Points on Diagonal Quadratic Surfaces.” Quarterly Journal of Mathematics, vol. 54, no. 1, Oxford University Press, 2003, pp. 11–31, doi:10.1093/qjmath/54.1.11.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 3171
Kolmogorov, Vladimir, et al. Generalized Multi Camera Scene Reconstruction Using Graph Cuts. Vol. 2683, Springer, 2003, pp. 501–16, doi:10.1007/978-3-540-45063-4_32.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 3209
Pietrzak, Krzysztof Z. “On the Parameterized Complexity of the Fixed Alphabet Shortest Common Supersequence and Longest Common Subsequence Problems.” Journal of Computer and System Sciences, vol. 67, no. 4, Elsevier, 2003, pp. 757–71, doi:10.1016/S0022-0000(03)00078-3.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 3210
Maurer, Ueli, and Krzysztof Z. Pietrzak. The Security of Many Round Luby Rackoff Pseudo Random Permutations. Vol. 2656, Springer, 2003, pp. 544–61, doi:10.1007/3-540-39200-9_34.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 3536
Buzsáki, György, et al. “Hippocampal Network Patterns of Activity in the Mouse.” Neuroscience, vol. 116, no. 1, Elsevier, 2003, pp. 201–11, doi:10.1016/S0306-4522(02)00669-3.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 3556
Edelsbrunner, Herbert, et al. Morse-Smale Complexes for Piecewise Linear 3-Manifolds. ACM, 2003, pp. 361–70, doi:10.1145/777792.777846.
View
| DOI
| Download (ext.)
2003 | Published | Book Chapter | IST-REx-ID: 3573
Edelsbrunner, Herbert. “Surface Reconstruction by Wrapping Finite Sets in Space.” Discrete & Computational Geometry, Springer, 2003, pp. 379–404, doi:10.1007/978-3-642-55566-4_17.
View
| DOI
| Download (ext.)
2003 | Published | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, et al. Simple Stochastic Parity Games. Vol. 2803, Springer, 2003, pp. 100–13, doi:10.1007/978-3-540-45220-1_11.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, et al. Stack Size Analysis for Interrupt-Driven Programs. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.
View
| DOI