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.

8157 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: 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.
View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 11089
Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins
J.S. Gomez-Cavazos, M. Hetzer, Current Opinion in Cell Biology 24 (2012) 775–783.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11091
Transient nuclear envelope rupturing during interphase in human cancer cells
J.D. Vargas, E.M. Hatch, D.J. Anderson, M. Hetzer, Nucleus 3 (2012) 88–100.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11093 | OA
A change in nuclear pore complex composition regulates cell differentiation
M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental Cell 22 (2012) 446–458.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11092
Extremely long-lived nuclear pore proteins in the rat brain
J.N. Savas, B.H. Toyama, T. Xu, J.R. Yates, M. Hetzer, Science 335 (2012) 942–942.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11090 | OA
RNP export by nuclear envelope budding
E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 113
Impact-activated solidification of dense suspensions via dynamic jamming fronts
S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 114 | OA
Solidification of a cornstarch and water suspension
S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
View | Files available
 

2012 | Conference Paper | IST-REx-ID: 11656
Maximizing revenue from strategic recommendations under decaying trust
P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 21st ACM International Conference on Information and Knowledge Management, Association for Computing Machinery, 2012, pp. 2268–2286.
View | DOI
 

2012 | 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.
View | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 11794 | OA
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.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | 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
 

2012 | Journal Article | IST-REx-ID: 11964
Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry
B. Pieber, D. Cantillo, C.O. Kappe, Chemistry – A European Journal 18 (2012) 5047–5055.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11963
Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats
G.S. Kumar, B. Pieber, K.R. Reddy, C.O. Kappe, Chemistry - A European Journal 18 (2012) 6124–6128.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 12644 | OA
Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters
S. Ragettli, F. Pellicciotti, Water Resources Research 48 (2012).
View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12646 | OA
Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies
F. Pellicciotti, C. Buergi, W.W. Immerzeel, M. Konz, A.B. Shrestha, Mountain Research and Development 32 (2012) 39–50.
View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12647 | OA
Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin
W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development 32 (2012) 30–38.
View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12648 | OA
Including debris cover effects in a distributed model of glacier ablation
T.D. Reid, M. Carenzo, F. Pellicciotti, B.W. Brock, Journal of Geophysical Research: Atmospheres 117 (2012).
View | DOI | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
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.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
Topology of hitchin systems and Hodge theory of character varieties: The case A 1
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
Prym varieties of spectral covers
T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 171 | OA
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1725
Developmental pattern formation: Insights from physics and biology
A. Kicheva, M. Cohen, J. Briscoe, Science 338 (2012) 210–212.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
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.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
Zero-bias anomaly in a nanowire quantum dot coupled to superconductors
E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, S. De Franceschi, Physical Review Letters 109 (2012).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1756 | OA
Multifunctional devices and logic gates with undoped silicon nanowires
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, S. De Franceschi, Nano Letters 12 (2012) 3074–3079.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
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.)
 

2012 | Journal Article | IST-REx-ID: 1782 | OA
Geometric phase and nonadiabatic effects in an electronic harmonic oscillator
M. Pechal, S. Berger, A. Abdumalikov, J.M. Fink, J. Mlynek, L. Steffen, A. Wallraff, S. Filipp, Physical Review Letters 108 (2012).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1784
Observation of entanglement between itinerant microwave photons and a superconducting qubit
C. Eichler, C. Lang, J.M. Fink, J. Govenius, S. Filipp, A. Wallraff, Physical Review Letters 109 (2012).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1801
Transcriptional code and disease map for adult retinal cell types
S. Siegert, E. Cabuy, B. Scherf, H. Kohler, S. Panda, Y. Le, H. Fehling, D. Gaidatzis, M. Stadler, B. Roska, Nature Neuroscience 15 (2012) 487–495.
View | DOI
 

2012 | Book Review | IST-REx-ID: 1976
The coupling mechanism of respiratory complex i - A structural and evolutionary perspective
R. Efremov, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1817 (2012) 1785–1795.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1972
Structure of Escherichia coli OmpF porin from lipidic mesophase
R. Efremov, L.A. Sazanov, Journal of Structural Biology 178 (2012) 311–318.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1987
Geometry sensing by self-organized protein patterns
J. Schweizer, M. Loose, M. Bonny, K. Kruse, I. Mönch, P. Schwille, PNAS 109 (2012) 15283–15288.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2048 | OA
Practical leakage-resilient symmetric cryptography
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049 | OA
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.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2073
Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans
Q. Zhou, H. Zhu, Q. Huang, L. Zhao, G. Zhang, S. Roy, B. Vicoso, Z. Xuan, J. Ruan, Y. Zhang, R. Zhao, C. Ye, X. Zhang, J. Wang, W. Wang, D. Bachtrog, BMC Genomics 13 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2079
crdbrd: Shape fabrication by sliding planar slices
K. Hildebrand, B. Bickel, M. Alexa, Computer Graphics Forum 31 (2012) 583–592.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2103
Coupled 3D reconstruction of sparse facial hair and skin
T. Beeler, B. Bickel, G. Noris, P. Beardsley, S. Marschner, R. Sumner, M. Groß, ACM Transactions on Graphics 31 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2101
Fabricating articulated characters from skinned meshes
M. Bac̈Her, B. Bickel, D. James, H. Pfister, ACM Transactions on Graphics 31 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2102
Physical face cloning
B. Bickel, P. Kaufmann, M. Skouras, B. Thomaszewski, D. Bradley, T. Beeler, P. Jackson, S. Marschner, W. Matusik, M. Groß, ACM Transactions on Graphics 31 (2012).
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2106
Data-driven estimation of cloth simulation models
E. Miguel, D. Bradley, B. Thomaszewski, B. Bickel, W. Matusik, M. Otaduy, S. Marschner, in:, Wiley-Blackwell, 2012, pp. 519–528.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2104
Data-driven simulation methods in computer graphics: Cloth, tissue and faces
M. Otaduy, B. Bickel, D. Bradley, H. Wang, in:, ACM, 2012.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2105
Computational design of rubber balloons
M. Skouras, B. Thomaszewski, B. Bickel, M. Groß, in:, Wiley-Blackwell, 2012, pp. 835–844.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2125 | OA
A spatial version of the Itô-Stratonovich correction
M. Hairer, J. Maas, Annals of Probability 40 (2012) 1675–1714.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2127 | OA
Ricci curvature of finite Markov chains via convexity of the entropy
M. Erbar, J. Maas, Archive for Rational Mechanics and Analysis 206 (2012) 997–1038.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2128 | OA
Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure
J. Maas, J. Van Neerven, P. Portal, Arkiv För Matematik 50 (2012) 379–395.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA
Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other
M. Lemeshko, B. Friedrich, Molecular Physics 110 (2012) 1873–1881.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2201 | OA
Nonadiabatic preparation of spin crystals with ultracold polar molecules
M. Lemeshko, R. Krems, H. Weimer, Physical Review Letters 109 (2012).
View | Files available | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 2202 | OA
Sensitive imaging of electromagnetic fields with paramagnetic polar molecules
S. Alyabyshev, M. Lemeshko, R. Krems, Physical Review A - Atomic, Molecular, and Optical Physics 86 (2012).
View | DOI | Download (ext.)
 

Search

Filter Publications