Please note that IST 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.

3071 Publications


2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolution on Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-190-v2-2
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2257 | OA
Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 2014;10(1). doi:10.1371/journal.pcbi.1003408
View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 5813 | OA
Dereziński J, Napiórkowski MM. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 2014;15(12):2409-2439. doi:10.1007/s00023-013-0302-4
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 2014;39(13):4005-4008. doi:10.1364/OL.39.004005
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
Linneweber GA, Jacobson J, Busch KE, et al. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 2014;156(1-2):69-83. doi:10.1016/j.cell.2013.12.008
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 2014;10(3). doi:10.1371/journal.pgen.1004082
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 2014;34(50):16726-16738. doi:10.1523/jneurosci.5368-13.2014
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319 | OA
Bretèche R de la, Browning TD. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 2014;26(1):25-44. doi:10.5802/jtnb.857
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
Mondelli M, Hassani H, Urbanke R. From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. 2014;62(9):3084-3091. doi:10.1109/tcomm.2014.2345069
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 6740 | OA
Mondelli M, Urbanke R, Hassani H. How to achieve the capacity of asymmetric channels. In: 52nd Annual Allerton Conference on Communication, Control, and Computing. IEEE; 2014:789-796. doi:10.1109/allerton.2014.7028535
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7071 | OA
Modic KA, Smidt TE, Kimchi I, et al. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 2014;5. doi:10.1038/ncomms5203
View | Files available | DOI
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
View | Files available
 

2014 | Conference Paper | IST-REx-ID: 772 | OA
Alistarh D-A, Censor Hillel K, Shavit N. Are lock-free concurrent algorithms practically wait-free? In: ACM; 2014:714-723. doi:10.1145/2591796.2591836
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 775 | OA
Alistarh D-A, Kopinsky J, Matveev A, Shavit N. The levelarray: A fast, practical long-lived renaming algorithm. In: IEEE; 2014:348-357. doi:10.1109/ICDCS.2014.43
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7771 | OA
Goodrich CP, Liu AJ, Nagel SR. Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic.” Physical Review Letters. 2014;112(4). doi:10.1103/physrevlett.112.049801
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer R. Structure of the excitation spectrum for many-body quantum systems. In: Proceeding of the International Congress of Mathematicans. Vol 3. Kyung Moon SA; 2014:1175-1194.
View | Download Published Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2082 | OA
Gazi P, Pietrzak KZ, Rybar M. The exact PRF-security of NMAC and HMAC. In: Garay J, Gennaro R, eds. Vol 8616. Springer; 2014:113-130. doi:10.1007/978-3-662-44371-2_7
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 96 | OA
Higginbotham AP, Kuemmeth F, Hanson M, Gossard A, Marcus C. Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters. 2014;112(2). doi:10.1103/PhysRevLett.112.026801
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 97 | OA
Higginbotham AP, Kuemmeth F, Larsen T, et al. Antilocalization of coulomb blockade in a Ge/Si nanowire. APS Physics, Physical Review Letters. 2014;112(21). doi:10.1103/PhysRevLett.112.216806
View | DOI | Download None (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977 | OA
Serbyn M, Knap M, Gopalakrishnan S, et al. Interferometric probes of many-body localization. Physical Review Letters. 2014;113(14). doi:10.1103/PhysRevLett.113.147204
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 978 | OA
Zeljkovic I, Okada Y, Huang C, et al. Mapping the unconventional orbital texture in topological crystalline insulators. Nature Physics. 2014;10(8):572-577. doi:10.1038/nphys3012
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 979 | OA
Serbyn M, Fu L. Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics. 2014;90(3). doi:10.1103/PhysRevB.90.035402
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98 | OA
Higginbotham AP, Larsen T, Yao J, et al. Hole spin coherence in a Ge/Si heterostructure nanowire. Nano Letters. 2014;14(6):3582-3586. doi:10.1021/nl501242b
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 980 | OA
Serbyn M, Papić Z, Abanin D. Quantum quenches in the many-body localized phase. Physical Review B - Condensed Matter and Materials Physics. 2014;90(17). doi:10.1103/PhysRevB.90.174302
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1912 | OA
Compagnon J, Barone V, Rajshekar S, et al. The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. 2014;31(6):774-783. doi:10.1016/j.devcel.2014.11.003
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7598 | OA
Tan S, Xue H-W. Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports. 2014;9(5):1692-1702. doi:10.1016/j.celrep.2014.10.047
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8021 | OA
Araya R, Vogels TP, Yuste R. Activity-dependent dendritic spine neck changes are correlated with synaptic strength. Proceedings of the National Academy of Sciences. 2014;111(28):E2895-E2904. doi:10.1073/pnas.1321869111
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8022 | OA
Hennequin G, Vogels TP, Gerstner W. Optimal control of transient dynamics in balanced networks supports generation of complex movements. Neuron. 2014;82(6):1394-1406. doi:10.1016/j.neuron.2014.04.045
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8023 | OA
Tomm C, Avermann M, Petersen C, Gerstner W, Vogels TP. Connection-type-specific biases make uniform random network models consistent with cortical recordings. Journal of Neurophysiology. 2014;112(8):1801-1814. doi:10.1152/jn.00629.2013
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 1442 | OA
Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168. doi:10.4007/annals.2013.177.3.8
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 1443 | OA
Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Vol 25. International Press; 2013:29-70.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1470 | OA
De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 2013;7:23-38. doi:10.5427/jsing.2013.7c
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1759 | OA
Ares N, Golovach V, Katsaros G, et al. Nature of tunable hole g factors in quantum dots. Physical Review Letters. 2013;110(4). doi:10.1103/PhysRevLett.110.046602
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1760 | OA
Ares N, Katsaros G, Golovach V, et al. SiGe quantum dots for fast hole spin Rabi oscillations. Applied Physics Letters. 2013;103(26). doi:10.1063/1.4858959
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1786 | OA
Nissen F, Fink JM, Mlynek J, Wallraff A, Keeling J. Collective suppression of linewidths in circuit QED. Physical Review Letters. 2013;110(20). doi:10.1103/PhysRevLett.110.203602
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2009 | OA
Uhler C, Slavkovic A, Fienberg S. Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . 2013;5(1):137-166. doi:10.29012/jpc.v5i1.629
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2010 | OA
Uhler C, Raskutti G, Bühlmann P, Yu B. Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. 2013;41(2):436-463. doi:10.1214/12-AOS1080
View | DOI | Download Published Version (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2117 | OA
Dirksen S, Maas J, Van Neerven J. Poisson stochastic integration in Banach spaces. Electronic Journal of Probability. 2013;18. doi:10.1214/EJP.v18-2945
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2129 | OA
Gigli N, Maas J. Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. 2013;45(2):879-899. doi:10.1137/120886315
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2139 | OA
Lemeshko M. Manipulating scattering of ultracold atoms with light-induced dissipation. Frontiers Physics. 2013;1(17). doi:10.3389/fphy.2013.00017
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2152 | OA
Bhongale S, Mathey L, Zhao E, Yelin S, Lemeshko M. Erratum: Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters. 2013;111(23). doi:10.1103/PhysRevLett.111.239901
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. Quantitative relaxation of concurrent data structures. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:317-328. doi:10.1145/2429069.2429109
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2204 | OA
Bhongale S, Mathey L, Zhao E, Yelin S, Lemeshko M. Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters. 2013;110(15). doi:10.1103/PhysRevLett.110.155301
View | DOI | Download (ext.)
 

2013 | Book Review | IST-REx-ID: 2205 | OA
Lemeshko M, Krems R, Doyle J, Kais S. Manipulation of molecules with electromagnetic fields. Molecular Physics. 2013;111(12-13):1648-1682. doi:10.1080/00268976.2013.813595
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2206 | OA
Lemeshko M, Yao N, Gorshkov A, et al. Controllable quantum spin glasses with magnetic impurities embedded in quantum solids. Physical Review B - Condensed Matter and Materials Physics. 2013;88(1). doi:10.1103/PhysRevB.88.014426
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2207 | OA
Lemeshko M, Weimer H. Dissipative binding of atoms by non-conservative forces. Nature Communications. 2013;4. doi:10.1038/ncomms3230
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications