Zhao, Hui, Soumyo Sen, T. Udayabhaskararao, Micha Sawczyk, Kristina Kudanda, Debasish Manna, Pintu K. Kundu, Ji-Woong Lee, Petr Král, and Rafal Klajn. “Reversible Trapping and Reaction Acceleration within Dynamically Self-Assembling Nanoflasks.”https://doi.org/10.1038/nnano.2015.256__Nature Nanotechnology. Springer Nature, 2015.https://doi.org/10.1038/nnano.2015.256 .
LibreCat: https://research-explorer.ista.ac.at/record/13392
DOI: 10.1038/nnano.2015.256
PMID: 26595335

Kundu, Pintu K., Dipak Samanta, Ron Leizrowice, Baruch Margulis, Hui Zhao, Martin Börner, T. Udayabhaskararao, Debasish Manna, and Rafal Klajn. “Light-Controlled Self-Assembly of Non-Photoresponsive Nanoparticles.”https://doi.org/10.1038/nchem.2303__Nature Chemistry. Springer Nature, 2015.https://doi.org/10.1038/nchem.2303 .
LibreCat: https://research-explorer.ista.ac.at/record/13394
DOI: 10.1038/nchem.2303
PMID: 26201741

Manna, Debasish, Thumu Udayabhaskararao, Hui Zhao, and Rafal Klajn. “Orthogonal Light-Induced Self-Assembly of Nanoparticles Using Differently Substituted Azobenzenes.”https://doi.org/10.1002/anie.201502419__Angewandte Chemie International Edition. Wiley, 2015.https://doi.org/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.”https://doi.org/10.1039/c4cc08541h__Chemical Communications. Royal Society of Chemistry, 2015.https://doi.org/10.1039/c4cc08541h .
LibreCat: https://research-explorer.ista.ac.at/record/13395
DOI: 10.1039/c4cc08541h
PMID: 25417754

Moldt, Thomas, Daniel Brete, Daniel Przyrembel, Sanjib Das, Joel R. Goldman, Pintu K. Kundu, Cornelius Gahl, Rafal Klajn, and Martin Weinelt. “Tailoring the Properties of Surface-Immobilized Azobenzenes by Monolayer Dilution and Surface Curvature.”https://doi.org/10.1021/la504291n__Langmuir. American Chemical Society, 2015.https://doi.org/10.1021/la504291n .
LibreCat: https://research-explorer.ista.ac.at/record/13396
DOI: 10.1021/la504291n
PMID: 25544061

Singh, Gurvinder, Henry Chan, T. Udayabhaskararao, Elijah Gelman, Davide Peddis, Artem Baskin, Gregory Leitus, Petr Král, and Rafal Klajn. “Magnetic Field-Induced Self-Assembly of Iron Oxide Nanocubes.”https://doi.org/10.1039/c4fd00265b__Faraday Discussions. Royal Society of Chemistry, 2015.https://doi.org/10.1039/c4fd00265b .
LibreCat: https://research-explorer.ista.ac.at/record/13397
DOI: 10.1039/c4fd00265b
PMID: 25920522

Sun, Yugang, Leonardo Scarabelli, Nicholas Kotov, Moritz Tebbe, Xiao-Min Lin, Ward Brullot, Lucio Isa, et al. “Field-Assisted Self-Assembly Process: General Discussion.”https://doi.org/10.1039/c5fd90041g__Faraday Discussions. Royal Society of Chemistry, 2015.https://doi.org/10.1039/c5fd90041g .
LibreCat: https://research-explorer.ista.ac.at/record/13398
DOI: 10.1039/c5fd90041g
PMID: 26149295

Zhang, Song Bin, Denitsa Rangelova Baykusheva, Peter M. Kraus, Hans Jakob Wörner, and Nina Rohringer. “Theoretical Study of Molecular Electronic and Rotational Coherences by High-Order-Harmonic Generation.”https://doi.org/10.1103/physreva.91.023421__Physical Review A. American Physical Society, 2015.https://doi.org/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., O. I. Tolstikhin, Denitsa Rangelova Baykusheva, A. Rupenyan, J. Schneider, C. Z. Bisgaard, T. Morishita, F. Jensen, L. B. Madsen, and H. J. Wörner. “Observation of Laser-Induced Electronic Structure in Oriented Polyatomic Molecules.”https://doi.org/10.1038/ncomms8039__Nature Communications. Springer Nature, 2015.https://doi.org/10.1038/ncomms8039 .
LibreCat: https://research-explorer.ista.ac.at/record/14016
DOI: 10.1038/ncomms8039
PMID: 25940229

Kraus, P. M., B. Mignolet, Denitsa Rangelova Baykusheva, A. Rupenyan, L. Horný, E. F. Penka, G. Grassi, et al. “Measurement and Laser Control of Attosecond Charge Migration in Ionized Iodoacetylene.”https://doi.org/10.1126/science.aab2160__Science. American Association for the Advancement of Science, 2015.https://doi.org/10.1126/science.aab2160 .
LibreCat: https://research-explorer.ista.ac.at/record/14013
DOI: 10.1126/science.aab2160
PMID: 26494175

Kraus, P M, B Mignolet, Denitsa Rangelova Baykusheva, A Rupenyan, L Horný, E F Penka, O I Tolstikhin, et al. “Attosecond Charge Migration and Its Laser Control.”https://doi.org/10.1088/1742-6596/635/11/112136__Journal of Physics: Conference Series. IOP Publishing, 2015.https://doi.org/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, N Bhargava Ram, Aaron von Conta, Denitsa Rangelova Baykusheva, Marcos Atala, and Hans Jakob Wörner. “Resolving the Dynamics of Valence-Shell Electrons and Nuclei through Laser-Induced Diffraction and Holography.”https://doi.org/10.1088/1742-6596/635/11/112135__Journal of Physics: Conference Series. IOP Publishing, 2015.https://doi.org/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, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Data from: Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Non-Mutator Bacteria.”https://doi.org/10.5061/dryad.cj910__Dryad, 2015.https://doi.org/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.”https://doi.org/10.15479/at:ista:1401__Institute of Science and Technology Austria, 2015.https://doi.org/10.15479/at:ista:1401 .
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

Reiter, Johannes, Ayush Kanodia, Raghav Gupta, Martin Nowak, and Krishnendu Chatterjee. “Biological Auctions with Multiple Rewards.”https://doi.org/10.1098/rspb.2015.1041__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, 2015.https://doi.org/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.”https://doi.org/10.1016/j.jco.2015.06.002__Journal of Complexity. Academic Press, 2015.https://doi.org/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, Tiago Paixao, Nicholas H Barton, and Gasper Tkadik. “Dynamics of Transcription Factor Binding Site Evolution.”https://doi.org/10.1371/journal.pgen.1005639__PLoS Genetics. Public Library of Science, 2015.https://doi.org/10.1371/journal.pgen.1005639 .
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

Benes, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,”https://doi.org/10.1145/2737166.2737175__101–10. ACM, 2015.https://doi.org/10.1145/2737166.2737175 .
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 10.1145/2737166.2737175

Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.”https://doi.org/10.1007/s10703-015-0235-2__Formal Methods in System Design. Springer, 2015.https://doi.org/10.1007/s10703-015-0235-2 .
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 10.1007/s10703-015-0235-2

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, and Prateesh Goyal. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.”https://doi.org/10.1145/2676726.2676979__ACM SIGPLAN Notices. ACM, 2015.https://doi.org/10.1145/2676726.2676979 .
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. “Quantitative Interprocedural Analysis.”https://doi.org/10.1145/2676726.2676968__Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . ACM, 2015.https://doi.org/10.1145/2676726.2676968 .
LibreCat: https://research-explorer.ista.ac.at/record/1604
DOI: 10.1145/2676726.2676968

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs,”https://doi.org/10.1007/978-3-319-21690-4_9__9206:140–57. Springer, 2015.https://doi.org/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, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.”https://doi.org/10.1109/RTSS.2014.9__In Real-Time Systems Symposium, 2015:118–27. IEEE, 2015.https://doi.org/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,”https://doi.org/10.1145/2766896__Vol. 34. ACM, 2015.https://doi.org/10.1145/2766896 .
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht, Verena, Stefan Wieser, Andrew Callan Jones, Michael Smutny, Hitoshi Morita, Keisuke Sako, Vanessa Barone, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.”https://doi.org/10.1016/j.cell.2015.01.008__Cell. Cell Press, 2015.https://doi.org/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.”https://doi.org/10.1105/tpc.114.134874__Plant Cell. American Society of Plant Biologists, 2015.https://doi.org/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.”https://doi.org/10.1063/1.4932606__Journal of Mathematical Physics. American Institute of Physics, 2015.https://doi.org/10.1063/1.4932606 .
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Markus Muellner, Matthias Nowak, Sebastian Nijman, Michael Grusch, and Harald L Janovjak. “Light-Assisted Small-Molecule Screening against Protein Kinases.”https://doi.org/10.1038/nchembio.1933__Nature Chemical Biology. Nature Publishing Group, 2015.https://doi.org/10.1038/nchembio.1933 .
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

Cepeda Humerez, Sarah A, Georg Rieckh, and Gasper Tkadik. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.”https://doi.org/10.1103/PhysRevLett.115.248101__Physical Review Letters. American Physical Society, 2015.https://doi.org/10.1103/PhysRevLett.115.248101 .
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101

Avvakumov, Sergey, Isaac Mabillard, A. Skopenkov, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015.https://doi.org/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, 2 Anonymous, 3 Anonymous, and 4 Anonymous. 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, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cbrná, and Celin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”https://doi.org/10.1145/2728606.2728608__In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 259–68. ACM, 2015.https://doi.org/10.1145/2728606.2728608 .
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.”https://doi.org/10.1007/978-3-319-21668-3_11__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/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, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.”https://doi.org/10.1007/978-3-662-46681-0_47__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/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, Marta Lukacisinova, Mark Tobias Bollenbach, and Jií Friml. “Embryo-Lethal Phenotypes in Early Ab Mutants Are Due to Disruption of the Neighboring BSM Gene.”https://doi.org/10.12688/f1000research.7143.1__00 Research . 00 Research, 2015.https://doi.org/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.”https://doi.org/10.3390/g6040413__Games. MDPI, 2015.https://doi.org/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.”https://doi.org/10.3390/e17107266__Entropy. MDPI, 2015.https://doi.org/10.3390/e17107266 .
LibreCat: https://research-explorer.ista.ac.at/record/1655
DOI: 10.3390/e17107266

Chen, Chong, Chao Wang, Xuan Zhao, Tao Zhou, Dao Xu, Zhi Wang, and Ying Wang. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.”https://doi.org/10.1177/1759091415575845__ASN Neuro. SAGE Publications, 2015.https://doi.org/10.1177/1759091415575845 .
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 10.1177/1759091415575845

Erbar, Matthias, Jan Maas, and Prasad Tetali. “Discrete Ricci Curvature Bounds for Bernoulli-Laplace and Random Transposition Models.”https://doi.org/10.5802/afst.1464__Annales de La Faculté Des Sciences de Toulouse. Faculté des sciences de Toulouse, 2015.https://doi.org/10.5802/afst.1464 .
LibreCat: https://research-explorer.ista.ac.at/record/1635
DOI: 10.5802/afst.1464
arXiv: 1409.8605

Kick, B, Florian M Praetorius, H Dietz, and D Weuster-Botz. “Efficient Production of Single-Stranded Phage DNA as Scaffolds for DNA Origami.”https://doi.org/10.1021/acs.nanolett.5b01461__Nano Letters. ACS Publications, 2015.https://doi.org/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, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,”https://doi.org/10.1007/978-3-319-21690-4_10__9206:158–77. Springer, 2015.https://doi.org/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.”https://doi.org/10.15479/AT:ISTA:28__Institute of Science and Technology Austria, 2015.https://doi.org/10.15479/AT:ISTA:28 .
LibreCat: https://research-explorer.ista.ac.at/record/5549
DOI: 10.15479/AT:ISTA:28

Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers,”https://doi.org/10.4230/LIPIcs.SOCG.2015.507__34:507–21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015.https://doi.org/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.”https://doi.org/10.1515/crelle-2014-0122__Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, n.d.https://doi.org/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, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. “Proofs of Space.”https://doi.org/10.1007/978-3-662-48000-7_29__In 35th Annual Cryptology Conference, 9216:585–605. Springer, 2015.https://doi.org/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., Stacy L. Harvey, Patrick J. Sammons, Amanda P. Anderson, Hema M. Kopalle, Alison H. Banham, and Carrie L. Partch. “Cancer/Testis Antigen PAS Silences the Circadian Clock.”https://doi.org/10.1016/j.molcel.2015.03.031__Molecular Cell. Elsevier, 2015.https://doi.org/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., Hande Asimgil, and Carrie L. Partch. “Cytosolic BMAL1 Moonlights as a Translation Factor.”https://doi.org/10.1016/j.tibs.2015.07.006__Trends in Biochemical Sciences. Elsevier, 2015.https://doi.org/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, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.”https://doi.org/10.1371/journal.pbio.1002299__PLoS Biology. Public Library of Science, 2015.https://doi.org/10.1371/journal.pbio.1002299 .
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299

Sari, Anela, Yassmine C. Chebaro, Tuomas P. J. Knowles, and Daan Frenkel. “Crucial Role of Nonspecific Interactions in Amyloid Nucleation.”https://doi.org/10.1073/pnas.1410159111__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2014.https://doi.org/10.1073/pnas.1410159111 .
LibreCat: https://research-explorer.ista.ac.at/record/10382
DOI: 10.1073/pnas.1410159111
PMID: 25453085
arXiv: 1412.0897

Mallory, S. A., Anela Sari, C. Valeriani, and A. Cacciuto. “Anomalous Thermomechanical Properties of a Self-Propelled Colloidal Fluid.”https://doi.org/10.1103/physreve.89.052303__Physical Review E. American Physical Society, 2014.https://doi.org/10.1103/physreve.89.052303 .
LibreCat: https://research-explorer.ista.ac.at/record/10383
DOI: 10.1103/physreve.89.052303
PMID: 25353796
arXiv: 1310.0826

Jensen, Nickels, Johann G Danzl, Katrin Willig, Flavie Lavoie Cardinal, Tanja Brakemann, Stefan Hell, and Stefan Jakobs. “Coordinate-Targeted and Coordinate-Stochastic Super-Resolution Microscopy with the Reversibly Switchable Fluorescent Protein Dreiklang.”https://doi.org/10.1002/cphc.201301034__ChemPhysChem. Wiley-Blackwell, 2014.https://doi.org/10.1002/cphc.201301034 .
LibreCat: https://research-explorer.ista.ac.at/record/1058
DOI: 10.1002/cphc.201301034

Hashimoto, Masakazu, Hitoshi Morita, and Naoto Ueno. “Molecular and Cellular Mechanisms of Development Underlying Congenital Diseases.”https://doi.org/10.1111/cga.12039__Congenital Anomalies. Wiley, 2014.https://doi.org/10.1111/cga.12039 .
LibreCat: https://research-explorer.ista.ac.at/record/10815
DOI: 10.1111/cga.12039
PMID: 24666178

Zaeímalová, Eva, Jan Petrásek, and Eva Benková, eds. Auxin and Its Role in Plant Development. 1st ed. Vienna: Springer Nature, 2014.https://doi.org/10.1007/978-3-7091-1526-8 .
LibreCat: https://research-explorer.ista.ac.at/record/10811
DOI: 10.1007/978-3-7091-1526-8

Aminof, Benjamin, Swen Jacobs, Ayrat Khalimov, and Sasha Rubin. “Parameterized Model Checking of Token-Passing Systems.”https://doi.org/10.1007/978-3-642-54013-4_15__In Verification, Model Checking, and Abstract Interpretation, 8318:262–81. Springer Nature, 2014.https://doi.org/10.1007/978-3-642-54013-4_15 .
LibreCat: https://research-explorer.ista.ac.at/record/10884
DOI: 10.1007/978-3-642-54013-4_15
arXiv: 1311.4425

Kasten, Jens, Jan Reininghaus, Wieland Reich, and Gerik Scheuermann. “Toward the Extraction of Saddle Periodic Orbits.”https://doi.org/10.1007/978-3-319-04099-8_4__In Topological Methods in Data Analysis and Visualization III , edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 1:55–69. Mathematics and Visualization. Cham: Springer, 2014.https://doi.org/10.1007/978-3-319-04099-8_4 .
LibreCat: https://research-explorer.ista.ac.at/record/10893
DOI: 10.1007/978-3-319-04099-8_4

Buchwalter, Abigail, and Martin Hetzer. “Nuclear Pores Set the Speed Limit for Mitosis.”https://doi.org/10.1016/j.cell.2014.02.004__Cell. Elsevier, 2014.https://doi.org/10.1016/j.cell.2014.02.004 .
LibreCat: https://research-explorer.ista.ac.at/record/11080
DOI: 10.1016/j.cell.2014.02.004
PMID: 24581486

Buchwalter, Abigail L., Yun Liang, and Martin Hetzer. “Nu Is Required for Cell Differentiation and Exhibits Transcription-Dependent Dynamics.”https://doi.org/10.1091/mbc.e14-04-0865__Molecular Biology of the Cell. American Society for Cell Biology, 2014.https://doi.org/10.1091/mbc.e14-04-0865 .
LibreCat: https://research-explorer.ista.ac.at/record/11082
DOI: 10.1091/mbc.e14-04-0865

Hatch, Emily, and Martin Hetzer. “Breaching the Nuclear Envelope in Development and Disease.”https://doi.org/10.1083/jcb.201402003__Journal of Cell Biology. Rockefeller University Press, 2014.https://doi.org/10.1083/jcb.201402003 .
LibreCat: https://research-explorer.ista.ac.at/record/11081
DOI: 10.1083/jcb.201402003
PMID: 24751535

Matthee, Jorryt J, David Sobral, A. M. Swinbank, Ian Smail, P. N. Best, Jae-Woo Kim, Marijn Franx, Bo Milvang-Jensen, and Johan Fynbo. “A 10 De Lyman ;1 Survey at Z=8.8 with Spectroscopic Follow-up: Strong Constraints on the Luminosity Function and Implications for Other Surveys.”https://doi.org/10.1093/mnras/stu392__Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2014.https://doi.org/10.1093/mnras/stu392 .
LibreCat: https://research-explorer.ista.ac.at/record/11583
DOI: 10.1093/mnras/stu392
arXiv: 1402.6697

Stott, John P., David Sobral, A. M. Swinbank, Ian Smail, Richard Bower, Philip N. Best, Ray M. Sharples, James E. Geach, and Jorryt J Matthee. “A Relationship between Specific Star Formation Rate and Metallicity Gradient within z c 1 Galaxies from KMOS-HiZELS.”https://doi.org/10.1093/mnras/stu1343__Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2014.https://doi.org/10.1093/mnras/stu1343 .
LibreCat: https://research-explorer.ista.ac.at/record/11582
DOI: 10.1093/mnras/stu1343
arXiv: 1407.1047

Pokharel, Mani, Huaizhou Zhao, Kimberly A Modic, Zhifeng Ren, and Cyril Opeil. “Magnetic Properties of Hot-Pressed FeSb2.”https://doi.org/10.1109/TMAG.2013.2292607__IEEE Transactions on Magnetics. Institute of Electrical and Electronics Engineers, 2014.https://doi.org/10.1109/TMAG.2013.2292607 .
LibreCat: https://research-explorer.ista.ac.at/record/11750
DOI: 10.1109/TMAG.2013.2292607

Charikar, Moses, Monika H Henzinger, and Huy L. Nguyên. “Online Bipartite Matching with Decomposable Weights.”https://doi.org/10.1007/978-3-662-44777-2_22__In 22nd Annual European Symposium on Algorithms, 8737:260–71. Springer Nature, 2014.https://doi.org/10.1007/978-3-662-44777-2_22 .
LibreCat: https://research-explorer.ista.ac.at/record/11789
DOI: 10.1007/978-3-662-44777-2_22
arXiv: 1409.2139

Cigler, Ludbk, Wolfgang Dvoák, Monika H Henzinger, and Martin Starnberger. “Limiting Price Discrimination When Selling Products with Positive Network Externalities.”https://doi.org/10.1007/978-3-319-13129-0_4__In 10th International Conference of Web and Internet Economics, 8877:44–57. Springer Nature, 2014.https://doi.org/10.1007/978-3-319-13129-0_4 .
LibreCat: https://research-explorer.ista.ac.at/record/11790
DOI: 10.1007/978-3-319-13129-0_4

Altshuler, Ernesto, H Torres, A González_Pita, Colina G Sánchez, Carlos Pérez Penichet, Scott R Waitukaitis, and Rauól Hidalgo. “Settling into Dry Granular Media in Different Gravities.”https://doi.org/10.1002/2014GL059229__Geophysical Research Letters. Wiley-Blackwell, 2014.https://doi.org/10.1002/2014GL059229 .
LibreCat: https://research-explorer.ista.ac.at/record/118
DOI: 10.1002/2014GL059229

Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Decremental Single-Source Shortest Paths on Undirected Graphs in near-Linear Total Update Time.”https://doi.org/10.1109/focs.2014.24__In 55th Annual Symposium on Foundations of Computer Science, 146–55. Institute of Electrical and Electronics Engineers, 2014.https://doi.org/10.1109/focs.2014.24 .
LibreCat: https://research-explorer.ista.ac.at/record/11855
DOI: 10.1109/focs.2014.24
arXiv: 1402.0054

Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Sublinear-Time Decremental Algorithms for Single-Source Reachability and Shortest Paths on Directed Graphs.”https://doi.org/10.1145/2591796.2591869__In 46th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery, 2014.https://doi.org/10.1145/2591796.2591869 .
LibreCat: https://research-explorer.ista.ac.at/record/11870
DOI: 10.1145/2591796.2591869
arXiv: 1504.07959

Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “A Subquadratic-Time Algorithm for Decremental Single-Source Shortest Paths.”https://doi.org/10.1137/1.9781611973402.79__In 25th Annual ACM-SIAM Symposium on Discrete Algorithms, 1053–72. Society for Industrial and Applied Mathematics, 2014.https://doi.org/10.1137/1.9781611973402.79 .
LibreCat: https://research-explorer.ista.ac.at/record/11876
DOI: 10.1137/1.9781611973402.79

Bhattacharya, Sayan, Monika H Henzinger, and Giuseppe F. Italiano. “Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching.”https://doi.org/10.1137/1.9781611973730.54__In 26th Annual ACM-SIAM Symposium on Discrete Algorithms, 785–804. Society for Industrial and Applied Mathematics, 2014.https://doi.org/10.1137/1.9781611973730.54 .
LibreCat: https://research-explorer.ista.ac.at/record/11875
DOI: 10.1137/1.9781611973730.54
arXiv: 1412.1318

Waitukaitis, Scott R, Victor Lee, James Pierson, Steven Forman, and Heinrich Jaeger. “Size-Dependent Same-Material Tribocharging in Insulating Grains.”https://doi.org/10.1103/PhysRevLett.112.218001__APS Physics, Physical Review Letters. American Physical Society, 2014.https://doi.org/10.1103/PhysRevLett.112.218001 .
LibreCat: https://research-explorer.ista.ac.at/record/119
DOI: 10.1103/PhysRevLett.112.218001
arXiv: 1309.2578

Hofbauer, Harald F., Florian H. Schopf, Hannes Schleifer, Oskar L. Knittelfelder, Bartholomäus Pieber, Gerald N. Rechberger, Heimo Wolinski, et al. “Regulation of Gene Expression through a Transcriptional Repressor That Senses Acyl-Chain Length in Membrane Phospholipids.”https://doi.org/10.1016/j.devcel.2014.04.025__Developmental Cell. Elsevier, 2014.https://doi.org/10.1016/j.devcel.2014.04.025 .
LibreCat: https://research-explorer.ista.ac.at/record/11968
DOI: 10.1016/j.devcel.2014.04.025
PMID: 24960695

Moghaddam, Mojtaba Mirhosseini, Bartholomäus Pieber, Toma Glasnov, and C. Oliver Kappe. “Immobilized Iron Oxide Nanoparticles as Stable and Reusable Catalysts for Hydrazine-Mediated Nitro Reductions in Continuous Flow.”https://doi.org/10.1002/cssc.201402455__ChemSusChem. Wiley, 2014.https://doi.org/10.1002/cssc.201402455 .
LibreCat: https://research-explorer.ista.ac.at/record/11967
DOI: 10.1002/cssc.201402455
PMID: 25209099

Pieber, Bartholomäus, Toma Glasnov, and C. O. Kappe. “Flash Carboxylation: Fast Lithiation–Carboxylation Sequence at Room Temperature in Continuous Flow.”https://doi.org/10.1039/c4ra01442a__RSC Advances. Royal Society of Chemistry, 2014.https://doi.org/10.1039/c4ra01442a .
LibreCat: https://research-explorer.ista.ac.at/record/11987
DOI: 10.1039/c4ra01442a

Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.”https://doi.org/10.1007/s00030-013-0235-0__Nonlinear Differential Equations and Applications. Birkhäuser, 2014.https://doi.org/10.1007/s00030-013-0235-0 .
LibreCat: https://research-explorer.ista.ac.at/record/1309
DOI: 10.1007/s00030-013-0235-0

Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.”https://doi.org/10.1007/s00205-013-0690-0__Archive for Rational Mechanics and Analysis. Springer, 2014.https://doi.org/10.1007/s00205-013-0690-0 .
LibreCat: https://research-explorer.ista.ac.at/record/1312
DOI: 10.1007/s00205-013-0690-0

Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.”https://doi.org/10.1016/j.tcs.2014.06.031__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2014.06.031 .
LibreCat: https://research-explorer.ista.ac.at/record/1375
DOI: 10.1016/j.tcs.2014.06.031
arXiv: 1307.4473

Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,”https://doi.org/10.1007/978-3-642-54013-4_10__8318:161–81. Springer, 2014.https://doi.org/10.1007/978-3-642-54013-4_10 .
LibreCat: https://research-explorer.ista.ac.at/record/1392
DOI: 10.1007/978-3-642-54013-4_10

Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.”https://doi.org/10.1145/2593882.2593900__In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014.https://doi.org/10.1145/2593882.2593900 .
LibreCat: https://research-explorer.ista.ac.at/record/1393
DOI: 10.1145/2593882.2593900

Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1404

Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.”https://doi.org/10.1142/9789814618144_0007__In Proceedings of the QMat Conference, 127–37. World Scientific Publishing, 2014.https://doi.org/10.1142/9789814618144_0007 .
LibreCat: https://research-explorer.ista.ac.at/record/1516
DOI: 10.1142/9789814618144_0007
arXiv: 1403.2563

Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit Propagation Using Geometric Relationship Functions.”https://doi.org/10.1145/2591010__ACM Transactions on Graphics. ACM, 2014.https://doi.org/10.1145/2591010 .
LibreCat: https://research-explorer.ista.ac.at/record/1629
DOI: 10.1145/2591010

Fulek, Radoslav, Jan Kyndl, Igor Malinovi, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.”https://doi.org/10.1007/978-3-662-45803-7_36__In International Symposium on Graph Drawing, 8871:428–36. Cham: Springer Nature, 2014.https://doi.org/10.1007/978-3-662-45803-7_36 .
LibreCat: https://research-explorer.ista.ac.at/record/10793
DOI: 10.1007/978-3-662-45803-7_36
arXiv: 1305.4519

Fuchsbauer, Georg. “Constrained Verifiable Random Functions .”https://doi.org/10.1007/978-3-319-10879-7_7__In SCN 2014, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer, 2014.https://doi.org/10.1007/978-3-319-10879-7_7 .
LibreCat: https://research-explorer.ista.ac.at/record/1643
DOI: 10.1007/978-3-319-10879-7_7

Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.”https://doi.org/10.4204/EPTCS.169.5__In Electronic Proceedings in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014.https://doi.org/10.4204/EPTCS.169.5 .
LibreCat: https://research-explorer.ista.ac.at/record/1702
DOI: 10.4204/EPTCS.169.5

Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks,” 3:2024–32. Neural Information Processing Systems, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1708

Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Silvano De Franceschi, Pascal Gentile, Riccardo Rurali, and Xavier Cartoixà. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.”https://doi.org/10.1103/PhysRevX.3.041025__Physical Review X. American Physical Society, 2014.https://doi.org/10.1103/PhysRevX.3.041025 .
LibreCat: https://research-explorer.ista.ac.at/record/1761
DOI: 10.1103/PhysRevX.3.041025

Baek, Seungtae, Géraldine Kerjan, Stephanie Bielas, Jieun Lee, Ali Fenstermaker, Gaia Novarino, and Joseph Gleeson. “Off-Target Effect of Doublecortin Family ShRNA on Neuronal Migration Associated with Endogenous MicroRNA Dysregulation.”https://doi.org/10.1016/j.neuron.2014.04.036__Neuron. Elsevier, 2014.https://doi.org/10.1016/j.neuron.2014.04.036 .
LibreCat: https://research-explorer.ista.ac.at/record/1791
DOI: 10.1016/j.neuron.2014.04.036

Baster, Pawel, and Jií Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.”https://doi.org/10.1007/978-3-7091-1526-8_8__In Auxin and Its Role in Plant Development, edited by Eva Zaeímalová, Jan Petrásek, and Eva Benková, 143–70. Springer, 2014.https://doi.org/10.1007/978-3-7091-1526-8_8 .
LibreCat: https://research-explorer.ista.ac.at/record/1806
DOI: 10.1007/978-3-7091-1526-8_8

Huber, Stefan, Martin Held, Peter Meerwald, and Roland Kwitt. “Topology-Preserving Watermarking of Vector Graphics.”https://doi.org/10.1142/S0218195914500034__International Journal of Computational Geometry and Applications. World Scientific Publishing, 2014.https://doi.org/10.1142/S0218195914500034 .
LibreCat: https://research-explorer.ista.ac.at/record/1816
DOI: 10.1142/S0218195914500034

Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.”https://doi.org/10.1063/1.4881536__Journal of Mathematical Physics. American Institute of Physics, 2014.https://doi.org/10.1063/1.4881536 .
LibreCat: https://research-explorer.ista.ac.at/record/1821
DOI: 10.1063/1.4881536

Jaksi, Vojkan, Claude Pillet, and Robert Seiringer. “Introduction.”https://doi.org/10.1063/1.4884877__Journal of Mathematical Physics. American Institute of Physics, 2014.https://doi.org/10.1063/1.4884877 .
LibreCat: https://research-explorer.ista.ac.at/record/1822
DOI: 10.1063/1.4884877

Muelling, Katharina, Oliver Kroemer, Christoph Lampert, and Bernhard Schölkopf. “Movement Templates for Learning of Hitting and Batting.”https://doi.org/10.1007/978-3-319-03194-1_3__In Learning Motor Skills, edited by Jens Kober and Jan Peters, 97:69–82. From Algorithms to Robot Experiments. Springer, 2014.https://doi.org/10.1007/978-3-319-03194-1_3 .
LibreCat: https://research-explorer.ista.ac.at/record/1829
DOI: 10.1007/978-3-319-03194-1_3

Risso, Valeria, Fadia Manssour Triedo, Asuncion Delgado Delgado, Rocio Arco, Alicia Barroso Deljesús, Álvaro Inglés Prieto, Raquel Godoy Ruiz, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.”https://doi.org/10.1093/molbev/msu312__Molecular Biology and Evolution. Oxford University Press, 2014.https://doi.org/10.1093/molbev/msu312 .
LibreCat: https://research-explorer.ista.ac.at/record/1844
DOI: 10.1093/molbev/msu312

Cibulka, Josef, Pu Gao, Marek Krcál, Tomás Valla, and Pavel Valtr. “On the Geometric Ramsey Number of Outerplanar Graphs.”https://doi.org/10.1007/s00454-014-9646-x__Discrete &; Computational Geometry. Springer, 2014.https://doi.org/10.1007/s00454-014-9646-x .
LibreCat: https://research-explorer.ista.ac.at/record/1842
DOI: 10.1007/s00454-014-9646-x

Guerrero, Paul, Thomas Auzinger, Michael Wimmer, and Stefan Jeschke. “Partial Shape Matching Using Transformation Parameter Similarity.”https://doi.org/10.1111/cgf.12509__Computer Graphics Forum. Wiley, 2014.https://doi.org/10.1111/cgf.12509 .
LibreCat: https://research-explorer.ista.ac.at/record/1854
DOI: 10.1111/cgf.12509

Sassi, Massimiliano, Olivier Ali, Frédéric Boudon, Gladys Cloarec, Ursula Abad, Coralie Cellier, Xu Chen, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.”https://doi.org/10.1016/j.cub.2014.08.036__Current Biology. Cell Press, 2014.https://doi.org/10.1016/j.cub.2014.08.036 .
LibreCat: https://research-explorer.ista.ac.at/record/1852
DOI: 10.1016/j.cub.2014.08.036

Jha, Susmit, Stavros Tripakis, Sanjit Seshia, and Krishnendu Chatterjee. “Game Theoretic Secure Localization in Wireless Sensor Networks,”https://doi.org/10.1109/IOT.2014.7030120__85–90. IEEE, 2014.https://doi.org/10.1109/IOT.2014.7030120 .
LibreCat: https://research-explorer.ista.ac.at/record/1853
DOI: 10.1109/IOT.2014.7030120

Chen, Xu, Laurie Grandont, Hongjiang Li, Robert Hauschild, Sébastien Paque, Anas Abuzeineh, Hana Rakusova, Eva Benková, Catherine Perrot Rechenmann, and Jií Friml. “Inhibition of Cell Expansion by Rapid AB-Mediated Auxin Effect on Microtubules.”https://doi.org/10.1038/nature13889__Nature. Nature Publishing Group, 2014.https://doi.org/10.1038/nature13889 .
LibreCat: https://research-explorer.ista.ac.at/record/1862
DOI: 10.1038/nature13889
PMID: 25409144