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.

3978 Publications


2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Stress Induced Mutagenesis: Stress Diversity Facilitates the Persistence of Mutator Genes.” PLoS Computational Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005609.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
Kainrath, Stephanie, Manuela Stadler, Eva Gschaider-Reichhart, Martin Distel, and Harald L Janovjak. “Green-Light-Induced Inactivation of Receptor Signaling Using Cobalamin-Binding Domains.” Angewandte Chemie - International Edition. Wiley-Blackwell, 2017. https://doi.org/10.1002/anie.201611998.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova, Marta, and Mark Tobias Bollenbach. “Toward a Quantitative Understanding of Antibiotic Resistance Evolution.” Current Opinion in Biotechnology. Elsevier, 2017. https://doi.org/10.1016/j.copbio.2017.02.013.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück, Magdalena, and Calin C Guet. “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/eLife.25100.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. https://doi.org/10.1007/978-3-319-68167-2_4.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst Case Analysis of Recursive Programs.” edited by Rupak Majumdar and Viktor Kunčak, 10427:41–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_3.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 786 | OA
Alistarh, Dan-Adrian, Keren Censor Hillel, and Nir Shavit. “Are Lock Free Concurrent Algorithms Practically Wait Free .” Journal of the ACM. ACM, 2016. https://doi.org/10.1145/2903136.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 8020 | OA
Barron, H.C., Tim P Vogels, U.E. Emir, T.R. Makin, J. O’Shea, S. Clare, S. Jbabdi, R.J. Dolan, and T.E.J. Behrens. “Unmasking Latent Inhibitory Connections in Human Cortex to Reveal Dormant Cortical Memories.” Neuron. Elsevier, 2016. https://doi.org/10.1016/j.neuron.2016.02.031.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius, Georg S, Rafael Hostettler, Alois Knoll, and Ralf Der. “Self-Organized Control of an Tendon Driven Arm by Differential Extrinsic Plasticity.” In Proceedings of the Artificial Life Conference 2016, 28:142–43. MIT Press, 2016. https://doi.org/10.7551/978-0-262-33936-0-ch029.
View | Files available | DOI
 

2016 | Preprint | IST-REx-ID: 8128 | OA
Clopath, Claudia, Tim P Vogels, Robert C. Froemke, and Henning Sprekeler. “Receptive Field Formation by Interacting Excitatory and Inhibitory Synaptic Plasticity.” BioRxiv. Cold Spring Harbor Laboratory, 2016.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 8241 | OA
Singer, Josef, Krisztina Manzano-Szalai, Judit Singer, Kathrin Thell, Anna Bentley-Lukschal, Caroline Stremnitzer, Franziska Roth-Walter, et al. “Proof of Concept Study with an HER-2 Mimotope Anticancer Vaccine Deduced from a Novel AAV-Mimotope Library Platform.” OncoImmunology. Taylor & Francis, 2016. https://doi.org/10.1080/2162402x.2016.1171446.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 8302 | OA
Kokoris Kogias, Eleftherios, Philipp Jovanovic, Nicolas Gailly, Ismail Khoffi, Linus Gasser, and Bryan Ford. “Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing.” In Proceedings of the 25th USENIX Conference on Security Symposium, 279–296. USENIX Association, 2016.
View | Download Published Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Willmann, Katharina, Roberto Sacco, Rui Martins, Wojciech Garncarz, Ana Krolo, Sylvia Knapp, Keiryn Bennett, and Kaan Boztug. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” Journal of Proteome Research. American Chemical Society, 2016. https://doi.org/10.1021/acs.jproteome.5b01004.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-672-9-1432.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. https://doi.org/10.1145/2933575.2934513.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu, Zhijun, Nan Yang, Yanting Lv, Lixia Pan, Shuo Lv, Huibin Han, and Guodong Wang. “The CLE Gene Family in Populus Trichocarpa.” Plant Signaling & Behavior. Landes Bioscience, 2016. https://doi.org/10.1080/15592324.2016.1191734.
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
View | Files available | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications