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.
289 Publications
2010 | Technical Report | IST-REx-ID: 5390 | 
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
2010 | Conference Paper | IST-REx-ID: 3857
Probabilistic Automata on infinite words: decidability and undecidability results
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
2010 | Conference Paper | IST-REx-ID: 3855 |
Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
2010 | Book Chapter | IST-REx-ID: 5940
Instance Deadlock: A Mystery behind Frozen Programs
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
View
| DOI
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
2010 | Journal Article | IST-REx-ID: 598 |
P53 activates transcription by directing structural shifts in Mediator
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
View
| DOI
| Download None (ext.)
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
2010 | Journal Article | IST-REx-ID: 6142 |
Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
2010 | Book Chapter | IST-REx-ID: 619
“This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House
W. Zacharasiewicz, F. Kirsch, in:, Social and Cultural Interaction and Literary Landscapes in the Canadian West : Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian West : Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien, Facultas.WUV, 2010, pp. 173–179.
View
W. Zacharasiewicz, F. Kirsch, in:, Social and Cultural Interaction and Literary Landscapes in the Canadian West : Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian West : Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien, Facultas.WUV, 2010, pp. 173–179.
2010 | Journal Article | IST-REx-ID: 6198
Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95
L. Zhou, F. Li, H. Xu, C. Luo, H. Wu, M. Zhu, W. Lu, X. Ji, Q. Zhou, D. Zhu, Nature Medicine 16 (2010) 1439–1443.
View
| DOI
| PubMed | Europe PMC
L. Zhou, F. Li, H. Xu, C. Luo, H. Wu, M. Zhu, W. Lu, X. Ji, Q. Zhou, D. Zhu, Nature Medicine 16 (2010) 1439–1443.
2010 | Journal Article | IST-REx-ID: 6320 |
Le problème des diviseurs pour des formes binaires de degré 4
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
2010 | Journal Article | IST-REx-ID: 7078 |
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
2010 | Journal Article | IST-REx-ID: 7079
Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures
F.R. Drymiotis, T.B. Drye, Y. Wang, J. He, D. Rhodes, K.A. Modic, S. Cawthorne, Q.R. Zhang, Journal of Applied Physics 107 (2010).
View
| DOI
F.R. Drymiotis, T.B. Drye, Y. Wang, J. He, D. Rhodes, K.A. Modic, S. Cawthorne, Q.R. Zhang, Journal of Applied Physics 107 (2010).
2010 | Journal Article | IST-REx-ID: 7318
H2O2 decomposition reaction as selecting tool for catalysts in Li–O2 cells
V. Giordani, S.A. Freunberger, P.G. Bruce, J.-M. Tarascon, D. Larcher, Electrochemical and Solid-State Letters 13 (2010).
View
| DOI
V. Giordani, S.A. Freunberger, P.G. Bruce, J.-M. Tarascon, D. Larcher, Electrochemical and Solid-State Letters 13 (2010).
2010 | Conference Paper | IST-REx-ID: 754
Fast randomized test-and-set and renaming
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, R. Guerraoui, in:, Springer, 2010, pp. 94–108.
View
| DOI
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, R. Guerraoui, in:, Springer, 2010, pp. 94–108.
2010 | Conference Paper | IST-REx-ID: 755
How efficient can gossip be? (On the cost of resilient information exchange)
D.-A. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
2010 | Conference Paper | IST-REx-ID: 756
Securing every bit: Authenticated broadcast in radio networks
D.-A. Alistarh, S. Gilbert, R. Guerraoui, Ž. Milošević, C. Newport, in:, ACM, 2010, pp. 50–59.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, Ž. Milošević, C. Newport, in:, ACM, 2010, pp. 50–59.
2010 | Conference Paper | IST-REx-ID: 758
Brief announcement: New bounds for partially synchronous set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
2010 | Journal Article | IST-REx-ID: 89
Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution
I. Wright, A.P. Higginbotham, S. Baker, T. Donnelly, ACS Applied Materials and Interfaces 2 (2010) 2360–2364.
View
| DOI
| PubMed | Europe PMC
I. Wright, A.P. Higginbotham, S. Baker, T. Donnelly, ACS Applied Materials and Interfaces 2 (2010) 2360–2364.
2010 | Journal Article | IST-REx-ID: 891
The evolution of gene duplications: Classifying and distinguishing between models
H. Innan, F. Kondrashov, Nature Reviews Genetics 11 (2010) 97–108.
View
| DOI
H. Innan, F. Kondrashov, Nature Reviews Genetics 11 (2010) 97–108.
2010 | Journal Article | IST-REx-ID: 9012 |
Colloidal motility and pattern formation under rectified diffusiophoresis
J.A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters 104 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
J.A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters 104 (2010).
2010 | Journal Article | IST-REx-ID: 9013 |
Sedimentation and effective temperature of active colloidal suspensions
J.A. Palacci, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters 105 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
J.A. Palacci, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters 105 (2010).