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.
10980 Publications
2010 | Published | Journal Article | IST-REx-ID: 4379 | 
Analog property checkers: a DDR2 case study
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
View
| DOI
| Download (ext.)
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
2010 | Published | Conference Paper | IST-REx-ID: 4380 |
A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
2010 | Published | Conference Paper | IST-REx-ID: 4381 |
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
2010 | Published | Conference Paper | IST-REx-ID: 4382 |
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
[Submitted Version]
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
2010 | Published | Conference Paper | IST-REx-ID: 4389 |
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
[Submitted Version]
View
| Files available
| DOI
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
2010 | Published | Conference Paper | IST-REx-ID: 4395
Verifying local transformations on relaxed memory models
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
View
| DOI
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.
2010 | Published | 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 | Published | Technical Report | IST-REx-ID: 5391 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
2010 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 12199
Tapetal cell fate, lineage and proliferation in the Arabidopsis anther
X. Feng, H.G. Dickinson, Development 137 (2010) 2409–2416.
View
| DOI
| PubMed | Europe PMC
X. Feng, H.G. Dickinson, Development 137 (2010) 2409–2416.
2010 | Published | Journal Article | IST-REx-ID: 12200
Cell–cell interactions during patterning of the Arabidopsis anther
X. Feng, H.G. Dickinson, Biochemical Society Transactions 38 (2010) 571–576.
View
| DOI
| PubMed | Europe PMC
X. Feng, H.G. Dickinson, Biochemical Society Transactions 38 (2010) 571–576.
2010 | Published | Journal Article | IST-REx-ID: 12653 |
Effect of glaciers on streamflow trends in the Swiss Alps
F. Pellicciotti, A. Bauder, M. Parola, Water Resources Research 46 (2010).
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Pellicciotti, A. Bauder, M. Parola, Water Resources Research 46 (2010).
2010 | Published | Journal Article | IST-REx-ID: 1300
ON and off pathways in Drosophila motion vision
M.A. Jösch, B. Schnell, S. Raghu, D. Reiff, A. Borst, Nature 468 (2010) 300–304.
View
| DOI
M.A. Jösch, B. Schnell, S. Raghu, D. Reiff, A. Borst, Nature 468 (2010) 300–304.
2010 | Published | Journal Article | IST-REx-ID: 1301
Processing of horizontal optic flow in three visual interneurons of the Drosophila brain
B. Schnell, M.A. Jösch, F. Förstner, S. Raghu, H. Otsuna, K. Ito, A. Borst, D. Reiff, Journal of Neurophysiology 103 (2010) 1646–1657.
View
| DOI
| PubMed | Europe PMC
B. Schnell, M.A. Jösch, F. Förstner, S. Raghu, H. Otsuna, K. Ito, A. Borst, D. Reiff, Journal of Neurophysiology 103 (2010) 1646–1657.
2010 | Published | Journal Article | IST-REx-ID: 1465 |
Kac's conjecture from Nakajima quiver varieties
T. Hausel, Inventiones Mathematicae 181 (2010) 21–37.
View
| DOI
| Download (ext.)
T. Hausel, Inventiones Mathematicae 181 (2010) 21–37.
2010 | Published | Journal Article | IST-REx-ID: 1466 |
Topology of character varieties and representations of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Comptes Rendus Mathematique 348 (2010) 131–135.
View
| DOI
| Download (ext.)
T. Hausel, E. Letellier, F. Rodríguez Villegas, Comptes Rendus Mathematique 348 (2010) 131–135.