Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2855 Publications

2013 | Journal Article | IST-REx-ID: 2817 | OA
Novak S, Chatterjee K, Nowak M. 2013. Density games. Journal of Theoretical Biology. 334, 26–34.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2818 | OA
Rajan K, Marre O, Tkacik G. 2013. Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation. 25(7), 1661–1692.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2819 | OA
Chatterjee K, Prabhu V. 2013. Quantitative timed simulation functions and refinement metrics for real-time systems. Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control vol. 1. 273–282.
View | DOI | Download Preprint (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee K, Kößler A, Schmid U. 2013. Automated analysis of real-time scheduling using graph games. Proceedings of the 16th International conference on Hybrid systems: Computation and control. HSCC: Hybrid Systems - Computation and Control 163–172.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2821 | OA
Remy E, Cabrito T, Baster P, Batista R, Teixeira M, Friml J, Sá Correia I, Duque P. 2013. A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. 25(3), 901–926.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2822 | OA
Topp C, Iyer Pascuzzi A, Anderson J, Lee C, Zurek P, Symonova O, Zheng Y, Bucksch A, Mileyko Y, Galkovskyi T, Moore B, Harer J, Edelsbrunner H, Mitchell Olds T, Weitz J, Benfey P. 2013. 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS. 110(18), E1695–E1704.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2823
Pickup M, Wilson S, Freudenberger D, Nicholls N, Gould L, Hnatiuk S, Delandre J. 2013. Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology. 38(3), 300–312.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2824
Chatterjee K, Prabhu V. 2013. Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation. 228–229, 83–119.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2827 | OA
Du Y, Tejos R, Beck M, Himschoot E, Li H, Robatzek S, Vanneste S, Friml J. 2013. Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. 110(19), 7946–7951.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2828 | OA
Kolmogorov V, Živný S. 2013. The complexity of conservative valued CSPs. Journal of the ACM. 60(2), 10.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2829 | OA
Shi L, Avila M, Hof B. 2013. Scale invariance at the onset of turbulence in couette flow. Physical Review Letters. 110(20), 204502.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2830
Moussion C, Sixt MK. 2013. A conduit to amplify innate immunity. Immunity. 38(5), 853–854.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2831 | OA
Chatterjee K, Henzinger M, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2832 | OA
Tanaka H, Kitakura S, Rakusová H, Uemura T, Feraru M, De Rycke R, Robert S, Kakimoto T, Friml J. 2013. Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. 9(5).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2833
Heisenberg C-PJ, Bellaïche Y. 2013. Forces in tissue morphogenesis and patterning. Cell. 153(5), 948–962.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2834 | OA
Avila M, Mellibovsky F, Roland N, Hof B. 2013. Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. 110(22), 224502.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2835 | OA
Yu H, Karampelias M, Robert S, Peer W, Swarup R, Ye S, Ge L, Cohen J, Murphy A, Friml J, Estelle M. 2013. Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. 162(2), 965–976.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2836 | OA
Chatterjee K, Raman V. 2013. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 26(4), 825–859.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2837 | OA
Erdös L, Knowles A, Yau H, Yin J. 2013. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 18(59), 1–58.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2838 | OA
Arquè Fuste G, Casanovas A, Dierssen M. 2013. Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. 8(1).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2839 | OA
Weber M, Hauschild R, Schwarz J, Moussion C, De Vries I, Legler D, Luther S, Bollenbach MT, Sixt MK. 2013. Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. 339(6117), 328–332.
View | DOI | Download Published Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2840
Van Cauter T, Camon J, Alvernhe A, Elduayen C, Sargolini F, Save É. 2013. Distinct roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral Cortex. 23(2), 451–459.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2841
Morita H, Heisenberg C-PJ. 2013. Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell. 24(6), 567–569.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2842 | OA
Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. 87(1), 105–119.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner H, Pausinger F. 2013. Stable length estimates of tube-like shapes. 17th IAPR International Conference on Discrete Geometry for Computer Imagery. DGCI: Discrete Geometry for Computer Imagery, LNCS, vol. 7749. XV–XIX.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2844
Rosquete M, Von Wangenheim D, Marhavy P, Barbez E, Stelzer E, Benková E, Maizel A, Kleine Vehn J. 2013. An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. 23(9), 817–822.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2845
Rose T, Schönenberger P, Jezek K, Oertner T. 2013. Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. 77(6), 1109–1121.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
View | Files available | DOI | Download Submitted Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2850 | OA
Tkacik G, Marre O, Mora T, Amodei D, Berry M, Bialek W. 2013. The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment. 2013(3), P03011.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2851
Berry M, Tkacik G, Dubuis J, Marre O, Da Silveira R. 2013. A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment. 2013(3), P03015.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1759).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2854 | OA
Chatterjee K, De Alfaro L, Henzinger TA. 2013. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 79(5), 640–657.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2855 | OA
Hippenmeyer S, Johnson R, Luo L. 2013. Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports. 3(3), 960–967.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2856 | OA
Levitz J, Pantoja C, Gaub B, Janovjak HL, Reiner A, Hoagland A, Schoppik D, Kane B, Stawski P, Schier A, Trauner D, Isacoff E. 2013. Optical control of metabotropic glutamate receptors. Nature Neuroscience. 16, 507–516.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2857 | OA
Szobota S, Mckenzie C, Janovjak HL. 2013. Optical control of ligand-gated ion channels. Methods in Molecular Biology. 998, 417–435.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2859 | OA
Bendich P, Edelsbrunner H, Morozov D, Patel A. 2013. Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications. 15(1), 51–72.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2860 | OA
Dupret D, O’Neill J, Csicsvari JL. 2013. Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron. 78(1), 166–180.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2861
Botella Soler V, Oteo J, Ros J, Glendinning P. 2013. Lyapunov exponent and topological entropy plateaus in piecewise linear maps. Journal of Physics A: Mathematical and Theoretical. 46(12), 125101.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2862 | OA
Tay H, Schulze S, Compagnon J, Foley F, Heisenberg C-PJ, Yost HJ, Abdelilah Seyfried S, Amack J. 2013. Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development. 140(7), 1550–1559.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2863 | OA
Granot Atedgi E, Tkačik G, Segev R, Schneidman E. 2013. Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. 9(3).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2880 | OA
Marhavy P, Vanstraelen M, De Rybel B, Zhaojun D, Bennett M, Beeckman T, Benková E. 2013. Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal. 32(1), 149–158.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2882 | OA
Löfke C, Zwiewka M, Heilmann I, Van Montagu M, Teichmann T, Friml J. 2013. Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism. PNAS. 110(9), 3627–3632.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2883 | OA
Wang B, Bailly A, Zwiewk M, Henrichs S, Azzarello E, Mancuso S, Maeshima M, Friml J, Schulz A, Geisler M. 2013. Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane. Plant Cell. 25(1), 202–214.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2884
Maître J-L, Berthoumieux H, Krens G, Salbreux G, Julicher F, Paluch E, Heisenberg C-PJ. 2013. Cell adhesion mechanics of zebrafish gastrulation. Medecine Sciences. 29(2), 147–150.
View | DOI
 
2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera A, Henzinger TA, Nesetril J, Vojnar T, Antos D eds. 2013. Mathematical and Engineering Methods in Computer Science, Springer,p.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2886 | OA
Chmelik M, Řehák V. 2013. Controllable-choice message sequence graphs. 7721, 118–130.
View | DOI | Download Submitted Version (ext.)
 
2013 | Journal Article | IST-REx-ID: 2887 | OA
Fang S, Clark R, Zheng Y, Iyer Pascuzzi A, Weitz J, Kochian L, Edelsbrunner H, Liao H, Benfey P. 2013. Genotypic recognition and spatial responses by rice roots. PNAS. 110(7), 2670–2675.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Conference Paper | IST-REx-ID: 2901 | OA
Chen C, Kolmogorov V, Yan Z, Metaxas D, Lampert C. 2013. Computing the M most probable modes of a graphical model. AISTATS: Conference on Uncertainty in Artificial Intelligence, JMLR: W&CP, vol. 31. 161–169.
View | Download None (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2906 | OA
Kerber M, Edelsbrunner H. 2013. 3D kinetic alpha complexes and their implementation. 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments. ALENEX: Algorithm Engineering and Experiments, ALENEX, 70–77.
View | Files available | DOI
 
2013 | Book Chapter | IST-REx-ID: 2907 | OA
Barton NH. 2013. Recombination and sex. The Princeton Guide to Evolution. 328–333.
View | Files available
 
2013 | Journal Article | IST-REx-ID: 2908 | OA
Barton NH. 2013. Does hybridisation influence speciation?  . Journal of Evolutionary Biology. 26(2), 267–269.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2909 | OA
Barton NH, Etheridge A, Véber A. 2013. Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. 2013(1).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2910 | OA
Kelleher J, Barton NH, Etheridge A. 2013. Coalescent simulation in continuous space. Bioinformatics. 29(7), 955–956.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2913 | OA
Tkacik G, Granot Atedgi E, Segev R, Schneidman E. 2013. Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. 110(5), 058104.
View | DOI | Download Preprint (ext.)
 
2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens G, Mora T, Tkačik G, Bialek W. 2013. Statistical thermodynamics of natural images. Physical Review Letters. 110(1).
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2918
Castanon I, Abrami L, Holtzer L, Heisenberg C-PJ, Van Der Goot F, González Gaitán M. 2013. Anthrax toxin receptor 2a controls mitotic spindle positioning. Nature Cell Biology. 15(1), 28–39.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2919 | OA
Baster P, Robert S, Kleine Vehn J, Vanneste S, Kania U, Grunewald W, De Rybel B, Beeckman T, Friml J. 2013. SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. 32(2), 260–274.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2920 | OA
Compagnon J, Heisenberg C-PJ. 2013. Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. 32(1), 1–3.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2926
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2013. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 23(1), 76–82.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2939
Chen C, Kerber M. 2013. An output sensitive algorithm for persistent homology. Computational Geometry: Theory and Applications. 46(4), 435–447.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2940 | OA
Krenn S, Pietrzak KZ, Wadia A. 2013. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. TCC: Theory of Cryptography Conference, LNCS, vol. 7785. 23–39.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher S, Futschik A, Beaumont M. 2013. Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. 22(4), 987–1002.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2948 | OA
Tommasi T, Quadrianto N, Caputo B, Lampert C. 2013. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 7724, 1–15.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. 2013. Code aware resource management. Formal Methods in System Design. 42(2), 142–174.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation to achieve scalable lock-free FIFO queues , IST Austria, 23p.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 827 | OA
O’Brien J, Benková E. 2013. Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. 4.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta C, Wabnik KT, Benková E. 2013. Systems approaches to study root architecture dynamics. Frontiers in Plant Science. 4.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23. 181–196.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design 18–25.
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. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design 77–84.
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. 7966(PART 2), 89–100.
View | Files available | DOI
 
2013 | Thesis | IST-REx-ID: 1405
Zufferey D. 2013. Analysis of dynamic message passing programs, IST Austria, 134p.
View | Files available | Download None (ext.)
 
2013 | Thesis | IST-REx-ID: 1406
Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading, IST Austria, 123p.
View
 
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. 110(41), 16301–16308.
View | Files available | DOI | PubMed | Europe PMC
 
2013 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto N, Lampert C. 2013. Kernel based learning. Encyclopedia of Systems Biology. vol. 3. 1069–1069.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2048 | OA
Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric cryptography. Conference proceedings CHES 2012. CHES: Cryptographic Hardware and Embedded Systems, LNCS, vol. 7428. 213–232.
View | DOI | Download Preprint (ext.)
 
2012 | Conference Paper | IST-REx-ID: 2049 | OA
Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. 2012. Lapin: An efficient authentication protocol based on ring-LPN. Conference proceedings FSE 2012. FSE: Fast Software Encryption, LNCS, vol. 7549. 346–365.
View | DOI | Download Preprint (ext.)
 
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. 1(12), 1200–1203.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2302
Henzinger TA, Mateescu M. 2012. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 10(2), 310–322.
View | DOI | PubMed | Europe PMC
 
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. 2(3), 321–328.
View | DOI | Download Preprint (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. 29(5), 1319–1334.
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, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6.
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). 13(4), 29.
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. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96. 238–246.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich A, Rubin S. 2012. Interpretations in trees with countably many branches. LICS: Symposium on Logic in Computer Science, LICS,
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. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16. 167–182.
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. 5(8), 913–924.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 506 | OA
Sixt MK. 2012. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 197(3), 347–349.
View | Files available | DOI
 
2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
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, 21p.
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, 13p.
View | Files available | DOI
 
2012 | Report | IST-REx-ID: 5398 | OA
Porsche J. 2012. Actual state of research data @ ISTAustria, IST Austria,p.
View | Files available
 
2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta A. 2012. Improved Single Pass Algorithms for Resolution Proof Reduction. Automated Technology for Verification and Analysis. ATVA 2012LNCS vol. 7561. 107–121.
View | Files available | DOI
 
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. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18. 461–473.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2825
Lampert C. 2012. Dynamic pruning of factor graphs for maximum marginal prediction. NIPS: Neural Information Processing Systems vol. 1. 82–90.
View
 
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. 301, 161–173.
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. 67(6), 1167–1168.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger TA. 2012. Quantitative reactive models. Conference proceedings MODELS 2012. MODELS: Model-driven Engineering Languages and Systems, LNCS, vol. 7590. 1–2.
View | DOI
 
2012 | Conference Paper | IST-REx-ID: 2890
Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. 2012. Synthesis from incompatible specifications. Proceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software 53–62.
View | DOI
 

Search

Display / Sort

Citation Style: IST Annual Report

Export / Embed