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.
7124 Publications
2012 | Published | Journal Article | IST-REx-ID: 3314
Discounting and averaging in games across time scales
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.
View
| DOI
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.
2012 | Published | Journal Article | IST-REx-ID: 3317 | 
Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.
[Submitted Version]
View
| Files available
| DOI
E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.
2012 | Published | Journal Article | IST-REx-ID: 3331 |
A worst case bound for topology computation of algebraic curves
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.
2012 | Published | Conference Paper | IST-REx-ID: 3341 |
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, in:, Springer, 2012, pp. 270–285.
2012 | Published | Journal Article | IST-REx-ID: 338
Extending the nanocrystal synthesis control to quaternary compositions
M. Ibáñez, R. Zamani, W. Li, A. Shavel, J. Arbiol, J. Morante, A. Cabot, Crystal Growth and Design 12 (2012) 1085–1090.
View
| DOI
M. Ibáñez, R. Zamani, W. Li, A. Shavel, J. Arbiol, J. Morante, A. Cabot, Crystal Growth and Design 12 (2012) 1085–1090.
2012 | Published | Journal Article | IST-REx-ID: 339
Composition control and thermoelectric properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4
M. Ibáñez, D. Cadavid, R. Zamani, N. García Castelló, V. Izquierdo Roca, W. Li, A. Fairbrother, J. Prades, A. Shavel, J. Arbiol, A. Pérez Rodríguez, J. Morante, A. Cabot, Chemistry of Materials 24 (2012) 562–570.
View
| DOI
M. Ibáñez, D. Cadavid, R. Zamani, N. García Castelló, V. Izquierdo Roca, W. Li, A. Fairbrother, J. Prades, A. Shavel, J. Arbiol, A. Pérez Rodríguez, J. Morante, A. Cabot, Chemistry of Materials 24 (2012) 562–570.
2012 | Published | Journal Article | IST-REx-ID: 340
Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor
A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American Chemical Society 134 (2012) 1438–1441.
View
| DOI
A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American Chemical Society 134 (2012) 1438–1441.
2012 | Published | Journal Article | IST-REx-ID: 345
Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe
D. Cadavid, M. Ibáñez, S. Gorsse, A. López, A. Cirera, J. Morante, A. Cabot, Journal of Nanoparticle Research 14 (2012).
View
| DOI
D. Cadavid, M. Ibáñez, S. Gorsse, A. López, A. Cirera, J. Morante, A. Cabot, Journal of Nanoparticle Research 14 (2012).
2012 | Published | Journal Article | IST-REx-ID: 346
Solution-growth and optoelectronic performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness
J. Fan, R. Zamani, C. Fábrega, A. Shavel, C. Flox, M. Ibáñez, T. Andreu, A. López, J. Arbiol, J. Morante, A. Cabot, Journal of Physics D: Applied Physics 45 (2012).
View
| DOI
J. Fan, R. Zamani, C. Fábrega, A. Shavel, C. Flox, M. Ibáñez, T. Andreu, A. López, J. Arbiol, J. Morante, A. Cabot, Journal of Physics D: Applied Physics 45 (2012).
2012 | Published | Journal Article | IST-REx-ID: 347 |
Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties
M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol, J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical Society 134 (2012) 4060–4063.
View
| DOI
| Download None (ext.)
M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol, J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical Society 134 (2012) 4060–4063.
2012 | Published | Journal Article | IST-REx-ID: 377
Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials
M. Ibáñez, R. Zamani, W. Li, D. Cadavid, S. Gorse, N. Katchoi, A. Shavel, A. López, J. Morante, J. Arbiol, A. Cabot, Chemistry of Materials 24 (2012) 4615–4622.
View
| DOI
M. Ibáñez, R. Zamani, W. Li, D. Cadavid, S. Gorse, N. Katchoi, A. Shavel, A. López, J. Morante, J. Arbiol, A. Cabot, Chemistry of Materials 24 (2012) 4615–4622.
2012 | Published | Journal Article | IST-REx-ID: 3836
Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.
View
| DOI
A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.
2012 | Published | Journal Article | IST-REx-ID: 3846 |
A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
2012 | Published | Journal Article | IST-REx-ID: 387 |
STM imaging of impurity resonances on Bi 2Se 3
Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).
View
| DOI
| Download None (ext.)
Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).
2012 | Published | Conference Paper | IST-REx-ID: 3282 |
Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
[Submitted Version]
View
| Files available
| DOI
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.
2012 | Published | Conference Paper | IST-REx-ID: 3280 |
Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.
2012 | Published | Conference Paper | IST-REx-ID: 3281
Lossy functions do not amplify well
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.
View
| DOI
| Download None (ext.)
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.
2012 | Published | Conference Paper | IST-REx-ID: 3253
Abstract domains for automated reasoning about list manipulating programs with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.
2012 | Published | Conference Paper | IST-REx-ID: 3251 |
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
[Submitted Version]
View
| Files available
| DOI
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
2012 | Research Data Reference | IST-REx-ID: 9757 |
Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).