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.

4143 Publications


2017 | Conference Paper | IST-REx-ID: 949 | OA
K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 786 | OA
D.-A. Alistarh, K. Censor Hillel, and N. Shavit, “Are lock free concurrent algorithms practically wait free ,” Journal of the ACM, vol. 63, no. 4. ACM, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 8020 | OA
H. C. Barron et al., “Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories,” Neuron, vol. 90, no. 1. Elsevier, pp. 191–203, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in Proceedings of the Artificial Life Conference 2016, Cancun, Mexico, 2016, vol. 28, pp. 142–143.
View | Files available | DOI
 

2016 | Preprint | IST-REx-ID: 8128 | OA
C. Clopath, T. P. Vogels, R. C. Froemke, and H. 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
J. Singer et al., “Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform,” OncoImmunology, vol. 5, no. 7. Taylor & Francis, 2016.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 8302 | OA
E. Kokoris Kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser, and B. Ford, “Enhancing bitcoin security and performance with strong consistency via collective signing,” in Proceedings of the 25th USENIX Conference on Security Symposium, Austin, TX, United States, 2016, pp. 279–296.
View | Download Published Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 460 | OA
K. Willmann et al., “Expanding the interactome of the noncanonical NF-κB signaling pathway,” Journal of Proteome Research, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 2016.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant Signaling & Behavior, vol. 11, no. 6. Landes Bioscience, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
1 Anonymous, 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
1 Anonymous, 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
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Data-centric dynamic partial order reduction. IST Austria, 2016.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5452 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
T. Ellis and D. Field, “Flower colour data and phylogeny (NEXUS) files.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
T. Ellis, “Data on pollinator observations and offpsring phenotypes.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
T. Ellis, “Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5553 | OA
D. Field and T. Ellis, “Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554 | OA
M. Tugrul, “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
R. Hauschild, “Fiji script to determine average speed and direction of migration of cells.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
M. Lukacisin, M. Landon, and R. Jajoo, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
P. Swoboda, “Synthetic discrete tomography problems.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA
M. Bojsen-Hansen, “Tracking, Correcting and Absorbing Water Surface Waves.” IST Austria, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 5749 | OA
S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 770–782, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 5771 | OA
S. Mattei, F. K. Schur, and J. A. Briggs, “Retrovirus maturation—an extraordinary structural transformation,” Current Opinion in Virology, vol. 18, no. 6. Elsevier, pp. 27–35, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 587 | OA
O. Hosten, R. Krishnakumar, N. Engelsen, and M. Kasevich, “Quantum phase magnification,” Science, vol. 352, no. 6293. American Association for the Advancement of Science, pp. 1552–1555, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 7068 | OA
P. J. W. Moll et al., “Magnetic torque anomaly in the quantum limit of Weyl semimetals,” Nature Communications, vol. 7. Springer Nature, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7279 | OA
E. Mourad et al., “Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors,” Nature Materials, vol. 16, no. 4. Springer Nature, pp. 446–453, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7297 | OA
S. A. Freunberger, “Batteries: Charging ahead rationally,” Nature Energy, vol. 1, no. 6. Springer Nature, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7599 | OA
Y. Tang, C.-Y. Zhao, S. Tan, and H.-W. Xue, “Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078,” PLOS Genetics, vol. 12, no. 8. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7737 | OA
Z. Zhu et al., “Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets,” Nature Genetics, vol. 48, no. 5. Springer Nature, pp. 481–487, 2016.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
K. Chatterjee, W. Dvorák, M. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland, 2016, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10746 | OA
H. Polshyn, T. Naibert, V. Chua, and R. Budakian, “Study of vortex states and dynamics in mesoscopic superconducting samples with MFM,” in APS March Meeting 2016, Baltimore, MD, United States, 2016, vol. 61, no. 2.
View | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 10747 | OA
T. Naibert et al., “Stochastic resonance magnetic force microscopy imaging of Josephson arrays,” in APS March Meeting 2016, Baltimore, MD, United States, 2016, vol. 61, no. 2.
View | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Ł. Łangowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10810 | OA
P. Rubel et al., “SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography,” in 2016 Computing in Cardiology Conference, Vancouver, Canada, 2016, vol. 43, pp. 309–312.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
M. J. Chalk, O. Marre, and G. Tkačik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.
View | Files available | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications