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.

3165 Publications


2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta, C., Wabnik, K. T., & Benková, E. (2013). Systems approaches to study root architecture dynamics. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2013.00537
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 1759 | OA
Ares, N., Golovach, V., Katsaros, G., Stoffel, M., Fournel, F., Glazman, L., … De Franceschi, S. (2013). Nature of tunable hole g factors in quantum dots. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.110.046602
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1760 | OA
Ares, N., Katsaros, G., Golovach, V., Zhang, J., Prager, A., Glazman, L., … De Franceschi, S. (2013). SiGe quantum dots for fast hole spin Rabi oscillations. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.4858959
View | DOI | Download (ext.)
 

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

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, J., Božić, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_6
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2009 | OA
Uhler, C., Slavkovic, A., & Fienberg, S. (2013). Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . Carnegie Mellon University. https://doi.org/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. (2013). Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. Institute of Mathematical Statistics. https://doi.org/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. (2013). Poisson stochastic integration in Banach spaces. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v18-2945
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2129 | OA
Gigli, N., & Maas, J. (2013). Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/120886315
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2139 | OA
Lemeshko, M. (2013). Manipulating scattering of ultracold atoms with light-induced dissipation. Frontiers Physics. Frontiers Media. https://doi.org/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. (2013). Erratum: Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.111.239901
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, T. A., Kirsch, C., Payer, H., Sezgin, A., & Sokolova, A. (2013). Quantitative relaxation of concurrent data structures. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 317–328). Rome, Italy: ACM. https://doi.org/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. (2013). Quantum phases of quadrupolar fermi gases in optical lattices. Physical Review Letters. American Physical Society. https://doi.org/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. (2013). Manipulation of molecules with electromagnetic fields. Molecular Physics. Taylor & Francis. https://doi.org/10.1080/00268976.2013.813595
View | DOI | Download (ext.)
 

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

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

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

2013 | Conference Paper | IST-REx-ID: 2237 | OA
Blanc, R., Gupta, A., Kovács, L., & Kragl, B. (2013). Tree interpolation in Vampire. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer. https://doi.org/10.1007/978-3-642-45221-5_13
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn, J., & Otop, J. (2013). Elementary modal logics over transitive structures. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.563
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2013). Untangling two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer. https://doi.org/10.1007/978-3-319-03841-4_41
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky, B., Reiter, J., Chatterjee, K., & Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0080814
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2256 | OA
Danowski, P., Goldfarb, D., Schaffner, V., & Seidler, W. (2013). Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2258 | OA
Kiltz, E., Pietrzak, K. Z., & Szegedy, M. (2013). Digital signatures with minimal overhead from indifferentiable random invertible functions. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_31
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2259 | OA
Alwen, J. F., Krenn, S., Pietrzak, K. Z., & Wichs, D. (2013). Learning with rounding, revisited: New reduction properties and applications. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_4
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 476 | OA
Dickerson, D., & Bilkey, D. (2013). Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fnbeh.2013.00217
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 500 | OA
Ward, M., Lycett, S., Avila, D., Bollback, J. P., & Leigh Brown, A. (2013). Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-13-222
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B., … Santos, F. (2013). A new species of tapir from the Amazon. Journal of Mammalogy. Oxford University Press. https://doi.org/10.1644/12-MAMM-A-169.1
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 507 | OA
Kim, S., Xu, Z., Song, K., Kim, D., Kang, H., Reichardt, I., … Hwang, I. (2013). Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.113.114264
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 508 | OA
Tarazona Santos, E., Machado, M., Magalhães, W., Chen, R., Lyon, F., Burdett, L., … Chanock, S. (2013). Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/mst119
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 509 | OA
Di Rubbo, S., Irani, N., Kim, S., Xu, Z., Gadeyne, A., Dejonghe, W., … Russinova, E. (2013). The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.113.114058
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 511 | OA
Pěnčík, A., Simonovik, B., Petersson, S., Henyková, E., Simon, S., Greenham, K., … Ljung, K. (2013). Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.113.114421
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 516 | OA
Bargmann, B., Vanneste, S., Krouk, G., Nawy, T., Efroni, I., Shani, E., … Birnbaum, K. (2013). A map of cell type‐specific auxin responses. Molecular Systems Biology. Nature Publishing Group. https://doi.org/10.1038/msb.2013.40
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5399 | OA
Reiter, J., Bozic, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for Tumor Progression. IST Austria. https://doi.org/10.15479/AT:IST-2013-104-v1-1
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2013). What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria. https://doi.org/10.15479/AT:IST-2013-109-v1-1
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401 | OA
Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.
View | Files available
 

2013 | Technical Report | IST-REx-ID: 5402 | OA
Henzinger, T. A., & Sezgin, A. (2013). How free is your linearizable concurrent data structure? IST Austria. https://doi.org/10.15479/AT:IST-2013-123-v1-1
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2013-126-v1-1
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria. https://doi.org/10.15479/AT:IST-2013-127-v1-1
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
Chatterjee, K., Doyen, L., Gimbert, H., & Oualhadj, Y. (2013). Perfect-information stochastic mean-payoff parity games. IST Austria. https://doi.org/10.15479/AT:IST-2013-128-v1-1
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407 | OA
Porsche, J. (2013). Technical requirements and features. IST Austria.
View | Files available
 

2013 | Technical Report | IST-REx-ID: 5408 | OA
Chatterjee, K., Doyen, L., Nain, S., & Vardi, M. (2013). The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria. https://doi.org/10.15479/AT:IST-2013-141-v1-1
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5410 | OA
Ahmed, U., Chatterjee, K., & Gulwani, S. (2013). Automatic generation of alternative starting positions for traditional board games. IST Austria. https://doi.org/10.15479/AT:IST-2013-146-v1-1
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 595 | OA
Bernecky, C., & Cramer, P. (2013). Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2013.36
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 6128 | OA
Kodama-Namba, E., Fenk, L. A., Bretscher, A. J., Gross, E., Busch, K. E., & de Bono, M. (2013). Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. Public Library of Science (PLoS). https://doi.org/10.1371/journal.pgen.1004011
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6130 | OA
Chen, C., Fenk, L. A., & de Bono, M. (2013). Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkt805
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6133 | OA
Couto, A., Oda, S., Nikolaev, V. O., Soltesz, Z., & de Bono, M. (2013). In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1217428110
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria. https://doi.org/10.15479/AT:IST-2013-124-v1-1
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 6768 | OA
Mondelli, M. (2013). A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. Image Processing On Line. https://doi.org/10.5201/ipol.2013.53
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE. https://doi.org/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. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/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. (2013). Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2013.177.3.8
View | DOI | Download (ext.)
 

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

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

2013 | Journal Article | IST-REx-ID: 905 | OA
Arkhipov, V., Noah, T., Koschkar, S., & Kondrashov, F. (2013). Birds of Mys Shmidta, north Chukotka, Russia. Forktail. Oriental Bird Club.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 9153 | OA
Melet, A., Nikurashin, M., MULLER, C. J., Falahat, S., Nycander, J., Timko, P. G., … Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. American Geophysical Union. https://doi.org/10.1002/2013jc009212
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9154 | OA
MULLER, C. J. (2013). Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. American Meteorological Society. https://doi.org/10.1175/jcli-d-12-00655.1
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 970 | OA
Serbyn, M., & Abanin, D. (2013). New Dirac points and multiple Landau level crossings in biased trilayer graphene. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.87.115422
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 971 | OA
Serbyn, M., & Skvortsov, M. (2013). Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.87.020501
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 972 | OA
Okada, Y., Serbyn, M., Lin, H., Walkup, D., Zhou, W., Dhital, C., … Madhavan, V. (2013). Observation of dirac node formation and mass acquisition in a topological crystalline insulator. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1239451
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 973 | OA
Serbyn, M., Papić, Z., & Abanin, D. (2013). Local conservation laws and the structure of the many body localized states. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.111.127201
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 974 | OA
Serbyn, M., Senthil, T., & Lee, P. (2013). Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.88.024419
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 975 | OA
Serbyn, M., Papić, Z., & Abanin, D. (2013). Universal slow growth of entanglement in interacting strongly disordered systems. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.110.260601
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 976 | OA
Serbyn, M., & Lee, P. (2013). Spinon-phonon interaction in algebraic spin liquids. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.87.174424
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 450 | OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2013). Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2012.2058
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 3261 | OA
Dubuis, J., Tkačik, G., Wieschaus, E., Gregor, T., & Bialek, W. (2013). Positional information, in bits. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1315642110
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 344 | OA
Ibáñez, M., Cadavid, D., Anselmi Tamburini, U., Zamani, R., Gorsse, S., Li, W., … Cabot, A. (2013). Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals. Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/C2TA00419D
View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9167 | OA
Palacci, J. A., Sacanna, S., Vatchinsky, A., Chaikin, P. M., & Pine, D. J. (2013). Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja406090s
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, D. (2013). Analysis of dynamic message passing programs. IST Austria.
View | Files available | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal, K., Koskinen, E., Wies, T., & Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman & S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer. https://doi.org/10.1007/978-3-642-36742-7_5
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang, H., Hippenmeyer, S., & Ghashghaei, H. (2012). A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology Open. The Company of Biologists. https://doi.org/10.1242/bio.20122287
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2267 | OA
Preiner, R., Jeschke, S., & Wimmer, M. (2012). Auto splats: Dynamic point cloud visualization on the GPU (pp. 139–148). Presented at the EGPGV: Eurographics Symposium on Parallel Graphics and Visualization, Calgari, Italy: Eurographics Association. https://doi.org/10.2312/EGPGV/EGPGV12/139-148
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2268 | OA
Auzinger, T., Guthe, M., & Jeschke, S. (2012). Analytic anti-aliasing of linear functions on polytopes (Vol. 31, pp. 335–344). Presented at the EUROGRAPHICS: European Association for Computer Graphics, Wiley-Blackwell. http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2316 | OA
Frank, R., Lieb, É., Seiringer, R., & Thomas, L. (2012). Ground state properties of multi-polaron systems (pp. 477–485). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1142/9789814449243_0045
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2317 | OA
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2012). Microscopic derivation of the Ginzburg-Landau model (pp. 575–583). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1142/9789814449243_0060
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer, R. (2012). Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. European Mathematical Society. https://doi.org/10.4171/JST/31
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2395 | OA
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2012). Microscopic derivation of Ginzburg-Landau theory. Journal of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0894-0347-2012-00735-8
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2396 | OA
Landon, B., & Seiringer, R. (2012). The scattering length at positive temperature. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-012-0566-5
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2397 | OA
Hainzl, C., & Seiringer, R. (2012). Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-011-0535-4
View | DOI | Download (ext.)
 

2012 | Book Review | IST-REx-ID: 2398 | OA
Jakšić, V., Ogata, Y., Pillet, C., & Seiringer, R. (2012). Quantum hypothesis testing and non-equilibrium statistical mechanics. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X12300026
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2400 | OA
Frank, R., Lieb, É., & Seiringer, R. (2012). Binding of polarons and atoms at threshold. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-012-1436-9
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2401 | OA
Lieb, É., & Seiringer, R. (2012). Further implications of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-012-0585-8
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2402 | OA
Frank, R., & Seiringer, R. (2012). Lieb-Thirring inequality for a model of particles with point interactions. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.3697416
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2403 | OA
Seiringer, R., Yngvason, J., & Zagrebnov, V. (2012). Disordered Bose-Einstein condensates with interaction in one dimension. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd. https://doi.org/10.1088/1742-5468/2012/11/P11007
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger, I., De Matos Simoes, R., Kupczok, A., Gube, M., Kothe, E., Voigt, K., & Von Haeseler, A. (2012). A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msr285
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 242 | OA
Baier, S., Browning, T. D., Marasingha, G., & Zhao, L. (2012). Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society. Cambridge University Press. https://doi.org/10.1017/S001309151100037X
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 244 | OA
Browning, T. D., & Haynes, A. (2012). Incomplete kloosterman sums and multiplicative inverses in short intervals. International Journal of Number Theory. World Scientific Publishing. https://doi.org/ https://doi.org/10.1142/S1793042112501448
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2459 | OA
Zwiewka, M., & Friml, J. (2012). Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2012.00097
View | Files available | DOI
 

2012 | Preprint | IST-REx-ID: 2696 | OA
Erdös, L. (2012). Universality for random matrices and log-gases. ArXiv. ArXiv.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2700 | OA
Erdös, L. (2012). Lecture notes on quantum Brownian motion (Vol. 95, pp. 3–98). Presented at the Les Houches Summer School 2010, Oxford University Press.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2715 | OA
Chatterjee, K., Joglekar, M., & Shah, N. (2012). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Vol. 18, pp. 461–473). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.461
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2848 | OA
Chatterjee, K., Zufferey, D., & Nowak, M. (2012). Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2012.02.021
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2849 | OA
Edelsbrunner, H., & Strelkova, N. (2012). On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. IOP Publishing Ltd. https://doi.org/10.1070/RM2012v067n06ABEH004820
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2875 | OA
Bielach, A., Duclercq, J., Marhavý, P., & Benková, E. (2012). Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2011.0233
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Boker, U., & Henzinger, T. A. (2012). Approximate determinization of quantitative automata. In Leibniz International Proceedings in Informatics (Vol. 18, pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2903 | OA
Edelsbrunner, H., & Symonova, O. (2012). The adaptive topology of a digital image (pp. 41–48). Presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA : IEEE. https://doi.org/10.1109/ISVD.2012.11
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications