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.
3881 Publications
2014 | Journal Article | IST-REx-ID: 1884
Landau D, Stewart C, Reiter J, Lawrence M, Sougnez C, Brown J, Lopez Guillermo A, Gabriel S, Lander E, Neuberg D, López Otín C, Campo E, Getz G, Wu C. 2014. Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples. Blood. 124(21), 1952–1952.
View
| Download None (ext.)
2014 | Journal Article | IST-REx-ID: 1886 | 
Hermundstad A, Briguglio J, Conte M, Victor J, Balasubramanian V, Tkačik G. 2014. Variance predicts salience in central sensory processing. eLife. (November), e03722.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1887
Cremer S. 2014. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie., 23–30.
View
| Download None (ext.)
2014 | Book Chapter | IST-REx-ID: 1888
Cremer S. 2014.Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften. In: Soziale Insekten in einer sich wandelnden Welt. Rundgespräche der Kommission für Ökologie, vol. 43, 65–72.
View
2014 | Journal Article | IST-REx-ID: 1890 |
Körner C, Braunstein V, Stangl M, Schlögl A, Neuper C, Ischebeck A. 2014. Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. 51(4), 385–395.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1893 |
Marhavá P, Hirsch S, Feraru E, Tejos R, Van Wijk R, Viaene T, Heilmann M, Lerche J, De Rycke R, Feraru M, Grones P, Van Montagu M, Heilmann I, Munnik T, Friml J. 2014. SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. 111(7), 2818–2823.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1894 |
Grabowska A, Wywiał E, Dunin Horkawicz S, Łasica A, Wösten M, Nagy-Staron AA, Godlewska R, Bocian Ostrzycka K, Pieńkowska K, Łaniewski P, Bujnicki J, Van Putten J, Jagusztyn Krynicka E. 2014. Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. 9(9), e106247.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1895 |
Edamura M, Murakami G, Meng H, Itakura M, Shigemoto R, Fukuda A, Nakahara D. 2014. Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. 9(9), e107099.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1896 |
Kollár R, Bod’ová K, Nosek J, Tomáška Ľ. 2014. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. 89(3), 032701.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1897 |
Naramoto S, Otegui M, Kutsuna N, De Rycke R, Dainobu T, Karampelias M, Fujimoto M, Feraru E, Miki D, Fukuda H, Nakano A, Friml J. 2014. Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. 26(7), 3062–3076.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1899 |
Williams S, Ratliff L, Postiglione MP, Knoblich J, Fuchs E. 2014. Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. 16(8), 758–769.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 1901
Tian H, Wabnik KT, Niu T, Li H, Yu Q, Pollmann S, Vanneste S, Govaerts W, Rolčík J, Geisler M, Friml J, Ding Z. 2014. WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis. Molecular Plant. 7(2), 277–289.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 1903
Chatterjee K. 2014. Partial-observation stochastic reachability and parity games. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 8634, 1–4.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1904 |
Frank R, Lewin M, Lieb É, Seiringer R. 2014. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 16(7), 1507–1526.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1906 |
Arikan M, Preiner R, Scheiblauer C, Jeschke S, Wimmer M. 2014. Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics. 20(9), 1280–1292.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1907 |
Demay G, Gazi P, Maurer U, Tackmann B. 2014. Optimality of non-adaptive strategies: The case of parallel games. IEEE International Symposium on Information Theory. IEEE International Symposium on Information Theory Proceedings, 6875125.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1908 |
Weissman D, Hallatschek O. 2014. The rate of adaptation in large sexual populations with linear chromosomes. Genetics. 196(4), 1167–1183.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1909 |
Ezard T, Prizak R, Hoyle R. 2014. The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology. 28(3), 693–701.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1910
Konradi S, Yasmin N, Haslwanter D, Weber M, Gesslbauer B, Sixt MK, Strobl H. 2014. Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZEB1/2. European Journal of Immunology. 44(2), 553–560.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1916 |
Novarino G, Fenstermaker A, Zaki M, Hofree M, Silhavy J, Heiberg A, Abdellateef M, Rosti B, Scott E, Mansour L, Masri A, Kayserili H, Al Aama J, Abdel Salam G, Karminejad A, Kara M, Kara B, Bozorgmehri B, Ben Omran T, Mojahedi F, Mahmoud I, Bouslam N, Bouhouche A, Benomar A, Hanein S, Raymond L, Forlani S, Mascaro M, Selim L, Shehata N, Al Allawi N, Bindu P, Azam M, Günel M, Caglayan A, Bilgüvar K, Tolun A, Issa M, Schroth J, Spencer E, Rosti R, Akizu N, Vaux K, Johansen A, Koh A, Megahed H, Dürr A, Brice A, Stévanin G, Gabriel S, Ideker T, Gleeson J. 2014. Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders. Science. 343(6170), 506–511.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 1917 |
Xu T, Dai N, Chen J, Nagawa S, Cao M, Li H, Zhou Z, Chen X, De Rycke R, Rakusová H, Wang W, Jones A, Friml J, Patterson S, Bleecker A, Yang Z. 2014. Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling. Science. 343(6174), 1025–1028.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 1918 |
Bellazzini J, Frank R, Lieb É, Seiringer R. 2014. Existence of ground states for negative ions at the binding threshold. Reviews in Mathematical Physics. 26(1), 1350021.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1919 |
Aziz W, Wang W, Kesaf S, Mohamed A, Fukazawa Y, Shigemoto R. 2014. Distinct kinetics of synaptic structural plasticity, memory formation, and memory decay in massed and spaced learning. PNAS. 111(1), E194–E202.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1920 |
Wang W, Nakadate K, Masugi Tokita M, Shutoh F, Aziz W, Tarusawa E, Lörincz A, Molnár E, Kesaf S, Li Y, Fukazawa Y, Nagao S, Shigemoto R. 2014. Distinct cerebellar engrams in short-term and long-term motor learning. PNAS. 111(1), E188–E193.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1921 |
Tejos R, Sauer M, Vanneste S, Palacios-Gomez M, Li H, Heilmann M, Van Wijk R, Vermeer J, Heilmann I, Munnik T, Friml J. 2014. Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis. Plant Cell. 26(5), 2114–2128.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1923 |
Berthoumieux H, Maître J-L, Heisenberg C-PJ, Paluch E, Julicher F, Salbreux G. 2014. Active elastic thin shell theory for cellular deformations. New Journal of Physics. 16, 065005.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1925 |
Lamprecht C, Plochberger B, Ruprecht V, Wieser S, Rankl C, Heister E, Unterauer B, Brameshuber M, Danzberger J, Lukanov P, Flahaut E, Schütz G, Hinterdorfer P, Ebner A. 2014. A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes. Nanotechnology. 25(12), 125704.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1926 |
Sadel C. 2014. Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry. 17(3–4), 409–440.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1931 |
Savin C, Triesch J. 2014. Emergence of task-dependent representations in working memory circuits. Frontiers in Computational Neuroscience. 8(MAY), 57.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1932 |
Trotter M, Weissman D, Peterson G, Peck K, Masel J. 2014. Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution. 68(12), 3357–3367.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1934
Marhavý P, Duclercq J, Weller B, Feraru E, Bielach A, Offringa R, Friml J, Schwechheimer C, Murphy A, Benková E. 2014. Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis. Current Biology. 24(9), 1031–1037.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1936 |
Arbilly M, Weissman D, Feldman M, Grodzinski U. 2014. An arms race between producers and scroungers can drive the evolution of social cognition. Behavioral Ecology. 25(3), 487–495.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1937 |
Bourgade P, Erdös L, Yau H. 2014. Edge universality of beta ensembles. Communications in Mathematical Physics. 332(1), 261–353.
View
| DOI
| Download Submitted Version (ext.)
2014 | Book Chapter | IST-REx-ID: 6178
Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. 2014.UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Tissue Morphogenesis. vol. 1189, 219–235.
View
| DOI
| PubMed | Europe PMC
2014 | Book | IST-REx-ID: 6853
Edelsbrunner H. 2014. A Short Course in Computational Geometry and Topology 1st ed., Cham: Springer Nature, IX, 110p.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1375 |
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1392 |
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318, 161–181.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1393 |
Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.
View
| DOI
| Download Published Version (ext.)
2014 | Thesis | IST-REx-ID: 1395
Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. IST Austria.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. IST Austria.
View
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2014 | Thesis | IST-REx-ID: 1404
Stock M. 2014. Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View
2014 | Conference Paper | IST-REx-ID: 1507 |
Erdös L. 2014. Random matrices, log-gases and Hölder regularity. ICM: International Congress of Mathematicians, Proceedings of the International Congress of Mathematicians, vol. 3, 214–236.
View
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1516 |
Bräunlich G, Hainzl C, Seiringer R. 2014. On the BCS gap equation for superfluid fermionic gases. Proceedings of the QMath12 Conference. QMath: Mathematical Results in Quantum Physics, 127–137.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1994
Viaene T, Landberg K, Thelander M, Medvecka E, Pederson E, Feraru E, Cooper E, Karimi M, Delwiche C, Ljung K, Geisler M, Sundberg E, Friml J. 2014. Directional auxin transport mechanisms in early diverging land plants. Current Biology. 24(23), 2786–2791.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1995 |
Fratini F, Mascarenhas E, Safari L, Poizat J, Valente D, Auffèves A, Gerace D, Santos M. 2014. Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification. Physical Review Letters. 113(24), 243601.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 1996 |
Hazak O, Obolski U, Prat T, Friml J, Hadany L, Yalovsky S. 2014. Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS. 111(50), E5471–E5479.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2001
Mitosch K, Bollenbach MT. 2014. Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports. 6(6), 545–557.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2002 |
Kim S. 2014. Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One. 9(11), 0113124.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2004 |
Lovrics A, Gao Y, Juhász B, Bock I, Byrne H, Dinnyés A, Kovács K. 2014. Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. 9(11), e111430.
View
| Files available
| DOI
2014 | Other Publication | IST-REx-ID: 2007 |
Klimova A, Rudas T. 2014. gIPFrm: Generalized iterative proportional fitting for relational models, The Comprehensive R Archive Network,p.
View
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 2011 |
Yu F, Fienberg S, Slaković A, Uhler C. 2014. Scalable privacy-preserving data sharing methodology for genome-wide association studies. Journal of Biomedical Informatics. 50, 133–141.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2012 |
Iglesias Ham M, Kerber M, Uhler C. 2014. Sphere packing with limited overlap. CCCG: Canadian Conference on Computational Geometry, 155–161.
View
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2013 |
Lin S, Uhler C, Sturmfels B, Bühlmann P. 2014. Hypersurfaces and their singularities in partial correlation testing. Foundations of Computational Mathematics. 14(5), 1079–1116.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2019 |
Erdös L, Schröder DJ. 2014. Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry. 17(3–4), 441–464.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2021 |
William J, Hippenmeyer S, Luo L. 2014. Dendrite morphogenesis depends on relative levels of NT-3/TrkC signaling. Science. 346(6209), 626–629.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2022 |
Gao P, Postiglione MP, Krieger T, Hernandez L, Wang C, Han Z, Streicher C, Papusheva E, Insolera R, Chugh K, Kodish O, Huang K, Simons B, Luo L, Hippenmeyer S, Shi S. 2014. Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell. 159(4), 775–788.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2023 |
Novak S. 2014. Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. 4(24), 4589–4597.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2024 |
Toshima J, Nishinoaki S, Sato Y, Yamamoto W, Furukawa D, Siekhaus DE, Sawaguchi A, Toshima J. 2014. Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole. Nature Communications. 5, 3498.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2026
Komárková Z, Kretinsky J. 2014. Rabinizer 3: Safraless translation of ltl to small deterministic automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 235–241.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 2027 |
Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M, Parker D, Ujma M. 2014. Verification of markov decision processes using learning algorithms. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ALENEX: Algorithm Engineering and Experiments, LNCS, vol. 8837, 98–114.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2029 |
Correggi M, Giuliani A, Seiringer R. 2014. Validity of spin-wave theory for the quantum Heisenberg model. EPL. 108(2), 20003.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2031 |
Arai itaru, Jonas PM. 2014. Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse. eLife. 3.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2032 |
Inglés Prieto Á, Gschaider-Reichhart E, Schelch K, Janovjak HL, Grusch M. 2014. The optogenetic promise for oncology: Episode I. Molecular and Cellular Oncology. 1(4), e964045.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2033 |
Hernandez Lobato D, Sharmanska V, Kersting K, Lampert C, Quadrianto N. 2014. Mind the nuisance: Gaussian process classification using privileged noise. Advances in Neural Information Processing Systems. NIPS: Neural Information Processing Systems vol. 1, 837–845.
View
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2036 |
Lagator M, Colegrave N, Neve P. 2014. Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences. 281(1794), 20141679.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2038 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 15(4), 27.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2039 |
Chatterjee K, Pavlogiannis A, Adlam B, Nowak M. 2014. The time scale of evolutionary innovation. PLoS Computational Biology. 10(9), 7p.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2040 |
Kicheva A, Bollenbach MT, Ribeiro A, Pérez Valle H, Lovell Badge R, Episkopou V, Briscoe J. 2014. Coordination of progenitor specification and growth in mouse and chick spinal cord. Science. 345(6204), 1254927.
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2041 |
Jonas PM, Lisman J. 2014. Structure, function and plasticity of hippocampal dentate gyrus microcircuits. Frontiers in Neural Circuits. 8, 2p.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2042 |
Kupczok A, Bollback JP. 2014. Motif depletion in bacteriophages infecting hosts with CRISPR systems. BMC Genomics. 15(1), 663.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2043 |
Bauer U, Kerber M, Reininghaus J. 2014. Distributed computation of persistent homology. Proceedings of the Workshop on Algorithm Engineering and Experiments. ALENEX: Algorithm Engineering and Experiments, 31–38.
View
| DOI
| Download Submitted Version (ext.)
2014 | Book Chapter | IST-REx-ID: 2044 |
Bauer U, Kerber M, Reininghaus J. 2014.Clear and Compress: Computing Persistent Homology in Chunks. In: Topological Methods in Data Analysis and Visualization III. , 103–117.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2045 |
Dachman Soled D, Fuchsbauer G, Mohassel P, O’Neill A. 2014. Enhanced chosen-ciphertext security and applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PKC: Public Key Crypography, LNCS, vol. 8383, 329–344.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2046 |
Bellare M, Fuchsbauer G. 2014. Policy-based signatures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PKC: Public Key Crypography, LNCS, vol. 8383, 520–537.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2047 |
Yu F, Rybar M, Uhler C, Fienberg S. 2014. Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PSD: Privacy in Statistical Databases, LNCS, vol. 8744, 170–184.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 2050 |
Kühnen J, Holzner M, Hof B, Kuhlmann H. 2014. Experimental investigation of transitional flow in a toroidal pipe. Journal of Fluid Mechanics. 738, 463–491.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 2052
Aminof B, Kotek T, Rubin S, Spegni F, Veith H. 2014. Parameterized model checking of rendezvous systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704, 109–124.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 2053 |
Hermanns H, Krčál J, Kretinsky J. 2014. Probabilistic bisimulation: Naturally on distributions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704, 249–265.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2054
Chatterjee K. 2014. Qualitative concurrent parity games: Bounded rationality. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704, 544–559.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2056 |
Ganguly A, Petrov T, Koeppl H. 2014. Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. 69(3), 767–797.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2057 |
Morvant E, Habrard A, Ayache S. 2014. Majority vote of diverse classifiers for late fusion. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). IAPR: International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, LNCS, vol. 8621, 153–162.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 2059 |
Dubas E, Moravčíková J, Libantová J, Matušíková I, Benková E, Zur I, Krzewska M. 2014. The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma. 251(5), 1077–1087.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2062 |
Hu H, Gan J, Jonas PM. 2014. Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science. 345(6196), 1255263.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2063
Chatterjee K, Chmelik M, Daca P. 2014. CEGAR for qualitative analysis of probabilistic systems. CAV: Computer Aided Verification, LNCS, vol. 8559, 473–490.
View
| Files available
| DOI