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 TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:10.1145/1081706.1081713
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:10.1145/1065910.1065914
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4541
Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:10.1007/11590156_1
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:10.1109/LICS.2005.26
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning. In: AUAI Press; 2005:104-111.
View
| Download (ext.)
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: ACM; 2005:148-159. doi:10.1145/1060745.1060770
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Vol 3442. Springer; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4624
De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 6153
de Bono M, Villu Maricq A. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 2005;28:451-501. doi:10.1146/annurev.neuro.27.070203.144259
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Journal Article |
IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 2005;15(10):905-917. doi:10.1016/j.cub.2005.04.017
View
| DOI
| PubMed | Europe PMC
2005 |
Published |
Journal Article |
IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, et al. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 2005;12(1):26-31. doi:10.1038/nsmb870
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 3143
Hippenmeyer S, Vrieseling E, Sigrist M, et al. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 2005;3(5):0878-0890. doi:10.1371/journal.pbio.0030159
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 3175
Rother C, Kumar S, Kolmogorov V, Blake A. Digital tapestry. In: Vol 1. IEEE; 2005:589-596. doi:10.1109/CVPR.2005.130
View
| DOI
| Download (ext.)
2005 |
Published |
Conference Paper |
IST-REx-ID: 3176
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. Bi-layer segmentation of binocular stereo video. In: IEEE; 2005:1186-1186. doi:10.1109/CVPR.2005.90
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 3181
Kolmogorov V, Wainwright M. On the optimality of tree reweighted max product message passing. In: AUAI Press; 2005:316-323.
View
| Download (ext.)