Please note that ISTA 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.

3430 Publications


2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.” International Journal on Software Tools for Technology Transfer. Springer, 2016. https://doi.org/10.1007/s10009-015-0393-y.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov, Vladimir, and Rustem Takhanov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” Algorithmica. Springer, 2016. https://doi.org/10.1007/s00453-015-0017-7.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova, Anna, and Tamás Rudas. “On the Closure of Relational Models.” Journal of Multivariate Analysis. Elsevier, 2016. https://doi.org/10.1016/j.jmva.2015.10.005.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.” Probability Theory and Related Fields. Springer, 2016. https://doi.org/10.1007/s00440-014-0610-8.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1177 | OA
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica. Springer, 2016. https://doi.org/10.1007/s00453-015-9997-6.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1179 | OA
Pietrzak, Krzysztof Z, and Skorski Maciej. “Pseudoentropy: Lower-Bounds for Chain Rules and Transformations,” 9985:183–203. Springer, 2016. https://doi.org/10.1007/978-3-662-53641-4_8.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Josef Tkadlec. “Robust Draws in Balanced Knockout Tournaments,” 2016–January:172–79. AAAI Press, 2016.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1184 | OA
Metzler, Sina, Jürgen Heinze, and Alexandra Schrempf. “Mating and Longevity in Ant Males.” Ecology and Evolution. Wiley-Blackwell, 2016. https://doi.org/10.1002/ece3.2474.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1186 | OA
Gutierrez-Fernandez, Javier, Malek Saleh, Martín Alcorlo, Alejandro Gómez Mejóa, David Pantoja Uceda, Miguel Treviño, Franziska Vob, et al. “Modular Architecture and Unique Teichoic Acid Recognition Features of Choline-Binding Protein L CbpL Contributing to Pneumococcal Pathogenesis.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep38094.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1188 | OA
De Martino, Daniele, and Davide Masoero. “Asymptotic Analysis of Noisy Fitness Maximization, Applied to Metabolism & Growth.” Journal of Statistical Mechanics: Theory and Experiment. IOPscience, 2016. https://doi.org/10.1088/1742-5468/aa4e8f.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, Vol. 2016–December. IEEE, 2016. https://doi.org/10.1109/FOCS.2016.88.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1195 | OA
Franssen, Susan, Nicholas H Barton, and Christian Schlötterer. “Reconstruction of Haplotype-Blocks Selected during Experimental Evolution.” Molecular Biology and Evolution. Oxford University Press, 2016. https://doi.org/10.1093/molbev/msw210.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1200 | OA
Hilbe, Christian, and Arne Traulsen. “Only the Combination of Mathematics and Agent Based Simulations Can Leverage the Full Potential of Evolutionary Modeling: Comment on ‘Evolutionary Game Theory Using Agent-Based Methods’ by C. Adami, J. Schossau and A. Hintze.” Physics of Life Reviews. Elsevier, 2016. https://doi.org/10.1016/j.plrev.2016.10.004.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1202 | OA
Milutinovic, Barbara, Robert Peuß, Kevin Ferro, and Joachim Kurtz. “Immune Priming in Arthropods: An Update Focusing on the Red Flour Beetle.” Zoology . Elsevier, 2016. https://doi.org/10.1016/j.zool.2016.03.006.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1203 | OA
Hu, Fang, Lavanya Rishishwar, Ambily Sivadas, Gabriel Mitchell, Jordan King, Timothy Murphy, Janet Gilsdorf, Leonard Mayer, and Xin Wang. “Comparative Genomic Analysis of Haemophilus Haemolyticus and Nontypeable Haemophilus Influenzae and a New Testing Scheme for Their Discrimination.” Journal of Clinical Microbiology. American Society for Microbiology, 2016. https://doi.org/10.1128/JCM.01511-16.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1204 | OA
Amir, Ariel, Mikhail Lemeshko, and Tadashi Tokieda. “Surprises in Numerical Expressions of Physical Constants.” American Mathematical Monthly. Mathematical Association of America, 2016. https://doi.org/10.4169/amer.math.monthly.123.6.609.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller,” 9995:757–63. Springer, 2016. https://doi.org/10.1007/978-3-319-48989-6_47.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1206 | OA
Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” ChemPhysChem. Wiley-Blackwell, 2016. https://doi.org/10.1002/cphc.201601042.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1209 | OA
Letts, James A, Gianluca Degliesposti, Karol Fiedorczuk, Mark Skehel, and Leonid A Sazanov. “Purification of Ovine Respiratory Complex i Results in a Highly Active and Stable Preparation.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2016. https://doi.org/10.1074/jbc.M116.735142.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1212 | OA
Rakusová, Hana, Mohamad Abbas, Huibin Han, Siyuan Song, Hélène Robert, and Jiří Friml. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2016.08.067.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1216 | OA
Kasten, Jens, Jan Reininghaus, Ingrid Hotz, Hans Hege, Bernd Noack, Guillaume Daviller, and Marek Morzyński. “Acceleration Feature Points of Unsteady Shear Flows.” Archives of Mechanics. Polish Academy of Sciences Publishing House, 2016.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1218 | OA
Angermayr, Andreas, Pascal Van Alphen, Dicle Hasdemir, Gertjan Kramer, Muzamal Iqbal, Wilmar Van Grondelle, Huub Hoefsloot, Younghae Choi, and Klaas Hellingwerf. “Culturing Synechocystis Sp. Strain Pcc 6803 with N2 and CO2 in a Diel Regime Reveals Multiphase Glycogen Dynamics with Low Maintenance Costs.” Applied and Environmental Microbiology. American Society for Microbiology, 2016. https://doi.org/10.1128/AEM.00256-16.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1219 | OA
Lee, Jioon, Kevin Schnelli, Ben Stetler, and Horngtzer Yau. “Bulk Universality for Deformed Wigner Matrices.” Annals of Probability. Institute of Mathematical Statistics, 2016. https://doi.org/10.1214/15-AOP1023.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1220 | OA
Mikić, Gregor, Alex Stoll, Joe Bevirt, Rok Grah, and Mark Moore. “Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency,” 1–19. AIAA, 2016. https://doi.org/10.2514/6.2016-3764.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1221 | OA
Michalko, Jaroslav, Matous Glanc, Catherine Perrot Rechenmann, and Jiří Friml. “Strong Morphological Defects in Conditional Arabidopsis Abp1 Knock-down Mutants Generated in Absence of Functional ABP1 Protein.” F1000 Research . F1000 Research, 2016. https://doi.org/10.12688/f1000research.7654.1.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1222 | OA
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry. Springer, 2016. https://doi.org/10.1007/s00454-015-9742-6.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1223 | OA
Froese, Richard, Darrick Lee, Christian Sadel, Wolfgang Spitzer, and Günter Stolz. “Localization for Transversally Periodic Random Potentials on Binary Trees.” Journal of Spectral Theory. European Mathematical Society, 2016. https://doi.org/10.4171/JST/132.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer, Georg, Christian Hanser, Chethan Kamath Hosdurg, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions,” 9841:391–408. Springer, 2016. https://doi.org/10.1007/978-3-319-44618-9_21.
View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1226 | OA
Fiedorczuk, Karol, James A Letts, Gianluca Degliesposti, Karol Kaszuba, Mark Skehel, and Leonid A Sazanov. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature19794.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1227 | OA
Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of Multiaffine Systems,” 9957:128–44. Springer, 2016. https://doi.org/10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Offline Witness Encryption,” 9696:285–303. Springer, 2016. https://doi.org/10.1007/978-3-319-39555-5_16.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/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, Binyi Chen, Chethan Kamath Hosdurg, Vladimir Kolmogorov, Krzysztof Z Pietrzak, and Stefano Tessaro. “On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model,” 9666:358–87. Springer, 2016. https://doi.org/10.1007/978-3-662-49896-5_13.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1233 | OA
Fuchsbauer, Georg, Felix Heuer, Eike Kiltz, and Krzysztof Z Pietrzak. “Standard Security Does Imply Security against Selective Opening for Markov Distributions,” 9562:282–305. Springer, 2016. https://doi.org/10.1007/978-3-662-49096-9_12.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1234 | OA
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. https://doi.org/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,” 9696:445–63. Springer, 2016. https://doi.org/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, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Constrained PRFs for Unbounded Inputs,” 9610:413–28. Springer, 2016. https://doi.org/10.1007/978-3-319-29485-8_24.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1238 | OA
Wangenheim, Daniel von, Amparo Rosero, George Komis, Olga Šamajová, Miroslav Ovečka, Boris Voigt, and Jozef Šamaj. “Endosomal Interactions during Root Hair Growth.” Frontiers in Plant Science. Frontiers Research Foundation, 2016. https://doi.org/10.3389/fpls.2015.01262.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1240 | OA
Kornienko, Aleksandra, Christoph Dotter, Philipp Guenzl, Heinz Gisslinger, Bettina Gisslinger, Ciara Cleary, Robert Kralovics, Florian Pauler, and Denise Barlow. “Long Non-Coding RNAs Display Higher Natural Expression Variation than Protein-Coding Genes in Healthy Humans.” Genome Biology. BioMed Central, 2016. https://doi.org/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. Genetics Society of America, 2016. https://doi.org/10.1534/genetics.115.180299.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242 | OA
Sokolowski, Thomas R, Aleksandra Walczak, William Bialek, and Gašper Tkačik. “Extending the Dynamic Range of Transcription Factor Action by Translational Regulation.” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2016. https://doi.org/10.1103/PhysRevE.93.022404.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1244 | OA
Recouvreux, Pierre, Thomas R Sokolowski, Aristea Grammoustianou, Pieter Tenwolde, and Marileen Dogterom. “Chimera Proteins with Affinity for Membranes and Microtubule Tips Polarize in the Membrane of Fission Yeast Cells.” PNAS. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1419248113.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1246 | OA
Kabakova, Irina, Anouk De Hoogh, Ruben Van Der Wel, Matthias Wulf, Boris Le Feber, and Laurens Kuipers. “Imaging of Electric and Magnetic Fields near Plasmonic Nanowires.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep22665.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1247 | OA
Karampelias, Michael, Pia Neyt, Steven De Groeve, Stijn Aesaert, Griet Coussens, Jakub Rolčík, Leonardo Bruno, et al. “ROTUNDA3 Function in Plant Development by Phosphatase 2A-Mediated Regulation of Auxin Transporter Recycling.” PNAS. National Academy of Sciences, 2016. https://doi.org/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. Annual Reviews, 2016. https://doi.org/10.1146/annurev-conmatphys-031214-014803.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1249 | OA
Saha, Arnab, Masatoshi Nishikawa, Martin Behrndt, Carl-Philipp J Heisenberg, Frank Julicher, and Stephan Grill. “Determining Physical Properties of the Cell Cortex.” Biophysical Journal. Biophysical Society, 2016. https://doi.org/10.1016/j.bpj.2016.02.013.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1250 | OA
Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.” PLoS Genetics. Public Library of Science, 2016. https://doi.org/10.1371/journal.pgen.1005974.
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: 1253 | OA
Tsai, Lihuei, and Sandra Siegert. “How MicroRNAs Are Involved in Splitting the Mind.” JAMA Psychiatry. American Medical Association, 2016. https://doi.org/10.1001/jamapsychiatry.2015.3144.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1254 | OA
Golmakani, Ali, Stefano Luzzatto, and Pawel Pilarczyk. “Uniform Expansivity Outside a Critical Neighborhood in the Quadratic Family.” Experimental Mathematics. Taylor and Francis, 2016. https://doi.org/10.1080/10586458.2015.1048011.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications