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.




3429 Publications

2016 | Journal Article | IST-REx-ID: 1226 | OA
Fiedorczuk, Karol, et al. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” Nature, vol. 538, no. 7625, Nature Publishing Group, 2016, pp. 406–10, doi:10.1038/nature19794.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1227 | OA
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah, Hamza M., et al. Offline Witness Encryption. Vol. 9696, Springer, 2016, pp. 285–303, doi:10.1007/978-3-319-39555-5_16.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1231 | OA
Alwen, Joel F., et al. On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model. Vol. 9666, Springer, 2016, pp. 358–87, doi:10.1007/978-3-662-49896-5_13.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1232
Letts, James A., et al. “The Architecture of Respiratory Supercomplexes.” Nature, vol. 537, no. 7622, Nature Publishing Group, 2016, pp. 644–48, doi:10.1038/nature19774.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer, Georg, et al. Standard Security Does Imply Security against Selective Opening for Markov Distributions. Vol. 9562, Springer, 2016, pp. 282–305, doi:10.1007/978-3-662-49096-9_12.
View | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1234 | OA
Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah, Hamza M., and Georg Fuchsbauer. Constrained PRFs for Unbounded Inputs with Short Keys. Vol. 9696, Springer, 2016, pp. 445–63, doi:10.1007/978-3-319-39555-5_24.
View | Files available | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah, Hamza M., et al. Constrained PRFs for Unbounded Inputs. Vol. 9610, Springer, 2016, pp. 413–28, doi:10.1007/978-3-319-29485-8_24.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1237
Krcál, Marek, and Pawel Pilarczyk. Computation of Cubical Steenrod Squares. Vol. 9667, Springer, 2016, pp. 140–51, doi:10.1007/978-3-319-39441-1_13.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1238 | OA
von Wangenheim, Daniel, et al. “Endosomal Interactions during Root Hair Growth.” Frontiers in Plant Science, vol. 6, no. JAN2016, 1262, Frontiers Research Foundation, 2016, doi:10.3389/fpls.2015.01262.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1239
Callan Jones, Andrew, et al. “Cortical Flow-Driven Shapes of Nonadherent Cells.” Physical Review Letters, vol. 116, no. 2, 028102, American Physical Society, 2016, doi:10.1103/PhysRevLett.116.028102.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1240 | OA
Kornienko, Aleksandra, et al. “Long Non-Coding RNAs Display Higher Natural Expression Variation than Protein-Coding Genes in Healthy Humans.” Genome Biology, vol. 17, no. 1, 14, BioMed Central, 2016, doi:10.1186/s13059-016-0873-8.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1241 | OA
Uecker, Hildegard, and Joachim Hermisson. “The Role of Recombination in Evolutionary Rescue.” Genetics, vol. 202, no. 2, Genetics Society of America, 2016, pp. 721–32, doi:10.1534/genetics.115.180299.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1242 | OA
Sokolowski, Thomas R., et al. “Extending the Dynamic Range of Transcription Factor Action by Translational Regulation.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 93, no. 2, 022404, American Institute of Physics, 2016, doi:10.1103/PhysRevE.93.022404.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1243
Pleska, Maros, et al. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology, vol. 26, no. 3, Cell Press, 2016, pp. 404–09, doi:10.1016/j.cub.2015.12.041.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1244 | OA
Recouvreux, Pierre, et al. “Chimera Proteins with Affinity for Membranes and Microtubule Tips Polarize in the Membrane of Fission Yeast Cells.” PNAS, vol. 113, no. 7, National Academy of Sciences, 2016, pp. 1811–16, doi:10.1073/pnas.1419248113.
View | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1245
Pandey, Vineet, and Krishnendu Chatterjee. “Game-Theoretic Models Identify Useful Principles for Peer Collaboration in Online Learning Platforms.” Proceedings of the ACM Conference on Computer Supported Cooperative Work, vol. 26, no. Februar-2016, ACM, 2016, pp. 365–68, doi:10.1145/2818052.2869122.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1246 | OA
Kabakova, Irina, et al. “Imaging of Electric and Magnetic Fields near Plasmonic Nanowires.” Scientific Reports, vol. 6, 22665, Nature Publishing Group, 2016, doi:10.1038/srep22665.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1247 | OA
Karampelias, Michael, et al. “ROTUNDA3 Function in Plant Development by Phosphatase 2A-Mediated Regulation of Auxin Transporter Recycling.” PNAS, vol. 113, no. 10, National Academy of Sciences, 2016, pp. 2768–73, doi:10.1073/pnas.1501343112.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1248 | OA
Tkačik, Gašper, and William Bialek. “Information Processing in Living Systems.” Annual Review of Condensed Matter Physics, vol. 7, Annual Reviews, 2016, pp. 89–117, doi:10.1146/annurev-conmatphys-031214-014803.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1249 | OA
Saha, Arnab, et al. “Determining Physical Properties of the Cell Cortex.” Biophysical Journal, vol. 110, no. 6, Biophysical Society, 2016, pp. 1421–29, doi:10.1016/j.bpj.2016.02.013.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1251 | OA
Zhu J, Bailly A, Zwiewka M, Sovero V, Di Donato M, Ge P, Oehri J, Aryal B, Hao P, Linnert M, Burgardt N, Lücke C, Weiwad M, Michel M, Weiergräber O, Pollmann S, Azzarello E, Mancuso S, Ferro N, Fukao Y, Hoffmann C, Wedlich Söldner R, Friml J, Thomas C, Geisler M. 2016. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 28(4), 930–948.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1252 | OA
Harker, Shaun, et al. “Inducing a Map on Homology from a Correspondence.” Proceedings of the American Mathematical Society, vol. 144, no. 4, American Mathematical Society, 2016, pp. 1787–801, doi:10.1090/proc/12812.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1253 | OA
Tsai, Lihuei, and Sandra Siegert. “How MicroRNAs Are Involved in Splitting the Mind.” JAMA Psychiatry, vol. 73, no. 4, American Medical Association, 2016, pp. 409–10, doi:10.1001/jamapsychiatry.2015.3144.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1254 | OA
Golmakani, Ali, et al. “Uniform Expansivity Outside a Critical Neighborhood in the Quadratic Family.” Experimental Mathematics, vol. 25, no. 2, Taylor and Francis, 2016, pp. 116–24, doi:10.1080/10586458.2015.1048011.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1255 | OA
Peuß, Robert, et al. “Down Syndrome Cell Adhesion Molecule 1: Testing for a Role in Insect Immunity, Behaviour and Reproduction.” Royal Society Open Science, vol. 3, no. 4, 160138, Royal Society, The, 2016, doi:10.1098/rsos.160138.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1256 | OA
Jiang, Yu, et al. From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design. 7461337, IEEE, 2016, doi:10.1109/RTAS.2016.7461337.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1257 | OA
Sadel, Christian, and Bálint Virág. “A Central Limit Theorem for Products of Random Matrices and GOE Statistics for the Anderson Model on Long Boxes.” Communications in Mathematical Physics, vol. 343, no. 3, Springer, 2016, pp. 881–919, doi:10.1007/s00220-016-2600-4.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1258
Gallemi, Marçal, et al. “DRACULA2 Is a Dynamic Nucleoporin with a Role in Regulating the Shade Avoidance Syndrome in Arabidopsis.” Development, vol. 143, no. 9, Company of Biologists, 2016, pp. 1623–31, doi:10.1242/dev.130211.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1259 | OA
Bräunlich, Gerhard, et al. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry, vol. 19, no. 2, 13, Springer, 2016, doi:10.1007/s11040-016-9209-x.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1260 | OA
De Martino, Daniele. “The Dual of the Space of Interactions in Neural Network Models.” International Journal of Modern Physics C, vol. 27, no. 6, 1650067, World Scientific Publishing, 2016, doi:10.1142/S0129183116500674.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1261 | OA
Maas, Jan, and Daniel Matthes. “Long-Time Behavior of a Finite Volume Discretization for a Fourth Order Diffusion Equation.” Nonlinearity, vol. 29, no. 7, IOP Publishing Ltd., 2016, pp. 1992–2023, doi:10.1088/0951-7715/29/7/1992.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1263 | OA
Rueda, Alfredo, et al. “Efficient Microwave to Optical Photon Conversion: An Electro-Optical Realization.” Optica, vol. 3, no. 6, OSA Publishing, 2016, pp. 597–604, doi:10.1364/OPTICA.3.000597.
View | DOI | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1264 | OA
Sancho Andrés, Gloria, et al. “Sorting Motifs Involved in the Trafficking and Localization of the PIN1 Auxin Efflux Carrier.” Plant Physiology, vol. 171, no. 3, American Society of Plant Biologists, 2016, pp. 1965–82, doi:10.1104/pp.16.00373.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1265
Elsayad, Kareem, et al. “Mapping the Subcellular Mechanical Properties of Live Cells in Tissues with Fluorescence Emission-Brillouin Imaging.” Science Signaling, vol. 9, no. 435, rs5, American Association for the Advancement of Science, 2016, doi:10.1126/scisignal.aaf6326.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1266 | OA
Chalk, Matthew J., et al. “Neural Oscillations as a Signature of Efficient Coding in the Presence of Synaptic Delays.” ELife, vol. 5, no. 2016JULY, e13824, eLife Sciences Publications, 2016, doi:10.7554/eLife.13824.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1267 | OA
Frank, Rupert, et al. “Nonexistence of Large Nuclei in the Liquid Drop Model.” Letters in Mathematical Physics, vol. 106, no. 8, Springer, 2016, pp. 1033–36, doi:10.1007/s11005-016-0860-8.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1268
Milutinovic, Barbara, and Joachim Kurtz. “Immune Memory in Invertebrates.” Seminars in Immunology, vol. 28, no. 4, Academic Press, 2016, pp. 328–42, doi:10.1016/j.smim.2016.05.004.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1269 | OA
Benková, Eva. “Plant Hormones in Interactions with the Environment.” Plant Molecular Biology, vol. 91, no. 6, Springer, 2016, p. 597, doi:10.1007/s11103-016-0501-8.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 948
Monk, Travis, et al. Neurons Equipped with Intrinsic Plasticity Learn Stimulus Intensity Statistics. Vol. 29, Neural Information Processing Systems, 2016, pp. 4285–93.
View | Download None (ext.)
 
2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, Thorsten. Automatic Synthesis of Synchronisation Primitives for Concurrent Programs. IST Austria, 2016.
View | Files available | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1432 | OA
Mishra, Rajiv Kumar, et al. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications, vol. 7, 11552, Nature Publishing Group, 2016, doi:10.1038/ncomms11552.
View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1396 | OA
Mishra, Rajiv Kumar. Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1129 | OA
Schwarz, Jan. Quantitative Analysis of Haptotactic Cell Migration. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1123 | OA
Mabillard, Isaac. Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1121 | OA
Acar, Hande. Selective Barriers to Horizontal Gene Transfer. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul, Murat. Evolution of Transcriptional Regulatory Sequences. IST Austria, 2016.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1125 | OA
Novak, Sebastian. Evolutionary Proccesses in Variable Emvironments. IST Austria, 2016.
View | Files available
 
2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul, Murat. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. IST Austria, 2016, doi:10.15479/AT:ISTA:43.
View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1124 | OA
Morri, Maurizio. Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors. IST Austria, 2016.
View | Files available
 
2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio, Paul, et al. “Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.” PLoS Biology, vol. 14, no. 2, e1002382, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002382.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1262 | OA
Mcmahon, Dino, et al. “Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 283, no. 1833, 20160811, Royal Society, The, 2016, doi:10.1098/rspb.2016.0811.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Mcmahon, Dino, et al. Data from: Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss. Dryad, 2016, doi:10.5061/dryad.cq7t1.
View | Files available | DOI | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1197 | OA
Prentice, Jason, et al. “Error-Robust Modes of the Retinal Population Code.” PLoS Computational Biology, vol. 12, no. 11, e1005855, Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005148.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, Sébastien, et al. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution, vol. 33, no. 3, Oxford University Press, 2016, pp. 770–82, doi:10.1093/molbev/msv270.
View | Files available | DOI | PubMed | Europe PMC
 
2016 | Research Data Reference | IST-REx-ID: 9720
Mcmahon, Dino, et al. Data from: A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees. Dryad, 2016, doi:10.5061/dryad.4b565.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9710
Barton, Nicholas H. Data from: How Does Epistasis Influence the Response to Selection? Dryad, 2016, doi:10.5061/dryad.s5s7r.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux, Camille, et al. “Shedding Light on the Grey Zone of Speciation along a Continuum of Genomic Divergence.” PLoS Biology, vol. 14, no. 12, e2000234, Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9862
Roux, Camille, et al. Simulation Study to Test the Robustness of ABC in Face of Recent Times of Divergence. Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.s016.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9863
Roux, Camille, et al. Accessions of Surveyed Individuals, Geographic Locations and Summary Statistics. Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.s017.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, Christian, et al. Experimental Game Instructions. Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.s008.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1270 | OA
Hillenbrand, Patrick, et al. “Beyond the French Flag Model: Exploiting Spatial and Gene Regulatory Interactions for Positional Information.” PLoS One, vol. 11, no. 9, e0163628, Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1250 | OA
Boehm, Alex, et al. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.” PLoS Genetics, vol. 12, no. 4, e1005974, Public Library of Science, 2016, doi:10.1371/journal.pgen.1005974.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9870
Hillenbrand, Patrick, et al. Computation of Positional Information in an Ising Model. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s002.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9873
Boehm, Alex, et al. Quantification of the Growth Rate Reduction as a Consequence of Age-Specific Mortality. Public Library of Science, 2016, doi:10.1371/journal.pgen.1005974.s015.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9869
Hillenbrand, Patrick, et al. Error Bound on an Estimator of Position. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s001.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9871
Hillenbrand, Patrick, et al. Computation of Positional Information in a Discrete Morphogen Field. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s003.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1167 | OA
Zagórski, Marcin P., et al. “Beyond the Hypercube Evolutionary Accessibility of Fitness Landscapes with Realistic Mutational Networks.” PLoS Computational Biology, vol. 12, no. 12, e1005218, Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005218.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski, Marcin P., et al. ZIP-Archived Directory Containing All Data and Computer Programs. Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005218.s009.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1322 | OA
Hilbe, Christian, et al. “Asymmetric Power Boosts Extortion in an Economic Experiment.” PLoS One, vol. 11, no. 10, e0163867, Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9864
Fernandes Redondo, Rodrigo A., et al. Data from Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the ΦX174 Phage Family. The Royal Society, 2016, doi:10.6084/m9.figshare.4315652.v1.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, Christian, et al. Experimental Data. Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.s009.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 9477 | OA
Park, Kyunghyuk, et al. “DNA Demethylation Is Initiated in the Central Cells of Arabidopsis and Rice.” Proceedings of the National Academy of Sciences, vol. 113, no. 52, National Academy of Sciences, 2016, pp. 15138–43, doi:10.1073/pnas.1619047114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 9456 | OA
Huff, Jason T., et al. “Mechanism for DNA Transposons to Generate Introns on Genomic Scales.” Nature, vol. 538, no. 7626, Springer Nature , 2016, pp. 533–36, doi:10.1038/nature20110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 9473 | OA
Hsieh, Ping-Hung, et al. “Arabidopsis Male Sexual Lineage Exhibits More Robust Maintenance of CG Methylation than Somatic Tissues.” Proceedings of the National Academy of Sciences, vol. 113, no. 52, National Academy of Sciences, 2016, pp. 15132–37, doi:10.1073/pnas.1619074114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 9474 | OA
Hsieh, Ping-Hung, et al. “Arabidopsis Male Sexual Lineage Exhibits More Robust Maintenance of CG Methylation than Somatic Tissues.” Proceedings of the National Academy of Sciences, vol. 113, no. 52, National Academy of Sciences, 2016, pp. 15132–37, doi:10.1073/pnas.1619074114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016, pp. 733–47, doi:10.1145/2837614.2837624.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.
View | Files available | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1321 | OA
Leithner, Alexander F., et al. “Diversified Actin Protrusions Promote Environmental Exploration but Are Dispensable for Locomotion of Leukocytes.” Nature Cell Biology, vol. 18, Nature Publishing Group, 2016, pp. 1253–59, doi:10.1038/ncb3426.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1100 | OA
Sako, Keisuke, et al. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” Cell Reports, vol. 16, no. 3, Cell Press, 2016, pp. 866–77, doi:10.1016/j.celrep.2016.06.036.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov, Vladimir, et al. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing, vol. 44, no. 1, SIAM, 2015, pp. 1–36, doi:10.1137/130945648.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 802
Engel, Jakob, et al. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.” Glycobiology, vol. 25, no. 12, Oxford University Press, 2015, pp. 1423–30, doi:10.1093/glycob/cwv059.
View | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1686
Kiermaier, Eva, and Michael K. Sixt. “Fragmented Communication between Immune Cells: Neutrophils Blaze a Trail with Migratory Cues for T Cells to Follow to Sites of Infection.” Science, vol. 349, no. 6252, American Association for the Advancement of Science, 2015, pp. 1055–56, doi:10.1126/science.aad0867.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1687 | OA
Sarris, Milka, and Michael K. Sixt. “Navigating in Tissue Mazes: Chemoattractant Interpretation in Complex Environments.” Current Opinion in Cell Biology, vol. 36, no. 10, Elsevier, 2015, pp. 93–102, doi:10.1016/j.ceb.2015.08.001.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev, Roman, et al. “Bounds for Pach’s Selection Theorem and for the Minimum Solid Angle in a Simplex.” Discrete & Computational Geometry, vol. 54, no. 3, Springer, 2015, pp. 610–36, doi:10.1007/s00454-015-9720-z.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–68, doi:10.1145/2728606.2728608.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1690
Bak, Stanley, et al. HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models. Springer, 2015, pp. 128–33, doi:10.1145/2728606.2728630.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, Mária, et al. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–38, doi:10.1145/2728606.2728617.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1692
Frehse, Goran, et al. “Eliminating Spurious Transitions in Reachability with Support Functions.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–58, doi:10.1145/2728606.2728622.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1693 | OA
Amaro, Pedro, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.” Physical Review A, vol. 92, no. 2, 022514, American Physical Society, 2015, doi:10.1103/PhysRevA.92.022514.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Temporal Simulation and Refinement Distances for Timed Systems.” IEEE Transactions on Automatic Control, vol. 60, no. 9, IEEE, 2015, pp. 2291–306, doi:10.1109/TAC.2015.2404612.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1695 | OA
Kaczmarczyk, Jan, et al. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.” Physica Status Solidi (B): Basic Solid State Physics, vol. 252, no. 9, Wiley, 2015, pp. 2059–71, doi:10.1002/pssb.201552082.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński, Marcin, et al. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.” Physical Review B, vol. 92, no. 12, 125135, American Physical Society, 2015, doi:10.1103/PhysRevB.92.125135.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1697 | OA
Marre, Olivier, et al. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.” PLoS Computational Biology, vol. 11, no. 7, e1004304, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004304.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1698 | OA
Velner, Yaron, et al. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation, vol. 241, no. 4, Elsevier, 2015, pp. 177–96, doi:10.1016/j.ic.2015.03.001.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1699 | OA
Uecker, Hildegard, et al. “Adaptive Gene Introgression after Secondary Contact.” Journal of Mathematical Biology, vol. 70, no. 7, Springer, 2015, pp. 1523–80, doi:10.1007/s00285-014-0802-y.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1700 | OA
Van Loon, Erik, et al. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.” Physical Review B, vol. 92, no. 8, 081106, American Physical Society, 2015, doi:10.1103/PhysRevB.92.081106.
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications