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.
1624 Publications
2010 |Published| Conference Paper | IST-REx-ID: 3845 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A., et al. Aligators for Arrays. Vol. 6397, Springer, 2010, pp. 348–56, doi:10.1007/978-3-642-16242-8_25.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3848
Bendich, Paul, et al. The Robustness of Level Sets. Vol. 6346, Springer, 2010, pp. 1–10, doi:10.1007/978-3-642-15775-2_1.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3858 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, and Laurent Doyen. The Complexity of Partial-Observation Parity Games. Vol. 6397, Springer, 2010, pp. 1–14, doi:10.1007/978-3-642-16242-8_1.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Randomness for Free. Vol. 6281, Springer, 2010, pp. 246–57, doi:10.1007/978-3-642-15155-2_23.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 |Published| Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3866 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3868 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Book (Editor) | IST-REx-ID: 4346 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danowski, Patrick, and Julia Bergmann, editors. Handbuch Bibliothek 2.0. Vol. 41, De Gruyter, 2010, doi:10.1515/9783110232103.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 4369 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3068
Růžička, Kamil, et al. “Arabidopsis PIS1 Encodes the ABCG37 Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.” PNAS, vol. 107, no. 23, National Academy of Sciences, 2010, pp. 10749–53, doi:10.1073/pnas.1005878107.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3066
Łangowski, Łukasz, et al. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.” Current Biology, vol. 20, no. 10, Cell Press, 2010, pp. 904–08, doi:10.1016/j.cub.2010.03.059.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3081
Naramoto, Satoshi, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.” PNAS, vol. 107, no. 50, National Academy of Sciences, 2010, pp. 21890–95, doi:10.1073/pnas.1016260107.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3201
Vicente, Sara, et al. Cosegmentation Revisited: Models and Optimization. Vol. 6312, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-15552-9_34.
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3237
Kiltz, Eike, and Krzysztof Z. Pietrzak. Leakage Resilient ElGamal Encryption. Vol. 6477, Springer, 2010, pp. 595–612, doi:10.1007/978-3-642-17373-8_34.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3235
Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Leakage Resilient Pseudorandom Functions and Side Channel Attacks on Feistel Networks. Vol. 6223, Springer, 2010, pp. 21–40, doi:10.1007/978-3-642-14623-7_2.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3234
Faust, Sebastian, et al. Leakage Resilient Signatures. Vol. 5978, Springer, 2010, pp. 343–60, doi:10.1007/978-3-642-11799-2_21.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3233
Håstad, Johan, et al. An Efficient Parallel Repetition Theorem. Vol. 5978, Springer, 2010, pp. 1–18, doi:10.1007/978-3-642-11799-2_1.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3774
Senn, Helen, et al. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).” Journal of Animal Ecology, vol. 79, no. 2, Wiley-Blackwell, 2010, pp. 414–25, doi:10.1111/j.1365-2656.2009.01633.x.
View
| DOI
| PubMed | Europe PMC
2010 |Published| Conference Paper | IST-REx-ID: 3793 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nowozin, Sebastian, et al. On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation. Vol. 6316, Springer, 2010, pp. 98–111, doi:10.1007/978-3-642-15567-3_8.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, Thomas A., et al. Invariant and Type Inference for Matrices. Vol. 5944, Springer, 2010, pp. 163–79, doi:10.1007/978-3-642-11319-2_14.
[Submitted Version]
View
| Files available
| DOI