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.
7047 Publications
2012 |Published| Conference Paper | IST-REx-ID: 10906 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 3251 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition systems. In: Vol 7148. Springer; 2012:445-460. doi:10.1007/978-3-642-27940-9_29
[Submitted Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 3157 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Diaz Jr L, Williams R, Wu J, et al. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 2012;486(7404):537-540. doi:10.1038/nature11219
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 |Published| Journal Article | IST-REx-ID: 3260 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Reiter J, Nowak M. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 2012;81(1):69-80. doi:10.1016/j.tpb.2011.11.003
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 |Published| Journal Article | IST-REx-ID: 3258 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kim S, Guzmán J, Hu H, Jonas PM. Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience. 2012;15(4):600-606. doi:10.1038/nn.3060
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 |Published| Thesis | IST-REx-ID: 2964
Kim S. Active properties of hippocampal CA3 pyramidal neuron dendrites. 2012.
View
| Files available
2012 |Published| Journal Article | IST-REx-ID: 3246
Barone V, Heisenberg C-PJ. Cell adhesion in embryo morphogenesis. Current Opinion in Cell Biology. 2012;24(1):148-153. doi:10.1016/j.ceb.2011.11.006
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 6588 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pausinger F. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 2012;8(1):63-78.
[Published Version]
View
| Download Published Version (ext.)
| WoS
2012 |Published| Conference Paper | IST-REx-ID: 3123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Yu J, Wojtan C, Turk G, Yap C. Explicit mesh surfaces for particle based fluids. In: Computer Graphics Forum. Vol 31. Wiley; 2012:815-824. doi:10.1111/j.1467-8659.2012.03062.x
[Submitted Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 3244 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danowski P. Die Zeit des Abwartens ist vorbei! BuB - Forum Bibliothek und Information. 2012;64(4):284.
[Published Version]
View
| Download Published Version (ext.)
2012 |Published| Journal Article | IST-REx-ID: 3243 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danowski P. Zwischen Technologie und Information. Büchereiperspektiven. 2012;2012(1):11.
[Published Version]
View
| Download Published Version (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 2915
Kroemer O, Lampert C, Peters J. Multi-modal learning for dynamic tactile sensing. In: Deutsches Zentrum für Luft und Raumfahrt; 2012.
View
2012 |Published| Journal Article | IST-REx-ID: 2912
Edelsbrunner H, Strelkova N. On the configuration space for the shortest networks. Russian Mathematical Surveys. 2012;67(6):1167–1168. doi:10.4213/rm9503
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3127 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quadrianto N, Lampert C, Chen C. The most persistent soft-clique in a set of sampled graphs. In: Proceedings of the 29th International Conference on Machine Learning. ML Research Press; 2012:211-218.
[Preprint]
View
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 2904 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pausinger F. Weak multipliers for generalized van der Corput sequences. Journal de Theorie des Nombres des Bordeaux. 2012;24(3):729-749. doi:10.5802/jtnb.819
[Published Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 2902 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner H, Musin O, Ukhalov A, et al. Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. 2012;19(6):152-160.
[Published Version]
View
| Download Published Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 1050 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 1048 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nägerl H, Mark M, Haller E, Gustavsson M, Hart R, Danzl JG. Ultracold and dense samples of ground-state molecules in lattice potentials. Journal of Physics: Conference Series. 2011;264(1). doi:10.1088/1742-6596/264/1/012015
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 1052 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vexiau R, Bouloufa N, Aymar M, et al. Optimal trapping wavelengths of Cs 2 molecules in an optical lattice. European Physical Journal D. 2011;65(1-2):243-250. doi:10.1140/epjd/e2011-20085-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 1051
Mark M, Haller E, Danzl JG, Lauber K, Gustavsson M, Nägerl H. Demonstration of the temporal matter-wave Talbot effect for trapped matter waves. New Journal of Physics. 2011;13. doi:10.1088/1367-2630/13/8/085008
View
| DOI