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.

8978 Publications


2012 | Conference Paper | IST-REx-ID: 10903
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 10905 | OA
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10906 | OA
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3251 | OA
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
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3260 | OA
Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3258 | OA
Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Thesis | IST-REx-ID: 2964
Active properties of hippocampal CA3 pyramidal neuron dendrites
S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites, Institute of Science and Technology Austria, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3246
Cell adhesion in embryo morphogenesis
V. Barone, C.-P.J. Heisenberg, Current Opinion in Cell Biology 24 (2012) 148–153.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 12198 | OA
Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
[Published Version] View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
Explicit mesh surfaces for particle based fluids
J. Yu, C. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Wiley, 2012, pp. 815–824.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3244 | OA
Die Zeit des Abwartens ist vorbei!
P. Danowski, BuB - Forum Bibliothek und Information 64 (2012) 284.
[Published Version] View | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 3243 | OA
Zwischen Technologie und Information
P. Danowski, Büchereiperspektiven 2012 (2012) 11.
[Published Version] View | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2915
Multi-modal learning for dynamic tactile sensing
O. Kroemer, C. Lampert, J. Peters, in:, Deutsches Zentrum für Luft und Raumfahrt, 2012.
View
 

2012 | Journal Article | IST-REx-ID: 2912
On the configuration space for the shortest networks
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3127 | OA
The most persistent soft-clique in a set of sampled graphs
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–218.
[Preprint] View | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2904 | OA
Weak multipliers for generalized van der Corput sequences
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2902 | OA
Fractal and computational geometry for generalizing cartographic objects
H. Edelsbrunner, O. Musin, A. Ukhalov, O. Yakimova, V. Alexeev, V. Bogaevskaya, A. Gorohov, M. Preobrazhenskaya, Modeling and Analysis of Information Systems 19 (2012) 152–160.
[Published Version] View | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 10389 | OA
Soft elastic surfaces as a platform for particle self-assembly
A. Šarić, A. Cacciuto, Soft Matter 7 (2011).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1050 | OA
Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1048 | OA
Ultracold and dense samples of ground-state molecules in lattice potentials
H. Nägerl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J.G. Danzl, Journal of Physics: Conference Series 264 (2011).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1052 | OA
Optimal trapping wavelengths of Cs 2 molecules in an optical lattice
R. Vexiau, N. Bouloufa, M. Aymar, J.G. Danzl, M. Mark, H. Nägerl, O. Dulieu, European Physical Journal D 65 (2011) 243–250.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1051
Demonstration of the temporal matter-wave Talbot effect for trapped matter waves
M. Mark, E. Haller, J.G. Danzl, K. Lauber, M. Gustavsson, H. Nägerl, New Journal of Physics 13 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1053 | OA
Precision measurements on a tunable Mott insulator of ultracold atoms
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Daley, H. Nägerl, Physical Review Letters 107 (2011).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1054 | OA
Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension
E. Haller, M. Rabie, M. Mark, J.G. Danzl, R. Hart, K. Lauber, G. Pupillo, H. Nägerl, Physical Review Letters 107 (2011).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 11094 | OA
POM121 and Sun1 play a role in early steps of interphase NPC assembly
J.A. Talamas, M. Hetzer, Journal of Cell Biology 194 (2011) 27–37.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 11096
Functional interactions between nucleoporins and chromatin
Y. Liang, M. Hetzer, Current Opinion in Cell Biology 23 (2011) 65–70.
View | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 11095
Editorial overview
M. Hetzer, G. Cavalli, Current Opinion in Cell Biology 23 (2011) 255–257.
View | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 11100
Nuclear pore complexes: Guardians of the nuclear genome
M. Capelson, C. Doucet, M. Hetzer, Cold Spring Harbor Symposia on Quantitative Biology 75 (2011) 585–597.
View | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 112 | OA
Droplet and cluster formation in freely falling granular streams
S.R. Waitukaitis, H. Grütjen, J. Royer, H. Jaeger, Physical Review E 83 (2011).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 11673
A comprehensive study of features and algorithms for URL-based topic classification
E. Baykan, M.H. Henzinger, L. Marian, I. Weber, ACM Transactions on the Web 5 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 11760
Offline file assignments for online load balancing
P. Dütting, M.H. Henzinger, I. Weber, Information Processing Letters 111 (2011) 178–183.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 11796
Multi-parameter mechanism design under budget and matroid constraints
M.H. Henzinger, A. Vidali, in:, 19th Annual European Symposium on Algorithms, Springer Nature, 2011, pp. 192–202.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 11864
An expressive mechanism for auctions on the web
P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 20th International Conference on World Wide Web, Association for Computing Machinery, 2011, pp. 127–136.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 12651 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 12649 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 12652 | OA
Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling
F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal of Glaciology 57 (2011) 367–381.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Book Chapter | IST-REx-ID: 12650
Streamflow Trends in Mountainous Regions
P. Molnar, P. Burlando, F. Pellicciotti, in:, V. Singh, P. Singh, U. Haritashya (Eds.), Encyclopedia of Snow, Ice and Glaciers, 1st ed., Springer Nature, Dordrecht, 2011, pp. 1084–1089.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1299
Internal structure of the fly elementary motion detector
H. Eichner, M.A. Jösch, B. Schnell, D. Reiff, A. Borst, Neuron 70 (2011) 1155–1164.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1467 | OA
Arithmetic harmonic analysis on character and quiver varieties
T. Hausel, E. Letellier, F. Rodríguez Villegas, Duke Mathematical Journal 160 (2011) 323–400.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1723
Epithelial organisation revealed by a network of cellular contacts
L. Escudero, L. Costa, A. Kicheva, J. Briscoe, M. Freeman, M. Babu, Nature Communications 2 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1724
Dynamics of Dpp signaling and proliferation control
O. Wartlick, P. Mumcu, A. Kicheva, T. Bittig, C. Seum, F. Jülicher, M. González Gaitán, Science 331 (2011) 1154–1159.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1754 | OA
Joule-assisted silicidation for short-channel silicon nanowire devices
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, M. Sanquer, S. De Franceschi, ACS Nano 5 (2011) 7117–7123.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1755 | OA
Observation of spin-selective tunneling in sige nanocrystals
G. Katsaros, V. Golovach, P. Spathis, N. Ares, M. Stoffel, F. Fournel, O. Schmidt, L. Glazman, S. De Franceschi, Physical Review Letters 107 (2011).
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 1776
Correlation measurements of individual microwave photons emitted from a symmetric cavity
D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, C. Eichler, M. Baur, R. Bianchetti, P. Leek, S. Filipp, A. Wallraff, M. Da Silva, A. Blais, in:, IOP Publishing Ltd., 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1777 | OA
Experimental state tomography of itinerant single microwave photons
C. Eichler, D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, A. Wallraff, Physical Review Letters 106 (2011).
View | Files available | DOI | Download None (ext.)
 

2011 | Journal Article | IST-REx-ID: 1778 | OA
Observation of resonant photon blockade at microwave frequencies using correlation function measurements
C. Lang, D. Bozyigit, C. Eichler, L. Steffen, J.M. Fink, A. Abdumalikov, M. Baur, S. Filipp, M. Da Silva, A. Blais, A. Wallraff, Physical Review Letters 106 (2011).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1775
Antibunching of microwave-frequency photons observed in correlation measurements using linear detectors
D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, C. Eichler, M. Baur, R. Bianchetti, P. Leek, S. Filipp, M. Da Silva, A. Blais, A. Wallraff, Nature Physics 7 (2011) 154–158.
View | DOI
 

Search

Filter Publications