Manna, Debasish, et al. “Orthogonal Light-Induced Self-Assembly of Nanoparticles Using Differently Substituted Azobenzenes.”10.1002/anie.201502419__Angewandte Chemie International Edition, vol. 54, no. 42, Wiley, 2015, pp. 12394–97, doi:10.1002/anie.201502419.
LibreCat: https://research-explorer.ista.ac.at/record/13393
DOI: 10.1002/anie.201502419
PMID: 25959725

Lee, Ji-Woong, and Rafal Klajn. “Dual-Responsive Nanoparticles That Aggregate under the Simultaneous Action of Light and CO2.”10.1039/c4cc08541h__Chemical Communications, vol. 51, no. 11, Royal Society of Chemistry, 2015, pp. 2036–39, doi:10.1039/c4cc08541h.
LibreCat: https://research-explorer.ista.ac.at/record/13395
DOI: 10.1039/c4cc08541h
PMID: 25417754

Moldt, Thomas, et al. “Tailoring the Properties of Surface-Immobilized Azobenzenes by Monolayer Dilution and Surface Curvature.”10.1021/la504291n__Langmuir, vol. 31, no. 3, American Chemical Society, 2015, pp. 1048–57, doi:10.1021/la504291n.
LibreCat: https://research-explorer.ista.ac.at/record/13396
DOI: 10.1021/la504291n
PMID: 25544061

Singh, Gurvinder, et al. “Magnetic Field-Induced Self-Assembly of Iron Oxide Nanocubes.”10.1039/c4fd00265b__Faraday Discussions, vol. 181, Royal Society of Chemistry, 2015, pp. 403–21, doi:10.1039/c4fd00265b.
LibreCat: https://research-explorer.ista.ac.at/record/13397
DOI: 10.1039/c4fd00265b
PMID: 25920522

Sun, Yugang, et al. “Field-Assisted Self-Assembly Process: General Discussion.”10.1039/c5fd90041g__Faraday Discussions, vol. 181, Royal Society of Chemistry, 2015, pp. 463–79, doi:10.1039/c5fd90041g.
LibreCat: https://research-explorer.ista.ac.at/record/13398
DOI: 10.1039/c5fd90041g
PMID: 26149295

Zhang, Song Bin, et al. “Theoretical Study of Molecular Electronic and Rotational Coherences by High-Order-Harmonic Generation.”10.1103/physreva.91.023421__Physical Review A, vol. 91, no. 2, 023421, American Physical Society, 2015, doi:10.1103/physreva.91.023421.
LibreCat: https://research-explorer.ista.ac.at/record/14017
DOI: 10.1103/physreva.91.023421
arXiv: 1504.03933

Kraus, P. M., et al. “Observation of Laser-Induced Electronic Structure in Oriented Polyatomic Molecules.”10.1038/ncomms8039__Nature Communications, vol. 6, 7039, Springer Nature, 2015, doi:10.1038/ncomms8039.
LibreCat: https://research-explorer.ista.ac.at/record/14016
DOI: 10.1038/ncomms8039
PMID: 25940229

Kraus, P. M., et al. “Measurement and Laser Control of Attosecond Charge Migration in Ionized Iodoacetylene.”10.1126/science.aab2160__Science, vol. 350, no. 6262, American Association for the Advancement of Science, 2015, pp. 790–95, doi:10.1126/science.aab2160.
LibreCat: https://research-explorer.ista.ac.at/record/14013
DOI: 10.1126/science.aab2160
PMID: 26494175

Kraus, P. M., et al. “Attosecond Charge Migration and Its Laser Control.”10.1088/1742-6596/635/11/112136__Journal of Physics: Conference Series, vol. 635, no. 11, 112136, IOP Publishing, 2015, doi:10.1088/1742-6596/635/11/112136.
LibreCat: https://research-explorer.ista.ac.at/record/14015
DOI: 10.1088/1742-6596/635/11/112136

Walt, Samuel G., et al. “Resolving the Dynamics of Valence-Shell Electrons and Nuclei through Laser-Induced Diffraction and Holography.”10.1088/1742-6596/635/11/112135__Journal of Physics: Conference Series, vol. 635, no. 11, 112135, IOP Publishing, 2015, doi:10.1088/1742-6596/635/11/112135.
LibreCat: https://research-explorer.ista.ac.at/record/14014
DOI: 10.1088/1742-6596/635/11/112135

Wielgoss, Sébastien, et al. Data from: Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Non-Mutator Bacteria. Dryad, 2015, doi:10.5061/dryad.cj910.
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

Sharmanska, Viktoriia. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. Institute of Science and Technology Austria, 2015, doi:10.15479/at:ista:1401.
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

Reiter, Johannes, et al. “Biological Auctions with Multiple Rewards.”10.1098/rspb.2015.1041__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812, Royal Society, 2015, doi:10.1098/rspb.2015.1041.
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

Reiter, Johannes. The Subclonal Evolution of Cancer. Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1400

Pausinger, Florian, and Anne Svane. “A Koksma-Hlawka Inequality for General Discrepancy Systems.”10.1016/j.jco.2015.06.002__Journal of Complexity, vol. 31, no. 6, Academic Press, 2015, pp. 773–97, doi:10.1016/j.jco.2015.06.002.
LibreCat: https://research-explorer.ista.ac.at/record/1792
DOI: 10.1016/j.jco.2015.06.002

Pausinger, Florian. On the Approximation of Intrinsic Volumes. Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1399

Tugrul, Murat, et al. “Dynamics of Transcription Factor Binding Site Evolution.”10.1371/journal.pgen.1005639__PLoS Genetics, vol. 11, no. 11, Public Library of Science, 2015, doi:10.1371/journal.pgen.1005639.
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

Benes, Nikola, et al. Complete Composition Operators for IOCO-Testing Theory. ACM, 2015, pp. 101–10, doi:10.1145/2737166.2737175.
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 10.1145/2737166.2737175

Chatterjee, Krishnendu, et al. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.”10.1007/s10703-015-0235-2__Formal Methods in System Design, vol. 47, no. 2, Springer, 2015, pp. 230–64, doi:10.1007/s10703-015-0235-2.
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 10.1007/s10703-015-0235-2

Chatterjee, Krishnendu, et al. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.”10.1145/2676726.2676979__ACM SIGPLAN Notices, vol. 50, no. 1, ACM, 2015, pp. 97–109, doi:10.1145/2676726.2676979.
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

Chatterjee, Krishnendu, et al. “Quantitative Interprocedural Analysis.”10.1145/2676726.2676968__Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, ACM, 2015, pp. 539–51, doi:10.1145/2676726.2676968.
LibreCat: https://research-explorer.ista.ac.at/record/1604
DOI: 10.1145/2676726.2676968

Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Vol. 9206, Springer, 2015, pp. 140–57, doi:10.1007/978-3-319-21690-4_9.
LibreCat: https://research-explorer.ista.ac.at/record/1607
DOI: 10.1007/978-3-319-21690-4_9

Chatterjee, Krishnendu, et al. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.”10.1109/RTSS.2014.9__Real-Time Systems Symposium, vol. 2015, no. January, IEEE, 2015, pp. 118–27, doi:10.1109/RTSS.2014.9.
LibreCat: https://research-explorer.ista.ac.at/record/1714
DOI: 10.1109/RTSS.2014.9

Hahn, David, and Chris Wojtan. High-Resolution Brittle Fracture Simulation with Boundary Elements. Vol. 34, no. 4, 151, ACM, 2015, doi:10.1145/2766896.
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht, Verena, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.”10.1016/j.cell.2015.01.008__Cell, vol. 160, no. 4, Cell Press, 2015, pp. 673–85, doi:10.1016/j.cell.2015.01.008.
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

Adamowski, Maciek, and Jií Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.”10.1105/tpc.114.134874__Plant Cell, vol. 27, no. 1, American Society of Plant Biologists, 2015, pp. 20–32, doi:10.1105/tpc.114.134874.
LibreCat: https://research-explorer.ista.ac.at/record/1591
DOI: 10.1105/tpc.114.134874
PMID: 25604445

Alt, Johannes. “The Local Semicircle Law for Random Matrices with a Fourfold Symmetry.”10.1063/1.4932606__Journal of Mathematical Physics, vol. 56, no. 10, 103301, American Institute of Physics, 2015, doi:10.1063/1.4932606.
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

Inglés Prieto, Álvaro, et al. “Light-Assisted Small-Molecule Screening against Protein Kinases.”10.1038/nchembio.1933__Nature Chemical Biology, vol. 11, no. 12, Nature Publishing Group, 2015, pp. 952–54, doi:10.1038/nchembio.1933.
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

Cepeda Humerez, Sarah A., et al. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.”10.1103/PhysRevLett.115.248101__Physical Review Letters, vol. 115, no. 24, 248101, American Physical Society, 2015, doi:10.1103/PhysRevLett.115.248101.
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101

Avvakumov, Sergey, et al. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, 1511.03501.
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015, doi:10.15479/AT:IST-2015-340-v1-1.
LibreCat: https://research-explorer.ista.ac.at/record/5441
DOI: 10.15479/AT:IST-2015-340-v1-1

Anonymous, 1, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5442

Svoreová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”10.1145/2728606.2728608__Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–68, doi:10.1145/2728606.2728608.
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

Cerny, Pavol, et al. From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis. Vol. 9207, Springer, 2015, pp. 180–97, doi:10.1007/978-3-319-21668-3_11.
LibreCat: https://research-explorer.ista.ac.at/record/1729
DOI: 10.1007/978-3-319-21668-3_11

Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol. 9035, Springer, 2015, pp. 469–83, doi:10.1007/978-3-662-46681-0_47.
LibreCat: https://research-explorer.ista.ac.at/record/1835
DOI: 10.1007/978-3-662-46681-0_47

Michalko, Jaroslav, et al. “Embryo-Lethal Phenotypes in Early Ab Mutants Are Due to Disruption of the Neighboring BSM Gene.”10.12688/f1000research.7143.1__00 Research , vol. 4, 00 Research, 2015, doi:10.12688/f1000research.7143.1.
LibreCat: https://research-explorer.ista.ac.at/record/1509
DOI: 10.12688/f1000research.7143.1

Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.”10.3390/g6040413__Games, vol. 6, no. 4, MDPI, 2015, pp. 413–37, doi:10.3390/g6040413.
LibreCat: https://research-explorer.ista.ac.at/record/1681
DOI: 10.3390/g6040413

Martius, Georg S., and Eckehard Olbrich. “Quantifying Emergent Behavior of Autonomous Robots.”10.3390/e17107266__Entropy, vol. 17, no. 10, MDPI, 2015, pp. 7266–97, doi:10.3390/e17107266.
LibreCat: https://research-explorer.ista.ac.at/record/1655
DOI: 10.3390/e17107266

Chen, Chong, et al. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.”10.1177/1759091415575845__ASN Neuro, vol. 7, no. 2, SAGE Publications, 2015, doi:10.1177/1759091415575845.
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 10.1177/1759091415575845

Erbar, Matthias, et al. “Discrete Ricci Curvature Bounds for Bernoulli-Laplace and Random Transposition Models.”10.5802/afst.1464__Annales de La Faculté Des Sciences de Toulouse, vol. 24, no. 4, Faculté des sciences de Toulouse, 2015, pp. 781–800, doi:10.5802/afst.1464.
LibreCat: https://research-explorer.ista.ac.at/record/1635
DOI: 10.5802/afst.1464
arXiv: 1409.8605

Kick, B., et al. “Efficient Production of Single-Stranded Phage DNA as Scaffolds for DNA Origami.”10.1021/acs.nanolett.5b01461__Nano Letters, vol. 15, no. 7, ACS Publications, 2015, pp. 4672–76, doi:10.1021/acs.nanolett.5b01461.
LibreCat: https://research-explorer.ista.ac.at/record/14303
DOI: 10.1021/acs.nanolett.5b01461
PMID: 26028443

Brázdil, Tomás, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
LibreCat: https://research-explorer.ista.ac.at/record/1603
DOI: 10.1007/978-3-319-21690-4_10

Fellner, Andreas. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria, 2015, doi:10.15479/AT:ISTA:28.
LibreCat: https://research-explorer.ista.ac.at/record/5549
DOI: 10.15479/AT:ISTA:28

Goaoc, Xavier, et al. Bounding Helly Numbers via Betti Numbers. Vol. 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–21, doi:10.4230/LIPIcs.SOCG.2015.507.
LibreCat: https://research-explorer.ista.ac.at/record/1512
DOI: 10.4230/LIPIcs.SOCG.2015.507

Browning, Timothy D., and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.”10.1515/crelle-2014-0122__Journal Fur Die Reine Und Angewandte Mathematik, vol. 2017, no. 731, Walter de Gruyter, pp. 203–34, doi:10.1515/crelle-2014-0122.
LibreCat: https://research-explorer.ista.ac.at/record/271
DOI: 10.1515/crelle-2014-0122
arXiv: 1402.4489

Dziembowski, Stefan, et al. “Proofs of Space.”10.1007/978-3-662-48000-7_29__35th Annual Cryptology Conference, vol. 9216, Springer, 2015, pp. 585–605, doi:10.1007/978-3-662-48000-7_29.
LibreCat: https://research-explorer.ista.ac.at/record/1675
DOI: 10.1007/978-3-662-48000-7_29

Michael, Alicia K., et al. “Cancer/Testis Antigen PAS Silences the Circadian Clock.”10.1016/j.molcel.2015.03.031__Molecular Cell, vol. 58, no. 5, Elsevier, 2015, pp. 743–54, doi:10.1016/j.molcel.2015.03.031.
LibreCat: https://research-explorer.ista.ac.at/record/15160
DOI: 10.1016/j.molcel.2015.03.031

Michael, Alicia K., et al. “Cytosolic BMAL1 Moonlights as a Translation Factor.”10.1016/j.tibs.2015.07.006__Trends in Biochemical Sciences, vol. 40, no. 9, Elsevier, 2015, pp. 489–90, doi:10.1016/j.tibs.2015.07.006.
LibreCat: https://research-explorer.ista.ac.at/record/15159
DOI: 10.1016/j.tibs.2015.07.006

Chevereau, Guillaume, et al. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.”10.1371/journal.pbio.1002299__PLoS Biology, vol. 13, no. 11, e1002299, Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299

Sari, Anela, et al. “Crucial Role of Nonspecific Interactions in Amyloid Nucleation.”10.1073/pnas.1410159111__Proceedings of the National Academy of Sciences, vol. 111, no. 50, National Academy of Sciences, 2014, pp. 17869–74, doi:10.1073/pnas.1410159111.
LibreCat: https://research-explorer.ista.ac.at/record/10382
DOI: 10.1073/pnas.1410159111
PMID: 25453085
arXiv: 1412.0897