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.

306 Publications


2012 | Journal Article | IST-REx-ID: 2954 | OA
Pernia-Andrade, A., Goswami, S., Stickler, Y., Fröbe, U., Schlögl, A., & Jonas, P. M. (2012). A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. Biophysical. https://doi.org/10.1016/j.bpj.2012.08.039
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2955 | OA
Chatterjee, K., & Doyen, L. (2012). Partial-observation stochastic games: How to win when belief fails. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.28
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee, K., & Velner, Y. (2012). Mean payoff pushdown games. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE. https://doi.org/10.1109/LICS.2012.30
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2957 | OA
Chatterjee, K., & Tracol, M. (2012). Decidable problems for probabilistic automata on infinite words. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. Dubrovnik, Croatia : IEEE. https://doi.org/10.1109/LICS.2012.29
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 2958 | OA
Allen, K., Rawlins, J. N., Bannerman, D., & Csicsvari, J. L. (2012). Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6175-11.2012
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2959 | OA
Uhler, C. (2012). Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/11-AOS957
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2962 | OA
Aeschbacher, S., Beaumont, M., & Futschik, A. (2012). A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.112.143164
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2963
Jesse, F., & Riebel, K. (2012). Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. Elsevier. https://doi.org/10.1016/j.beproc.2012.09.006
View | DOI
 

2012 | Thesis | IST-REx-ID: 2964
Kim, S. (2012). Active properties of hippocampal CA3 pyramidal neuron dendrites. IST Austria.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 2965 | OA
Danowski, P. (2012). Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. VÖB.
View | Files available | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2966 | OA
Cremer, S., Suefuji, M., Schrempf, A., & Heinze, J. (2012). The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. BioMed Central. https://doi.org/10.1186/1472-6785-12-7
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2967
Alur, R., Cerny, P., & Weinstein, S. (2012). Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/2287718.2287727
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2968 | OA
Lohse, K., Barton, N. H., Melika, G., & Stone, G. (2012). A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-294X.2012.05700.x
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2969 | OA
Goswami, S., Bucurenciu, I., & Jonas, P. M. (2012). Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.6104-11.2012
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2970
Kicheva, A., Bollenbach, M. T., Wartlick, O., Julicher, F., & Gonzalez Gaitan, M. (2012). Investigating the principles of morphogen gradient formation: from tissues to cells. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2012.08.004
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2971
Zankl, G., Haxhimusa, Y., & Ion, A. (2012). Interactive labeling of image segmentation hierarchies (Vol. 7476, pp. 11–20). Presented at the Pattern Recognition, Graz, Austria: Springer. https://doi.org/10.1007/978-3-642-32717-9_2
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2972 | OA
Chatterjee, K., & Doyen, L. (2012). Energy parity games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2012.07.038
View | Files available | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2974 | OA
Jain, A., Krenn, S., Pietrzak, K. Z., & Tentes, A. (2012). Commitments and efficient zero knowledge proofs from learning parity with noise. In X. Wang & K. Sako (Eds.) (Vol. 7658, pp. 663–680). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China: Springer. https://doi.org/10.1007/978-3-642-34961-4_40
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 801
Engel, J., Schmalhorst, P. S., & Routier, F. (2012). Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M112.398321
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8024
Hennequin, G., Vogels, T. P., & Gerstner, W. (2012). Non-normal amplification in random balanced neuronal networks. Physical Review E. American Physical Society. https://doi.org/10.1103/physreve.86.011909
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 808 | OA
Vinzenz, M., Nemethova, M., Schur, F. K., Mueller, J., Narita, A., Urban, E., … Small, J. (2012). Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.107623
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 8246
Dengler, V., Meier, P. S., Heusser, R., Kupferschmied, P., Singer, J., Friebe, S., … McCallum, N. (2012). Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response. FEMS Microbiology Letters. Oxford University Press. https://doi.org/10.1111/j.1574-6968.2012.02603.x
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 826
Vanstraelen, M., & Benková, E. (2012). Hormonal interactions in the regulation of plant development. Annual Review of Cell and Developmental Biology. Annual Reviews. https://doi.org/10.1146/annurev-cellbio-101011-155741
View | DOI
 

2012 | Journal Article | IST-REx-ID: 829
Bielach, A., Podlesakova, K., Marhavý, P., Duclercq, J., Cuesta, C., Muller, B., … Benková, E. (2012). Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin. The Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.112.103044
View | DOI
 

2012 | Journal Article | IST-REx-ID: 846
Soylemez, O., & Kondrashov, F. (2012). Estimating the rate of irreversibility in protein evolution. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evs096
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8463
Asami, S., Szekely, K., Schanda, P., Meier, B. H., & Reif, B. (2012). Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-012-9659-9
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8465
Tollinger, M., Sivertsen, A. C., Meier, B. H., Ernst, M., & Schanda, P. (2012). Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja303591y
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8466
Rennella, E., Cutuil, T., Schanda, P., Ayala, I., Forge, V., & Brutscher, B. (2012). Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja302598j
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8467
Huber, M., With, O., Schanda, P., Verel, R., Ernst, M., & Meier, B. H. (2012). A supplementary coil for 2H decoupling with commercial HCN MAS probes. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2011.10.010
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8502
Kaloshin, V., & Saprykina, M. (2012). An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-012-1532-x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8503
Albouy, A., & Kaloshin, V. (2012). Finiteness of central configurations of five bodies in the plane. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2012.176.1.10
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8504
Kaloshin, V., & KOZLOVSKI, O. S. (2012). A Cr unimodal map with an arbitrary fast growth of the number of periodic points. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/s0143385710000817
View | DOI
 

2012 | Journal Article | IST-REx-ID: 858
Povolotskaya, I., Kondrashov, F., Ledda, A., & Vlasov, P. (2012). Stop codons in bacteria are not selectively equivalent. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-7-30
View | DOI
 

2012 | Journal Article | IST-REx-ID: 171 | OA
Browning, T. D., & Baier, S. (2012). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle.2012.039
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1725
Kicheva, A., Cohen, M., & Briscoe, J. (2012). Developmental pattern formation: Insights from physics and biology. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1225182
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1756 | OA
Mongillo, M., Spathis, P., Katsaros, G., Gentile, P., & De Franceschi, S. (2012). Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl300930m
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
Zhang, J., Katsaros, G., Montalenti, F., Scopece, D., Rezaev, R., Mickel, C., … Schmidt, O. (2012). Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.085502
View | DOI | Download (ext.)
 

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

2012 | Journal Article | IST-REx-ID: 1782 | OA
Pechal, M., Berger, S., Abdumalikov, A., Fink, J. M., Mlynek, J., Steffen, L., … Filipp, S. (2012). Geometric phase and nonadiabatic effects in an electronic harmonic oscillator. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.108.170401
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
Mlynek, J., Abdumalikov, A., Fink, J. M., Steffen, L., Baur, M., Lang, C., … Wallraff, A. (2012). Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.86.053838
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1784
Eichler, C., Lang, C., Fink, J. M., Govenius, J., Filipp, S., & Wallraff, A. (2012). Observation of entanglement between itinerant microwave photons and a superconducting qubit. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.240501
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1801
Siegert, S., Cabuy, E., Scherf, B., Kohler, H., Panda, S., Le, Y., … Roska, B. (2012). Transcriptional code and disease map for adult retinal cell types. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3032
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1972
Efremov, R., & Sazanov, L. A. (2012). Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. Academic Press. https://doi.org/10.1016/j.jsb.2012.03.005
View | DOI
 

2012 | Book Review | IST-REx-ID: 1976
Efremov, R., & Sazanov, L. A. (2012). The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2012.02.015
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1987
Schweizer, J., Loose, M., Bonny, M., Kruse, K., Mönch, I., & Schwille, P. (2012). Geometry sensing by self-organized protein patterns. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1206953109
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2048 | OA
Faust, S., Pietrzak, K. Z., & Schipper, J. (2012). Practical leakage-resilient symmetric cryptography. In Conference proceedings CHES 2012 (Vol. 7428, pp. 213–232). Leuven, Belgium: Springer. https://doi.org/10.1007/978-3-642-33027-8_13
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049 | OA
Heyse, S., Kiltz, E., Lyubashevsky, V., Paar, C., & Pietrzak, K. Z. (2012). Lapin: An efficient authentication protocol based on ring-LPN. In Conference proceedings FSE 2012 (Vol. 7549, pp. 346–365). Washington, DC, USA: Springer. https://doi.org/10.1007/978-3-642-34047-5_20
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2073
Zhou, Q., Zhu, H., Huang, Q., Zhao, L., Zhang, G., Roy, S., … Bachtrog, D. (2012). Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans. BMC Genomics. BioMed Central. https://doi.org/10.1186/1471-2164-13-109
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2079
Hildebrand, K., Bickel, B., & Alexa, M. (2012). crdbrd: Shape fabrication by sliding planar slices. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2012.03037.x
View | DOI
 

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

2012 | Journal Article | IST-REx-ID: 2102
Bickel, B., Kaufmann, P., Skouras, M., Thomaszewski, B., Bradley, D., Beeler, T., … Groß, M. (2012). Physical face cloning. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2185520.2185614
View | DOI
 

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

2012 | Conference Paper | IST-REx-ID: 2104
Otaduy, M., Bickel, B., Bradley, D., & Wang, H. (2012). Data-driven simulation methods in computer graphics: Cloth, tissue and faces. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM. https://doi.org/10.1145/2343483.2343495
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2105
Skouras, M., Thomaszewski, B., Bickel, B., & Groß, M. (2012). Computational design of rubber balloons (Vol. 31, pp. 835–844). Presented at the EUROGRAPHICS: European Association for Computer Graphics, Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2012.03064.x
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2106
Miguel, E., Bradley, D., Thomaszewski, B., Bickel, B., Matusik, W., Otaduy, M., & Marschner, S. (2012). Data-driven estimation of cloth simulation models (Vol. 31, pp. 519–528). Presented at the Computer Graphics Forum, Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2012.03031.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2125 | OA
Hairer, M., & Maas, J. (2012). A spatial version of the Itô-Stratonovich correction. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/11-AOP662
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2127 | OA
Erbar, M., & Maas, J. (2012). Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-012-0554-z
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2128 | OA
Maas, J., Van Neerven, J., & Portal, P. (2012). Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv För Matematik. Springer. https://doi.org/10.1007/s11512-010-0143-z
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2151 | OA
Lemeshko, M., Krems, R., & Weimer, H. (2012). Erratum: Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.049901
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2201 | OA
Lemeshko, M., Krems, R., & Weimer, H. (2012). Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.035301
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2202 | OA
Alyabyshev, S., Lemeshko, M., & Krems, R. (2012). Sensitive imaging of electromagnetic fields with paramagnetic polar molecules. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.86.013409
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA
Lemeshko, M., & Friedrich, B. (2012). Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other. Molecular Physics. Taylor & Francis. https://doi.org/10.1080/00268976.2012.689868
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 7308
Ottakam Thotiyl, M. M., Freunberger, S. A., Peng, Z., & Bruce, P. G. (2012). The carbon electrode in nonaqueous Li–O2 cells. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja310258x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7309
Choi, N.-S., Chen, Z., Freunberger, S. A., Ji, X., Sun, Y.-K., Amine, K., … Bruce, P. G. (2012). Challenges facing Lithium batteries and electrical double-layer capacitors. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201201429
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7310
Peng, Z., Freunberger, S. A., Chen, Y., & Bruce, P. G. (2012). A reversible and higher-rate Li-O2 battery. Science. AAAS. https://doi.org/10.1126/science.1223985
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7311
Chen, Y., Freunberger, S. A., Peng, Z., Bardé, F., & Bruce, P. G. (2012). Li–O2 battery with a dimethylformamide electrolyte. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja302178w
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 762
Alistarh, D.-A., Guerraoui, R., Kuznetsov, P., & Losa, G. (2012). On the cost of composing shared-memory algorithms (pp. 298–307). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM. https://doi.org/10.1145/2312005.2312057
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 763
Alistarh, D.-A., Attiya, H., Guerraoui, R., & Travers, C. (2012). Early deciding synchronous renaming in O(log f) rounds or less (Vol. 7355 LNCS, pp. 195–206). Presented at the SIROCCO: Structural Information and Communication Complexity, Springer. https://doi.org/10.1007/978-3-642-31104-8_17
View | DOI
 

2012 | Journal Article | IST-REx-ID: 764
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2012). Of choices, failures and asynchrony: the many faces of set agreement. Algorithmica (New York). Springer. https://doi.org/10.1007/s00453-011-9581-7
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 766
Alistarh, D.-A., Bender, M., Gilbert, S., & Guerraoui, R. (2012). How to allocate tasks asynchronously (pp. 331–340). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2012.41
View | DOI
 

2012 | Journal Article | IST-REx-ID: 767
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2012). Generating Fast Indulgent Algorithms. Theory of Computing Systems. Elsevier. https://doi.org/10.1007/s00224-012-9407-2
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7748
Robinson, M. R., Sander van Doorn, G., Gustafsson, L., & Qvarnström, A. (2012). Environment-dependent selection on mate choice in a natural population of birds. Ecology Letters. Wiley. https://doi.org/10.1111/j.1461-0248.2012.01780.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7749
Robinson, M. R., Mar, K. U., & Lummaa, V. (2012). Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants. Ecology Letters. Wiley. https://doi.org/10.1111/j.1461-0248.2011.01735.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7776
Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2012). Finite-size scaling at the jamming transition. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.109.095704
View | DOI
 

2012 | Journal Article | IST-REx-ID: 492 | OA
Galkovskyi, T., Mileyko, Y., Bucksch, A., Moore, B., Symonova, O., Price, C., … Weitz, J. (2012). GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. BioMed Central. https://doi.org/10.1186/1471-2229-12-116
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
Tangermann, M., Müller, K., Aertsen, A., Birbaumer, N., Braun, C., Brunner, C., … Blankertz, B. (2012). Review of the BCI competition IV. Frontiers in Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fnins.2012.00055
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 494
Boker, U., & Kupferman, O. (2012). Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/2362355.2362357
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
Kruckman, A., Rubin, S., Sheridan, J., & Zax, B. (2012). A Myhill Nerode theorem for automata with advice. In Proceedings GandALF 2012 (Vol. 96, pp. 238–246). Napoli, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.96.18
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich, A., & Rubin, S. (2012). Interpretations in trees with countably many branches. Presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.65
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations (Vol. 16, pp. 167–182). Presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.167
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2012). Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. Wiley-Blackwell. https://doi.org/10.1111/j.1752-4571.2012.00284.x
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
Sixt, M. K. (2012). Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201204039
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, K., & Velner, Y. (2012). Mean-payoff pushdown games. IST Austria. https://doi.org/10.15479/AT:IST-2012-0002
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations. IST Austria. https://doi.org/10.15479/AT:IST-2012-0001
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. IST Austria. https://doi.org/10.15479/AT:IST-2012-0003
View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.
View | Files available
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
Biswas, R., & Sil, J. (2012). An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. Elsevier. https://doi.org/10.1016/j.protcy.2012.05.134
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA
Bernecky, C., & Taatjes, D. (2012). Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2012.02.014
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
Busch, K. E., Laurent, P., Soltesz, Z., Murphy, R. J., Faivre, O., Hedwig, B., … de Bono, M. (2012). Tonic signaling from O2 sensors sets neural circuit activity and behavioral state. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn.3061
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, F. (2012). Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering.
View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 6746
Mondelli, M., Zhou, Q., Ma, X., & Lottici, V. (2012). A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 2905–2908). Kyoto, Japan: IEEE. https://doi.org/10.1109/icassp.2012.6288524
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7074
Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., & Opeil, C. P. (2012). Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. Springer Nature. https://doi.org/10.1007/s10853-012-6463-6
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
Hausel, T., & Pauly, C. (2012). Prym varieties of spectral covers. Geometry and Topology. University of Warwick. https://doi.org/10.2140/gt.2012.16.1609
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
De Cataldo, M., Hausel, T., & Migliorini, L. (2012). Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2012.175.3.7
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1055
Erne, B., Graff, M., Klemm, W., Danzl, J. G., & Leschber, G. (2012). Bulla in the lung. The Lancet. Elsevier. https://doi.org/10.1016/S0140-6736(12)60690-4
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
Mark, M., Haller, E., Lauber, K., Danzl, J. G., Janisch, A., Büchler, H., … Nägerl, H. (2012). Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.108.215302
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 113
Waitukaitis, S. R., & Jaeger, H. (2012). Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11187
View | DOI
 

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

Filters and Search Terms

year=2012

Search

Filter Publications