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.
11357 Publications
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: 4388 |
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
[Submitted Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
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 |
Book Chapter |
IST-REx-ID: 4392
Quantitative Simulation Games
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
View
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
2010 |
Published |
Conference Paper |
IST-REx-ID: 4393 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
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 |
Conference Paper |
IST-REx-ID: 4396 |
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11752
Influence of magnetic fields on structural martensitic transitions
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
View
| Files available
| DOI
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11799
Bidder optimal assignments for general utilities
P. Dütting, M. Henzinger, I. Weber, in:, 5th International Workshop on Internet and Network Economics, Springer Nature, 2009, pp. 575–582.
View
| Files available
| DOI
P. Dütting, M. Henzinger, I. Weber, in:, 5th International Workshop on Internet and Network Economics, Springer Nature, 2009, pp. 575–582.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11905
Purely URL-based topic classification
E. Baykan, M. Henzinger, L. Marian, I. Weber, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 1109–1110.
View
| DOI
E. Baykan, M. Henzinger, L. Marian, I. Weber, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 1109–1110.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11906
Detecting the origin of text segments efficiently
O. Abdel Hamid, B. Behzadi, S. Christoph, M. Henzinger, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 61–70.
View
| DOI
O. Abdel Hamid, B. Behzadi, S. Christoph, M. Henzinger, in:, 18th International World Wide Web Conference, Association for Computing Machinery, 2009, pp. 61–70.
2009 |
Published |
Conference Paper |
IST-REx-ID: 11912 |
A comparison of techniques for sampling web pages
Eda Baykan, M. Henzinger, S.F. Keller, S. de Castelberg, M. Kinzler, in:, 26th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Eda Baykan, M. Henzinger, S.F. Keller, S. de Castelberg, M. Kinzler, in:, 26th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30.
2009 |
Published |
Journal Article |
IST-REx-ID: 2680
The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses
N. Guetg, R. Seddik, R. Vigot, R. Tureček, M. Gassmann, K. Vogt, H. Bräuner Osborne, R. Shigemoto, O. Kretz, M. Frotscher, Á. Kulik, B. Bettler, Journal of Neuroscience 29 (2009) 1414–1423.
View
| DOI
N. Guetg, R. Seddik, R. Vigot, R. Tureček, M. Gassmann, K. Vogt, H. Bräuner Osborne, R. Shigemoto, O. Kretz, M. Frotscher, Á. Kulik, B. Bettler, Journal of Neuroscience 29 (2009) 1414–1423.
2009 |
Published |
Journal Article |
IST-REx-ID: 2682
Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold
Y. Jiang, N. Horimoto, K. Imura, K. Matsui, R. Shigemoto, Advanced Materials 21 (2009) 2309–2313.
View
| DOI
Y. Jiang, N. Horimoto, K. Imura, K. Matsui, R. Shigemoto, Advanced Materials 21 (2009) 2309–2313.
2009 |
Published |
Journal Article |
IST-REx-ID: 2683
Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor
B. Pan, Y. Dong, W. Ito, Y. Yanagawa, R. Shigemoto, A. Morozov, Neuron 61 (2009) 917–929.
View
| DOI
B. Pan, Y. Dong, W. Ito, Y. Yanagawa, R. Shigemoto, A. Morozov, Neuron 61 (2009) 917–929.
2009 |
Published |
Journal Article |
IST-REx-ID: 2684
Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains
W. Kaufmann, F. Ferraguti, Y. Fukazawa, Y. Kasugai, R. Shigemoto, P. Laake, J. Sexton, P. Ruth, G. Wietzorrek, H. Knaus, J. Storm, O. Ottersen, Journal of Comparative Neurology 515 (2009) 215–230.
View
| DOI
W. Kaufmann, F. Ferraguti, Y. Fukazawa, Y. Kasugai, R. Shigemoto, P. Laake, J. Sexton, P. Ruth, G. Wietzorrek, H. Knaus, J. Storm, O. Ottersen, Journal of Comparative Neurology 515 (2009) 215–230.
2009 |
Published |
Journal Article |
IST-REx-ID: 2685
Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities
H. Tanaka, J. Ma, K. Tanaka, K. Takao, M. Komada, K. Tanda, A. Suzuki, T. Ishibashi, H. Baba, T. Isa, R. Shigemoto, K. Ono, T. Miyakawa, K. Ikenaka, Journal of Neuroscience 29 (2009) 8363–8371.
View
| DOI
H. Tanaka, J. Ma, K. Tanaka, K. Takao, M. Komada, K. Tanda, A. Suzuki, T. Ishibashi, H. Baba, T. Isa, R. Shigemoto, K. Ono, T. Miyakawa, K. Ikenaka, Journal of Neuroscience 29 (2009) 8363–8371.
2009 |
Published |
Journal Article |
IST-REx-ID: 2686
Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter
H. Tomita, E. Sugano, Y. Fukazawa, H. Isago, Y. Sugiyama, T. Hiroi, T. Ishizuka, H. Mushiake, M. Kato, M. Hirabayashi, R. Shigemoto, H. Yawo, M. Tamai, PLoS One 4 (2009).
View
| DOI
H. Tomita, E. Sugano, Y. Fukazawa, H. Isago, Y. Sugiyama, T. Hiroi, T. Ishizuka, H. Mushiake, M. Kato, M. Hirabayashi, R. Shigemoto, H. Yawo, M. Tamai, PLoS One 4 (2009).