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.

6065 Publications


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

2014 | Journal Article | IST-REx-ID: 8022 | OA
Optimal control of transient dynamics in balanced networks supports generation of complex movements
G. Hennequin, T.P. Vogels, W. Gerstner, Neuron 82 (2014) 1394–1406.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

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

2014 | Journal Article | IST-REx-ID: 809
Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly
T. Bharata, L. Menendez, W. Hagena, V. Luxd, S. Igonete, M. Schorba, F. Schur, H. Kraüsslich, J. Briggsa, PNAS 111 (2014) 8233–8238.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8244
Generation of a canine anti-EGFR (ErbB-1) antibody for passive immunotherapy in dog cancer patients
J. Singer, J. Singer, W. Wang, M. Weichselbaumer, M. Matz, A. Mader, W. Steinfellner, S. Meitz, D. Mechtcheriakova, Y. Sobanov, M. Willmann, T. Stockner, E. Spillner, R. Kunert, E. Jensen-Jarolim, Molecular Cancer Therapeutics 13 (2014) 1777–1790.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 845
Crossing-over in a hypervariable species preferentially occurs in regions of high local similarity
V. Seplyarskiy, M. Logacheva, A. Penin, M. Baranová, E. Leushkin, N. Demidenko, A. Klepikova, F. Kondrashov, A. Kondrashov, T. James, Molecular Biology and Evolution 31 (2014) 3016–3025.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 852
Long-Term asymmetrical acceleration of protein evolution after gene duplication
O. Rosello, F. Kondrashov, Genome Biology and Evolution 6 (2014) 1949–1955.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 856
Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network
K. Pougach, A. Voet, F. Kondrashov, K. Voordeckers, J. Christiaens, B. Baying, V. Bénès, R. Sakai, J. Aerts, B. Zhu, P. Van Dijck, K. Verstrepen, Nature Communications 5 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 863
The ctenophore genome and the evolutionary origins of neural systems
L. Moroz, K. Kocot, M. Citarella, S. Dosung, T. Norekian, I. Povolotskaya, A. Grigorenko, C. Dailey, E. Berezikov, K. Buckley, A. Ptitsyn, D. Reshetov, K. Mukherjee, T. Moroz, Y. Bobkova, F. Yu, V. Kapitonov, J. Jurka, Y. Bobkov, J. Swore, D. Girardo, A. Fodor, F. Gusev, R. Sanford, R. Bruders, E. Kittler, C. Mills, J. Rast, R. Derelle, V. Solovyev, F. Kondrashov, B. Swalla, J. Sweedler, E. Rogaev, K. Halanych, A. Kohn, Nature 510 (2014) 109–114.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 865
Anti leprosy drug clofazimine inhibits growth of triple-negative breast cancer cells via inhibition of canonical Wnt signaling
A. Koval, P. Vlasov, P. Shichkova, S. Khunderyakova, Y. Markov, J. Panchenko, A. Volodina, F. Kondrashov, V. Katanaev, Biochemical Pharmacology 87 (2014) 571–578.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
A structural perspective of compensatory evolution
D. Ivankov, A. Finkelstein, F. Kondrashov, Current Opinion in Structural Biology 26 (2014) 104–112.
View | DOI
 

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

2014 | Journal Article | IST-REx-ID: 97 | OA
Antilocalization of coulomb blockade in a Ge/Si nanowire
A.P. Higginbotham, F. Kuemmeth, T. Larsen, M. Fitzpatrick, J. Yao, H. Yan, C. Lieber, C. Marcus, APS Physics, Physical Review Letters 112 (2014).
View | DOI | Download None (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977 | OA
Interferometric probes of many-body localization
M. Serbyn, M. Knap, S. Gopalakrishnan, Z. Papić, N. Yao, C. Laumann, D. Abanin, M. Lukin, E. Demler, Physical Review Letters 113 (2014).
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 978 | OA
Mapping the unconventional orbital texture in topological crystalline insulators
I. Zeljkovic, Y. Okada, C. Huang, R. Sankar, D. Walkup, W. Zhou, M. Serbyn, F. Chou, W. Tsai, H. Lin, A. Bansil, L. Fu, M. Hasan, V. Madhavan, Nature Physics 10 (2014) 572–577.
View | DOI | Download (ext.)
 

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

2014 | Journal Article | IST-REx-ID: 98 | OA
Hole spin coherence in a Ge/Si heterostructure nanowire
A.P. Higginbotham, T. Larsen, J. Yao, H. Yan, C. Lieber, C. Marcus, F. Kuemmeth, Nano Letters 14 (2014) 3582–3586.
View | DOI | Download Preprint (ext.) | arXiv
 

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

2014 | Journal Article | IST-REx-ID: 118
Settling into dry granular media in different gravities
E. Altshuler, H. Torres, A. González_Pita, C.G. Sánchez, C. Pérez Penichet, S.R. Waitukaitis, R. Hidalgo, Geophysical Research Letters 41 (2014) 3032–3037.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 119 | OA
Size-dependent same-material tribocharging in insulating grains
S.R. Waitukaitis, V. Lee, J. Pierson, S. Forman, H. Jaeger, APS Physics, Physical Review Letters 112 (2014).
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1309
Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models
J.L. Fischer, Nonlinear Differential Equations and Applications 21 (2014) 27–50.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1312
Upper bounds on waiting times for the Thin-film equation: The case of weak slippage
J.L. Fischer, Archive for Rational Mechanics and Analysis 211 (2014) 771–818.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1375 | OA
Approximating the minimum cycle mean
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1392 | OA
A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393 | OA
Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
View | DOI | Download Published Version (ext.)
 

2014 | Thesis | IST-REx-ID: 1395
Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1402
Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1403
Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
View | Files available
 

2014 | Thesis | IST-REx-ID: 1404
Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
View
 

2014 | Conference Paper | IST-REx-ID: 1507 | OA
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
View | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516 | OA
On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1532
Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2014) 239–251.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 3263 | OA
Adaptation to changes in higher-order stimulus statistics in the salamander retina
G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 332
Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation
X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, A. Cabot, Journal of the American Chemical Society 136 (2014) 9236–9239.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 350 | OA
Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4
W. Li, M. Ibáñez, D. Cadavid, R. Zamani, J. Rubio Garcia, S. Gorsse, J. Morante, J. Arbiol, A. Cabot, Journal of Nanoparticle Research 16 (2014).
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 349
Bottom up processing of PbTe PbS thermoelectric nanocomposites
S. Ortega, M. Ibáñez, D. Cadavid, A. Cabot, International Journal of Nanotechnology 11 (2014) 955–970.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 348
Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites
D. Cadavid, M. Ibáñez, U. Anselmi Tamburini, O. Durá, M. De La Torre, A. Cabot, International Journal of Nanotechnology 11 (2014) 773–784.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 357
ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation
A. Fairbrother, V. Izquierdo Roca, X. Fontané, M. Ibáñez, A. Cabot, E. Saucedo, A. Pérez Rodríguez, CrystEngComm 16 (2014) 4120–4125.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 358
In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles
T. Herranz, M. Ibáñez, J. Gómez De La Fuente, F. Pérez Alonso, M. Peña, A. Cabot, S. Rojas, ChemElectroChem 1 (2014) 885–895.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 359
Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures
R. Zamani, M. Ibáñez, M. Luysberg, N. García Castelló, L. Houben, J. Prades, V. Grillo, R. Dunin Borkowski, J. Morante, A. Cabot, J. Arbiol, ACS Nano 8 (2014) 2290–2301.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 355
The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals
X. Yu, X. An, A. Shavel, M. Ibáñez, A. Cabot, Journal of Materials Chemistry A 2 (2014) 12317–12322.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 356
Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation
X. Yu, A. Shavel, X. An, Z. Luo, M. Ibáñez, A. Cabot, Journal of the American Chemical Society 136 (2014) 9236–9239.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 773
Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
View | DOI
 

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

2014 | Conference Paper | IST-REx-ID: 771
Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems
D.-A. Alistarh, O. Denysyuk, L. Rodrígues, N. Shavit, in:, ACM, 2014, pp. 232–241.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 769
Tight bounds for asynchronous renaming
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, R. Guerraoui, Journal of the ACM 61 (2014).
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 774
Brief announcement: Are lock-free concurrent algorithms practically wait-free?
D.-A. Alistarh, K. Censor Hille, N. Shavit, in:, ACM, 2014, pp. 50–52.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 768
Dynamic task allocation in asynchronous shared memory
D.-A. Alistarh, J. Aspnes, M. Bender, R. Gelashvili, S. Gilbert, in:, SIAM, 2014, pp. 416–435.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 770
StackTrack: An automated transactional approach to concurrent memory reclamation
D.-A. Alistarh, P. Eugster, M. Herlihy, A. Matveev, N. Shavit, in:, ACM, 2014.
View | DOI
 

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

2014 | Journal Article | IST-REx-ID: 926
Growth homeostatic regulation and stem cell dynamics in tissues
E.B. Hannezo, J. Prost, J. Joanny, Journal of the Royal Society Interface 11 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 925
Balance between apical membrane growth and luminal matrix resistance determines epithelial tubule shape
B. Dong, E.B. Hannezo, S. Hayashi, Cell Reports 7 (2014) 941–950.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 927
Theory of epithelial sheet morphology in three dimensions
E.B. Hannezo, J. Prost, J. Joanny, PNAS 111 (2014) 27–32.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1058
Coordinate-targeted and coordinate-stochastic super-resolution microscopy with the reversibly switchable fluorescent protein dreiklang
N. Jensen, J.G. Danzl, K. Willig, F. Lavoie Cardinal, T. Brakemann, S. Hell, S. Jakobs, ChemPhysChem 15 (2014) 756–762.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8501
Generic fast diffusion for a class of non-convex Hamiltonians with two degrees of freedom
A. Bounemoura, V. Kaloshin, Moscow Mathematical Journal 14 (2014) 181–203.
View | DOI | arXiv
 

2014 | Journal Article | IST-REx-ID: 8500
Arnol′d diffusion in a pendulum lattice
V. Kaloshin, M. Levi, M. Saprykina, Communications on Pure and Applied Mathematics 67 (2014) 748–775.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8459
Relax: The analysis of biomolecular kinetics and thermodynamics using NMR relaxation dispersion data
S. Morin, T.E. Linnet, M. Lescanne, P. Schanda, G.S. Thompson, M. Tollinger, K. Teilum, S. Gagné, D. Marion, C. Griesinger, M. Blackledge, E.J. d’Auvergne, Bioinformatics 30 (2014) 2219–2220.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8458
Atomic model of a cell-wall cross-linking enzyme in complex with an intact bacterial peptidoglycan
P. Schanda, S. Triboulet, C. Laguri, C.M. Bougault, I. Ayala, M. Callon, M. Arthur, J.-P. Simorre, Journal of the American Chemical Society 136 (2014) 17852–17860.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 8460
Probing transient conformational states of proteins by solid-state R1ρ relaxation-dispersion NMR spectroscopy
P. Ma, J.D. Haller, J. Zajakala, P. Macek, A.C. Sivertsen, D. Willbold, J. Boisbouvier, P. Schanda, Angewandte Chemie International Edition 53 (2014) 4312–4317.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1991
Reversal of an ancient sex chromosome to an autosome in Drosophila
B. Vicoso, D. Bachtrog, Nature 499 (2013) 332–335.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
TTP: Tool for tumor progression
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

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

2013 | Journal Article | IST-REx-ID: 2074 View | DOI
 

2013 | Journal Article | IST-REx-ID: 2076
Comparative sex chromosome genomics in snakes: Differentiation evolutionary strata and lack of global dosage compensation
B. Vicoso, J. Emerson, Y. Zektser, S. Mahajan, D. Bachtrog, PLoS Biology 11 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
Computational design of actuated deformable characters
M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2108
Computational design of mechanical characters
S. Coros, B. Thomaszewski, G. Noris, S. Sueda, M. Forberg, R. Sumner, W. Matusik, B. Bickel, ACM Transactions on Graphics 32 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2109
Orthogonal slicing for additive manufacturing
K. Hildebrand, B. Bickel, M. Alexa, Computers and Graphics (Pergamon) 37 (2013) 669–675.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2110
Fabricating translucent materials using continuous pigment mixtures
M. Papas, C. Regg, W. Jarosz, B. Bickel, P. Jackson, W. Matusik, S. Marschner, M. Groß, ACM Transactions on Graphics 32 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2111
Augmenting physical avatars using projector-based illumination
A. Bermano, P. Bruschweiler, A. Grundhöfer, D. Iwai, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2112
Modeling and estimation of internal friction in cloth
E. Miguel, R. Tamstorf, D. Bradley, S. Schvartzman, B. Thomaszewski, B. Bickel, W. Matusik, S. Marschner, M. Otaduy, ACM Transactions on Graphics 32 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2113
3D printing spatially varying BRDFs
O. Rouiller, B. Bickel, J. Kautz, W. Matusik, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 48–57.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2114
Computational aspects of fabrication: Modeling, design and 3d printing
B. Bickel, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 24–25.
View | DOI
 

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

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

2013 | Journal Article | IST-REx-ID: 2130
Erratum: A Trotter product formula for gradient flows in metric spaces
P. Clément, J. Maas, Journal of Evolution Equations 13 (2013) 251–252.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2139 | OA View | DOI | Download (ext.)
 

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

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

2013 | Conference Paper | IST-REx-ID: 2182
Quantitative abstraction refinement
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
View | DOI
 

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

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

2013 | Journal Article | IST-REx-ID: 2206 | OA
Controllable quantum spin glasses with magnetic impurities embedded in quantum solids
M. Lemeshko, N. Yao, A. Gorshkov, H. Weimer, S. Bennett, T. Momose, S. Gopalakrishnan, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
View | DOI | Download (ext.)
 

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

2013 | Conference Paper | IST-REx-ID: 2209
Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2210 | OA
Reconstructing polygons from embedded straight skeletons
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
View | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2237 | OA
Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2238
Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243 | OA
Elementary modal logics over transitive structures
J. Michaliszyn, J. Otop, 23 (2013) 563–577.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2244 | OA
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Forgiver triumphs in alternating prisoner's dilemma
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2256 | OA
Linked (Open) Data - Bibliographische Daten im Semantic Web
P. Danowski, D. Goldfarb, V. Schaffner, W. Seidler, VÖB Mitteilungen 66 (2013) 559–587.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2258 | OA
Digital signatures with minimal overhead from indifferentiable random invertible functions
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2259 | OA
Learning with rounding, revisited: New reduction properties and applications
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2260 | OA
Efficient signatures of knowledge and DAA in the standard model
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2264 | OA
Neural development is dependent on the function of specificity protein 2 in cell cycle progression
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2269
Analytic Visibility on the GPU
T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 32 (2013) 409–418.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2270 | OA
Optimal Coalition Structures in Cooperative Graph Games
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
View | Download None (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Inference algorithms for pattern-based CRFs on sequence data
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, International Machine Learning Society, 2013, pp. 145–153.
View | Files available | Download Submitted Version (ext.)
 

Search

Filter Publications