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.
1850 Publications
2013 |Published| Journal Article | IST-REx-ID: 8461
Amplitudes and time scales of picosecond-to-microsecond motion in proteins studied by solid-state NMR: a critical evaluation of experimental approaches and application to crystalline ubiquitin
J.D. Haller, P. Schanda, Journal of Biomolecular NMR 57 (2013) 263–280.
View
| DOI
J.D. Haller, P. Schanda, Journal of Biomolecular NMR 57 (2013) 263–280.
2013 |Published| Journal Article | IST-REx-ID: 894
Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MC1R
R. Derelle, F. Kondrashov, V. Arkhipov, H. Corbel, A. Frantz, J. Gasparini, L. Jacquin, G. Jacob, S. Thibault, E. Baudry, BMC Research Notes 6 (2013).
View
| DOI
R. Derelle, F. Kondrashov, V. Arkhipov, H. Corbel, A. Frantz, J. Gasparini, L. Jacquin, G. Jacob, S. Thibault, E. Baudry, BMC Research Notes 6 (2013).
2013 |Published| Book Chapter | IST-REx-ID: 5747 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
2013 |Published| Conference Paper | IST-REx-ID: 10902
How to travel between languages
K. Chatterjee, S. Chaubal, S. Rubin, in:, 7th International Conference on Language and Automata Theory and Applications, Springer Nature, Berlin, Heidelberg, 2013, pp. 214–225.
View
| DOI
K. Chatterjee, S. Chaubal, S. Rubin, in:, 7th International Conference on Language and Automata Theory and Applications, Springer Nature, Berlin, Heidelberg, 2013, pp. 214–225.
2013 |Published| Conference Paper | IST-REx-ID: 10897
Persistent homology in image processing
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
View
| DOI
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
2013 |Published| Conference Paper | IST-REx-ID: 2847 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Structural Counter Abstraction
K. Bansal, E. Koskinen, T. Wies, D. Zufferey, 7795 (2013) 62–77.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
K. Bansal, E. Koskinen, T. Wies, D. Zufferey, 7795 (2013) 62–77.
2013 |Published| Conference Paper | IST-REx-ID: 2000 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
TTP: Tool for tumor progression
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
2013 |Published| Conference Paper | IST-REx-ID: 2445 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
2013 |Published| Journal Article | IST-REx-ID: 2926
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, Current Biology 23 (2013) 76–82.
View
| Files available
| DOI
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
2012 |Published| Journal Article | IST-REx-ID: 1055
Bulla in the lung
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
View
| DOI
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
2012 |Published| Journal Article | IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint]
View
| DOI
| arXiv
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 |Published| Conference Paper | IST-REx-ID: 11794 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Auctions with heterogeneous items and budget limits
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
2012 |Published| Conference Paper | IST-REx-ID: 11795
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
View
| Files available
| DOI
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Conditional model checking: A technique to pass information between verifiers
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
2012 |Published| Journal Article | IST-REx-ID: 1757 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Monolithic growth of ultrathin Ge nanowires on Si(001)
J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B. Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review Letters 109 (2012).
View
| DOI
| Download (ext.)
J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B. Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review Letters 109 (2012).
2012 |Published| Journal Article | IST-REx-ID: 1783 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics
J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86 (2012).
View
| DOI
| Download (ext.)
J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86 (2012).
2012 |Published| Conference Paper | IST-REx-ID: 2048 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Practical leakage-resilient symmetric cryptography
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
2012 |Published| Conference Paper | IST-REx-ID: 2049 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lapin: An efficient authentication protocol based on ring-LPN
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, K.Z. Pietrzak, in:, Conference Proceedings FSE 2012, Springer, 2012, pp. 346–365.
2012 |Published| Journal Article | IST-REx-ID: 2262
Extensions of MADM (Mosaic Analysis with Double Markers) in Mice
B. Tasic, K. Miyamichi, S. Hippenmeyer, V. Dani, H. Zeng, W. Joo, H. Zong, Y. Chen Tsai, L. Luo, PLoS One 7 (2012).
View
| DOI
B. Tasic, K. Miyamichi, S. Hippenmeyer, V. Dani, H. Zeng, W. Joo, H. Zong, Y. Chen Tsai, L. Luo, PLoS One 7 (2012).
2012 |Published| Journal Article | IST-REx-ID: 237
On Manin's conjecture for a family of Châtelet surfaces
R. De La Bretèche, T.D. Browning, E. Peyre, Annals of Mathematics 175 (2012) 297–343.
View
| DOI
R. De La Bretèche, T.D. Browning, E. Peyre, Annals of Mathematics 175 (2012) 297–343.