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: 4456
Henzinger, Thomas A., et al. Permissive Interfaces. ACM, 2005, pp. 31–40, doi:10.1145/1081706.1081713.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4457
Henzinger, Thomas A., et al. Composable Code Generation for Distributed Giotto. ACM, 2005, pp. 21–30, doi:10.1145/1065910.1065914.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi:DOI: 10.1007/11603009_13.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View
| Download (ext.)
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A. Henzinger. Interface-Based Design. Vol. 195, Springer, 2005, pp. 83–104, doi:10.1007/1-4020-3532-2_3.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 4625
De Alfaro, Luca, et al. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science, vol. 345, no. 1, Elsevier, 2005, pp. 139–70, doi:10.1016/j.tcs.2005.07.033.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 575
Hosten, Onur, et al. Counterfactual Quantum Computation. Vol. 1, IEEE, 2005, pp. 365–67, doi: 10.1109/QELS.2005.1548783.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 6153
de Bono, Mario, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience, vol. 28, Annual Reviews, 2005, pp. 451–501, doi:10.1146/annurev.neuro.27.070203.144259.
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Journal Article |
IST-REx-ID: 6154
Cheung, Benny H. H., et al. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology, vol. 15, no. 10, Elsevier, 2005, pp. 905–17, doi:10.1016/j.cub.2005.04.017.
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Journal Article |
IST-REx-ID: 3141
Rodal, Avital, et al. “Conformational Changes in the Arp2 3 Complex Leading to Actin Nucleation.” Nature Structural and Molecular Biology, vol. 12, no. 1, Nature Publishing Group, 2005, pp. 26–31, doi:10.1038/nsmb870.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 3143
Hippenmeyer, Simon, et al. “A Developmental Switch in the Response of DRG Neurons to ETS Transcription Factor Signaling.” PLoS Biology, vol. 3, no. 5, Public Library of Science, 2005, pp. 0878–90, doi:10.1371/journal.pbio.0030159.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 3175
Rother, Carsten, et al. Digital Tapestry. Vol. 1, IEEE, 2005, pp. 589–96, doi:10.1109/CVPR.2005.130.
View
| DOI
| Download (ext.)
2005 |
Published |
Conference Paper |
IST-REx-ID: 3176
Kolmogorov, Vladimir, et al. Bi-Layer Segmentation of Binocular Stereo Video. IEEE, 2005, pp. 1186–1186, doi:10.1109/CVPR.2005.90.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 3181
Kolmogorov, Vladimir, and Martin Wainwright. On the Optimality of Tree Reweighted Max Product Message Passing. AUAI Press, 2005, pp. 316–23.
View
| Download (ext.)