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
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking for programs manipulating lists and arrays with infinite data,” in Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 167–182.
View | DOI
 

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

2012 | Conference Paper | IST-REx-ID: 10906 | OA
S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

2012 | Conference Paper | IST-REx-ID: 3251 | OA
D. Zufferey, T. Wies, and T. A. Henzinger, “Ideal abstractions for well structured transition systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 445–460.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
L. Diaz Jr et al., “The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers,” Nature, vol. 486, no. 7404. Nature Publishing Group, pp. 537–540, 2012.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

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

2012 | Thesis | IST-REx-ID: 2964
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
V. Barone and C.-P. J. Heisenberg, “Cell adhesion in embryo morphogenesis,” Current Opinion in Cell Biology, vol. 24, no. 1. Elsevier, pp. 148–153, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 12198 | OA
C. A. Ibarra et al., “Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes,” Science, vol. 337, no. 6100. American Association for the Advancement of Science, pp. 1360–1364, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
F. Pausinger, “Elementary solutions of the Bernstein problem on two intervals,” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1. B. Verkin Institute for Low Temperature Physics and Engineering, pp. 63–78, 2012.
[Published Version] View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
J. Yu, C. Wojtan, G. Turk, and C. Yap, “Explicit mesh surfaces for particle based fluids,” in Computer Graphics Forum, Cagliari, Sardinia, Italy, 2012, vol. 31, no. 2, pp. 815–824.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3244 | OA
P. Danowski, “Die Zeit des Abwartens ist vorbei!,” BuB - Forum Bibliothek und Information, vol. 64, no. 4. Fachzeitschrift des BIB – Berufsverband Information Bibliothek, p. 284, 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 3243 | OA
P. Danowski, “Zwischen Technologie und Information,” Büchereiperspektiven, vol. 2012, no. 1. Büchereiverband Österreichs, p. 11, 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2915
O. Kroemer, C. Lampert, and J. Peters, “Multi-modal learning for dynamic tactile sensing,” 2012.
View
 

2012 | Journal Article | IST-REx-ID: 2912
H. Edelsbrunner and N. Strelkova, “On the configuration space for the shortest networks,” Russian Mathematical Surveys, vol. 67, no. 6. Russian Academy of Sciences, pp. 1167–1168, 2012.
View | DOI
 

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

2012 | Journal Article | IST-REx-ID: 2904 | OA
F. Pausinger, “Weak multipliers for generalized van der Corput sequences,” Journal de Theorie des Nombres des Bordeaux, vol. 24, no. 3. Université de Bordeaux, pp. 729–749, 2012.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2902 | OA
H. Edelsbrunner et al., “Fractal and computational geometry for generalizing cartographic objects,” Modeling and Analysis of Information Systems, vol. 19, no. 6. Russian Academy of Sciences, pp. 152–160, 2012.
[Published Version] View | Download Published Version (ext.)
 

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

2011 | Journal Article | IST-REx-ID: 1050 | OA
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
H. Nägerl, M. Mark, E. Haller, M. Gustavsson, R. Hart, and J. G. Danzl, “Ultracold and dense samples of ground-state molecules in lattice potentials,” Journal of Physics: Conference Series, vol. 264, no. 1. IOP Publishing Ltd., 2011.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1052 | OA
R. Vexiau et al., “Optimal trapping wavelengths of Cs 2 molecules in an optical lattice,” European Physical Journal D, vol. 65, no. 1–2. Springer, pp. 243–250, 2011.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2011 | Journal Article | IST-REx-ID: 1054 | OA
E. Haller et al., “Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension,” Physical Review Letters, vol. 107, no. 23. American Physical Society, 2011.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2011 | Journal Article | IST-REx-ID: 11095
M. Hetzer and G. Cavalli, “Editorial overview,” Current Opinion in Cell Biology, vol. 23, no. 3. Elsevier, pp. 255–257, 2011.
View | DOI | PubMed | Europe PMC
 

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

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

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

2011 | Journal Article | IST-REx-ID: 11760
P. Dütting, M. H. Henzinger, and I. Weber, “Offline file assignments for online load balancing,” Information Processing Letters, vol. 111, no. 4. Elsevier, pp. 178–183, 2011.
View | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 11864
P. Dütting, M. H. Henzinger, and I. Weber, “An expressive mechanism for auctions on the web,” in Proceedings of the 20th international conference on World wide web, Hyderabad, India, 2011, pp. 127–136.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 12651 | OA
L. Petersen and F. Pellicciotti, “Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile,” Journal of Geophysical Research: Atmospheres, vol. 116, no. D23. American Geophysical Union, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 12649 | OA
D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, and P. Burlando, “The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model,” Water Resources Research, vol. 47, no. 7. American Geophysical Union, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

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

2011 | Journal Article | IST-REx-ID: 1299
H. Eichner, M. A. Jösch, B. Schnell, D. Reiff, and A. Borst, “Internal structure of the fly elementary motion detector,” Neuron, vol. 70, no. 6. Elsevier, pp. 1155–1164, 2011.
View | DOI
 

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

2011 | Journal Article | IST-REx-ID: 1723
L. Escudero, L. Costa, A. Kicheva, J. Briscoe, M. Freeman, and M. Babu, “Epithelial organisation revealed by a network of cellular contacts,” Nature Communications, vol. 2, no. 1. Nature Publishing Group, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 1724
O. Wartlick et al., “Dynamics of Dpp signaling and proliferation control,” Science, vol. 331, no. 6021. American Association for the Advancement of Science, pp. 1154–1159, 2011.
View | DOI
 

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

2011 | Journal Article | IST-REx-ID: 1755 | OA
G. Katsaros et al., “Observation of spin-selective tunneling in sige nanocrystals,” Physical Review Letters, vol. 107, no. 24. American Physical Society, 2011.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 1776
D. Bozyigit et al., “Correlation measurements of individual microwave photons emitted from a symmetric cavity,” presented at the International Conference on Atomic Physics, 2011, vol. 264, no. 1.
View | DOI
 

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

2011 | Journal Article | IST-REx-ID: 1778 | OA
C. Lang et al., “Observation of resonant photon blockade at microwave frequencies using correlation function measurements,” Physical Review Letters, vol. 106, no. 24. American Physical Society, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1775
D. Bozyigit et al., “Antibunching of microwave-frequency photons observed in correlation measurements using linear detectors,” Nature Physics, vol. 7, no. 2. Nature Publishing Group, pp. 154–158, 2011.
View | DOI
 

Search

Filter Publications