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.
6985 Publications
2010 |Published| Conference Paper | IST-REx-ID: 4393 | 
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5388 |
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5389 |
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4390 |
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4388 |
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 |Published| Technical Report | IST-REx-ID: 5391 |
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
[Published Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5390 |
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3857
Chatterjee, K., & Henzinger, T. A. (2010). Probabilistic Automata on infinite words: decidability and undecidability results (Vol. 6252, pp. 1–16). Presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore: Springer. https://doi.org/10.1007/978-3-642-15643-4_1
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3855 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_24
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Book Chapter | IST-REx-ID: 5940
Juhás, G., Kazlov, I., & Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13675-7_1
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 598 |
Meyer, K., Lin, S., Bernecky, C., Gao, Y., & Taatjes, D. (2010). P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.1816
View
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 6142 |
Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., & de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0013922
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 6198
Zhou, L., Li, F., Xu, H., Luo, C., Wu, H., Zhu, M., … Zhu, D. (2010). Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. Nature Publishing Group. https://doi.org/10.1038/nm.2245
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 6320 |
Bretèche, R. de la, & Browning, T. D. (2010). Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. Walter de Gruyter GmbH. https://doi.org/10.1515/crelle.2010.064
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 754
Alistarh, D.-A., Attiya, H., Gilbert, S., Giurgiu, A., & Guerraoui, R. (2010). Fast randomized test-and-set and renaming (Vol. 6343 LNCS, pp. 94–108). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_9
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 755
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Zadimoghaddam, M. (2010). How efficient can gossip be? (On the cost of resilient information exchange) (Vol. 6199 LNCS, pp. 115–126). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer. https://doi.org/10.1007/978-3-642-14162-1_10
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 756
Alistarh, D.-A., Gilbert, S., Guerraoui, R., Milošević, Ž., & Newport, C. (2010). Securing every bit: Authenticated broadcast in radio networks (pp. 50–59). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM. https://doi.org/10.1145/1810479.1810489
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 758
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2010). Brief announcement: New bounds for partially synchronous set agreement (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_40
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 89
Wright, I., Higginbotham, A. P., Baker, S., & Donnelly, T. (2010). Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/am100375w
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 891
Innan, H., & Kondrashov, F. (2010). The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg2689
View
| DOI