Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:10.1145/3178126.3178131.
LibreCat: https://research-explorer.ista.ac.at/record/183
DOI: 10.1145/3178126.3178131
WoS: 000474781600022

Alt, Johannes, et al. “Local Inhomogeneous Circular Law.”10.1214/17-AAP1302__Annals Applied Probability , vol. 28, no. 1, Institute of Mathematical Statistics, 2018, pp. 148–203, doi:10.1214/17-AAP1302.
LibreCat: https://research-explorer.ista.ac.at/record/566
DOI: 10.1214/17-AAP1302
WoS: 000431721800005
arXiv: 1612.07776 

Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.”10.1007/s00283-018-9795-5__Mathematical Intelligencer, vol. 40, no. 3, Springer, 2018, pp. 26–31, doi:10.1007/s00283-018-9795-5.
LibreCat: https://research-explorer.ista.ac.at/record/106
DOI: 10.1007/s00283-018-9795-5
WoS: 000444141200005
arXiv: 1702.05172

Chaudhry, Waqas, et al. Numerical Data Used in Figures. Public Library of Science, 2018, doi:10.1371/journal.pbio.2005971.s008.
LibreCat: https://research-explorer.ista.ac.at/record/9810
DOI: 10.1371/journal.pbio.2005971.s008

Brown, Markus, et al. “Lymphatic Exosomes Promote Dendritic Cell Migration along Guidance Cues.”10.1083/jcb.201612051__Journal of Cell Biology, vol. 217, no. 6, Rockefeller University Press, 2018, pp. 2205–21, doi:10.1083/jcb.201612051.
LibreCat: https://research-explorer.ista.ac.at/record/275
DOI: 10.1083/jcb.201612051
WoS: 000438077800026
PMID: 29650776

Robert, Hélène, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning in Arabidopsis.”10.1038/s41477-018-0204-z__Nature Plants, vol. 4, no. 8, Nature Publishing Group, 2018, pp. 548–53, doi:10.1038/s41477-018-0204-z.
LibreCat: https://research-explorer.ista.ac.at/record/158
DOI: 10.1038/s41477-018-0204-z
WoS: 000443861300011
PMID: 30013211

Fiedorczuk, Karol, and Leonid A. Sazanov. “Mammalian Mitochondrial Complex I Structure and Disease Causing Mutations.”10.1016/j.tcb.2018.06.006__Trends in Cell Biology, vol. 28, no. 10, Elsevier, 2018, pp. 835–67, doi:10.1016/j.tcb.2018.06.006.
LibreCat: https://research-explorer.ista.ac.at/record/152
DOI: 10.1016/j.tcb.2018.06.006
WoS: 000445118200007

Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. ACM, 2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.
LibreCat: https://research-explorer.ista.ac.at/record/310
DOI: 10.1137/1.9781611975031.151
WoS: 000483921200152
arXiv: 1711.09148

Barzanjeh, Shabir, et al. “Manipulating the Flow of Thermal Noise in Quantum Devices.”10.1103/PhysRevLett.120.060601__Physical Review Letters, vol. 120, no. 6, 060601, American Physical Society, 2018, doi:10.1103/PhysRevLett.120.060601.
LibreCat: https://research-explorer.ista.ac.at/record/436
DOI: 10.1103/PhysRevLett.120.060601
WoS: 000424382100004
arXiv: 1706.09051

Hross, Sabrina, et al. “Mechanistic Description of Spatial Processes Using Integrative Modelling of Noise-Corrupted Imaging Data.”10.1098/rsif.2018.0600__Journal of the Royal Society Interface, vol. 15, no. 149, 20180600, Royal Society Publishing, 2018, doi:10.1098/rsif.2018.0600.
LibreCat: https://research-explorer.ista.ac.at/record/5858
DOI: 10.1098/rsif.2018.0600
WoS: 000456783800011

Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity Amplification in a Creeping Viscoelastic Flow.”10.1103/PhysRevFluids.3.103303__Physical Review Fluids, vol. 3, no. 10, 103303, American Physical Society, 2018, doi:10.1103/PhysRevFluids.3.103303.
LibreCat: https://research-explorer.ista.ac.at/record/16
DOI: 10.1103/PhysRevFluids.3.103303
WoS: 000447469200001

Rybicki, Joel, et al. “Model of Bacterial Toxin-Dependent Pathogenesis Explains Infective Dose.”10.1073/pnas.1721061115__PNAS, vol. 115, no. 42, National Academy of Sciences, 2018, pp. 10690–95, doi:10.1073/pnas.1721061115.
LibreCat: https://research-explorer.ista.ac.at/record/43
DOI: 10.1073/pnas.1721061115
WoS: 000447491300057

Alderighi, Thomas, et al. “Metamolds: Computational Design of Silicone Molds.”10.1145/3197517.3201381__ACM Trans. Graph., vol. 37, no. 4, 136, ACM, 2018, doi:10.1145/3197517.3201381.
LibreCat: https://research-explorer.ista.ac.at/record/13
DOI: 10.1145/3197517.3201381
WoS: 000448185000097

Zhang, William, et al. “Monitoring Hippocampal Glycine with the Computationally Designed Optical Sensor GlyFS.”10.1038/s41589-018-0108-2__Nature Chemical Biology, vol. 14, no. 9, Nature Publishing Group, 2018, pp. 861–69, doi:10.1038/s41589-018-0108-2.
LibreCat: https://research-explorer.ista.ac.at/record/137
DOI: 10.1038/s41589-018-0108-2
WoS: 000442174500013
PMID: 30061718 

Renkawitz, Jörg, et al. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in Complex but Controlled 3D Environments.”10.1016/bs.mcb.2018.07.004__Methods in Cell Biology, vol. 147, Academic Press, 2018, pp. 79–91, doi:10.1016/bs.mcb.2018.07.004.
LibreCat: https://research-explorer.ista.ac.at/record/153
DOI: 10.1016/bs.mcb.2018.07.004
WoS: 000452412300006
PMID: 30165964

Nunes Pinheiro, Diana C., and Yohanns Bellaïche. “Mechanical Force-Driven Adherents Junction Remodeling and Epithelial Dynamics.”10.1016/j.devcel.2018.09.014__Developmental Cell, vol. 47, no. 1, Cell Press, 2018, pp. 3–19, doi:10.1016/j.devcel.2018.09.014.
LibreCat: https://research-explorer.ista.ac.at/record/54
DOI: 10.1016/j.devcel.2018.09.014
WoS: 000446579900002

Frick, Corina, et al. “Nano-Scale Microfluidics to Study 3D Chemotaxis at the Single Cell Level.”10.1371/journal.pone.0198330__PLoS One, vol. 13, no. 6, e0198330, Public Library of Science, 2018, doi:10.1371/journal.pone.0198330.
LibreCat: https://research-explorer.ista.ac.at/record/276
DOI: 10.1371/journal.pone.0198330
WoS: 000434384900031

Ceinos, Rosa Maria, et al. “Mutations in Blind Cavefish Target the Light Regulated Circadian Clock Gene Period 2.”10.1038/s41598-018-27080-2__Scientific Reports, vol. 8, no. 1, 8754, Nature Publishing Group, 2018, doi:10.1038/s41598-018-27080-2.
LibreCat: https://research-explorer.ista.ac.at/record/283
DOI: 10.1038/s41598-018-27080-2
WoS: 000434640800008

Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables. Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.
LibreCat: https://research-explorer.ista.ac.at/record/81
DOI: 10.1007/978-3-030-00151-3_4
WoS: 000884993200004

Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.”10.1007/s00446-018-0342-6__Distributed Computing, Springer, 2018, doi:10.1007/s00446-018-0342-6.
LibreCat: https://research-explorer.ista.ac.at/record/76
DOI: 10.1007/s00446-018-0342-6
WoS: 000475627800005

Edelsbrunner, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls I: Inclusion–Exclusion.”10.1016/j.comgeo.2017.06.014__Computational Geometry: Theory and Applications, vol. 68, Elsevier, 2018, pp. 119–33, doi:10.1016/j.comgeo.2017.06.014.
LibreCat: https://research-explorer.ista.ac.at/record/530
DOI: 10.1016/j.comgeo.2017.06.014
WoS: 000415778300010

Redchenko, Elena, et al. “Nanoscopy of Pairs of Atoms by Fluorescence in a Magnetic Field.”10.1103/PhysRevA.97.043812__10.1103/PhysRevA.97.043812__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 97, no. 4, 043812, American Physical Society, 2018, doi:10.1103/PhysRevA.97.043812.
LibreCat: https://research-explorer.ista.ac.at/record/307
DOI: 10.1103/PhysRevA.97.043812
WoS: 000429454000015
arXiv: 1712.10127

Zapata, Luis, et al. “Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome.”10.1186/s13059-018-1434-0__Genome Biology, vol. 19, 67, BioMed Central, 2018, doi:10.1186/s13059-018-1434-0.
LibreCat: https://research-explorer.ista.ac.at/record/279
DOI: 10.1186/s13059-018-1434-0
WoS: 000433986200001

Truckenbrodt, Sven M., et al. “Newly Produced Synaptic Vesicle Proteins Are Preferentially Used in Synaptic Transmission.”10.15252/embj.201798044__The EMBO Journal, vol. 37, no. 15, e98044, Wiley, 2018, doi:10.15252/embj.201798044.
LibreCat: https://research-explorer.ista.ac.at/record/145
DOI: 10.15252/embj.201798044
WoS: 000440416900005
PMID: 29950309

Fan, Ligang, et al. “NHX Antiporters Regulate the PH of Endoplasmic Reticulum and Auxin-Mediated Development.”10.1111/pce.13153__Plant, Cell and Environment, vol. 41, Wiley-Blackwell, 2018, pp. 850–64, doi:10.1111/pce.13153.
LibreCat: https://research-explorer.ista.ac.at/record/462
DOI: 10.1111/pce.13153
WoS: 000426870500012
PMID: 29360148

Altmeyer, Sebastian. “Non-Linear Dynamics and Alternating ‘Flip’ Solutions in Ferrofluidic Taylor-Couette Flow.”10.1016/j.jmmm.2017.12.073__Journal of Magnetism and Magnetic Materials, vol. 452, Elsevier, 2018, pp. 427–41, doi:10.1016/j.jmmm.2017.12.073.
LibreCat: https://research-explorer.ista.ac.at/record/519
DOI: 10.1016/j.jmmm.2017.12.073
WoS: 000425547700061

Huang, Mingzhang, et al. New Approaches for Almost-Sure Termination of Probabilistic Programs. Edited by Sukyoung Ryu, vol. 11275, Springer, 2018, pp. 181–201, doi:10.1007/978-3-030-02768-1_11.
LibreCat: https://research-explorer.ista.ac.at/record/5679
DOI: 10.1007/978-3-030-02768-1_11
WoS: 000916310900011
arXiv: 1806.06683

Sacco, Roberto, et al. “Neural Stem Cells in Neuropsychiatric Disorders.”10.1016/j.conb.2017.12.005__Current Opinion in Neurobiology, vol. 48, no. 2, Elsevier, 2018, pp. 131–38, doi:10.1016/j.conb.2017.12.005.
LibreCat: https://research-explorer.ista.ac.at/record/546
DOI: 10.1016/j.conb.2017.12.005
WoS: 000427101600018

Zapata, Luis, et al. Additional File 2: Of Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome. Springer Nature, 2018, doi:10.6084/m9.figshare.6401414.v1.
LibreCat: https://research-explorer.ista.ac.at/record/9812
DOI: 10.6084/m9.figshare.6401414.v1

Zapata, Luis, et al. Additional File 1: Of Negative Selection in Tumor Genome Evolution Acts on Essential Cellular Functions and the Immunopeptidome. Springer Nature, 2018, doi:10.6084/m9.figshare.6401390.v1.
LibreCat: https://research-explorer.ista.ac.at/record/9811
DOI: 10.6084/m9.figshare.6401390.v1

Higareda Almaraz, Juan, et al. “Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.”10.1186/s12864-018-5173-0__BMC Genomics, vol. 19, no. 1, BioMed Central, 2018, doi:10.1186/s12864-018-5173-0.
LibreCat: https://research-explorer.ista.ac.at/record/20
DOI: 10.1186/s12864-018-5173-0
WoS: 000450976700002

Dziembowski, Stefan, et al. “Non-Malleable Codes.”10.1145/3178432__Journal of the ACM, vol. 65, no. 4, 20, ACM, 2018, doi:10.1145/3178432.
LibreCat: https://research-explorer.ista.ac.at/record/107
DOI: 10.1145/3178432
WoS: 000442938200004

Carvalho, Lara, et al. “Occluding Junctions as Novel Regulators of Tissue Mechanics during Wound Repair.”10.1083/jcb.201804048__Journal of Cell Biology, vol. 217, no. 12, Rockefeller University Press, 2018, pp. 4267–83, doi:10.1083/jcb.201804048.
LibreCat: https://research-explorer.ista.ac.at/record/5676
DOI: 10.1083/jcb.201804048
WoS: 000451960800018
PMID: 30228162 

Higareda Almaraz, Juan, et al. Additional File 1: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes. Springer Nature, 2018, doi:10.6084/m9.figshare.7295339.v1.
LibreCat: https://research-explorer.ista.ac.at/record/9807
DOI: 10.6084/m9.figshare.7295339.v1

Higareda Almaraz, Juan, et al. Additional File 3: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes. Springer Nature, 2018, doi:10.6084/m9.figshare.7295369.v1.
LibreCat: https://research-explorer.ista.ac.at/record/9808
DOI: 10.6084/m9.figshare.7295369.v1

Alwen, Joel F., et al. “On the Memory Hardness of Data Independent Password Hashing Functions.”10.1145/3196494.3196534__Proceedings of the 2018 on Asia Conference on Computer and Communication Security, ACM, 2018, pp. 51–65, doi:10.1145/3196494.3196534.
LibreCat: https://research-explorer.ista.ac.at/record/193
DOI: 10.1145/3196494.3196534
WoS: 000516620100005

Micciancio, Daniele, and Michael Walter. On the Bit Security of Cryptographic Primitives. Vol. 10820, Springer, 2018, pp. 3–28, doi:10.1007/978-3-319-78381-9_1.
LibreCat: https://research-explorer.ista.ac.at/record/300
DOI: 10.1007/978-3-319-78381-9_1
WoS: 000517097500001

Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the FCC Lattice for Soft Sphere Packing.”10.1137/16M1097201__SIAM J Discrete Math, vol. 32, no. 1, Society for Industrial and Applied Mathematics , 2018, pp. 750–82, doi:10.1137/16M1097201.
LibreCat: https://research-explorer.ista.ac.at/record/312
DOI: 10.1137/16M1097201
WoS: 000428958900038

Akopyan, Arseniy. “On the Number of Non-Hexagons in a Planar Tiling.”10.1016/j.crma.2018.03.005__Comptes Rendus Mathematique, vol. 356, no. 4, Elsevier, 2018, pp. 412–14, doi:10.1016/j.crma.2018.03.005.
LibreCat: https://research-explorer.ista.ac.at/record/409
DOI: 10.1016/j.crma.2018.03.005
WoS: 000430402700009
arXiv: 1805.01652

Hilbe, Christian, et al. “Partners and Rivals in Direct Reciprocity.”10.1038/s41562-018-0320-9__Nature Human Behaviour, vol. 2, Nature Publishing Group, 2018, pp. 469–477, doi:10.1038/s41562-018-0320-9.
LibreCat: https://research-explorer.ista.ac.at/record/419
DOI: 10.1038/s41562-018-0320-9
WoS: 000446612000016

Bakhirkin, Alexey, et al. Online Timed Pattern Matching Using Automata. Vol. 11022, Springer, 2018, pp. 215–32, doi:10.1007/978-3-030-00151-3_13.
LibreCat: https://research-explorer.ista.ac.at/record/78
DOI: 10.1007/978-3-030-00151-3_13
WoS: 000884993200013

Brauns, Matthias, et al. “Palladium Gates for Reproducible Quantum Dots in Silicon.”10.1038/s41598-018-24004-y__Scientific Reports, vol. 8, no. 1, 5690, Nature Publishing Group, 2018, doi:10.1038/s41598-018-24004-y.
LibreCat: https://research-explorer.ista.ac.at/record/317
DOI: 10.1038/s41598-018-24004-y
WoS: 000429404300013

Liutkeviciute, Zita, et al. “Oxytocin-like Signaling in Ants Influences Metabolic Gene Expression and Locomotor Activity.”10.1096/fj.201800443__The FASEB Journal, vol. 32, no. 12, FASEB, 2018, pp. 6808–21, doi:10.1096/fj.201800443.
LibreCat: https://research-explorer.ista.ac.at/record/194
DOI: 10.1096/fj.201800443
WoS: 000449359700035
PMID: 29939785

Fehrentz, Timm, et al. “Optical Control of L-Type C+ Channels Using a Diltiazem Photoswitch.”10.1038/s41589-018-0090-8__Nature Chemical Biology, vol. 14, no. 8, Nature Publishing Group, 2018, pp. 764–67, doi:10.1038/s41589-018-0090-8.
LibreCat: https://research-explorer.ista.ac.at/record/159
DOI: 10.1038/s41589-018-0090-8
WoS: 000438970200010

Arming, Sebastian, et al. Parameter-Independent Strategies for PMDPs via POMDPs. Vol. 11024, Springer, 2018, pp. 53–70, doi:10.1007/978-3-319-99154-2_4.
LibreCat: https://research-explorer.ista.ac.at/record/79
DOI: 10.1007/978-3-319-99154-2_4
WoS: 000548912200004
arXiv: 1806.05126

Deuchert, Andreas, et al. “Persistence of Translational Symmetry in the BCS Model with Radial Pair Interaction.”10.1007/s00023-018-0665-7__Annales Henri Poincare, vol. 19, no. 5, Springer, 2018, pp. 1507–27, doi:10.1007/s00023-018-0665-7.
LibreCat: https://research-explorer.ista.ac.at/record/400
DOI: 10.1007/s00023-018-0665-7
WoS: 000429799900008

Bod’Ová, Katarína, et al. “Probabilistic Models of Individual and Collective Animal Behavior.”10.1371/journal.pone.0193049__PLoS One, vol. 13, no. 3, Public Library of Science, 2018, doi:10.1371/journal.pone.0193049.
LibreCat: https://research-explorer.ista.ac.at/record/406
DOI: 10.1371/journal.pone.0193049
WoS: 000426896800032

Pleska, Maros, et al. “Phage-Host Population Dynamics Promotes Prophage Acquisition in Bacteria with Innate Immunity.”10.1038/s41559-017-0424-z__Nature Ecology and Evolution, vol. 2, no. 2, Springer Nature, 2018, pp. 359–66, doi:10.1038/s41559-017-0424-z.
LibreCat: https://research-explorer.ista.ac.at/record/457
DOI: 10.1038/s41559-017-0424-z
WoS: 000426516400027

Pull, Christopher, et al. “Protection against the Lethal Side Effects of Social Immunity in Ants.”10.1016/j.cub.2018.08.063__Current Biology, vol. 28, no. 19, Cell Press, 2018, pp. 39–40, doi:10.1016/j.cub.2018.08.063.
LibreCat: https://research-explorer.ista.ac.at/record/55
DOI: 10.1016/j.cub.2018.08.063
WoS: 000446693400008

Erdös, László, et al. “Power Law Decay for Systems of Randomly Coupled Differential Equations.”10.1137/17M1143125__SIAM Journal on Mathematical Analysis, vol. 50, no. 3, Society for Industrial and Applied Mathematics , 2018, pp. 3271–90, doi:10.1137/17M1143125.
LibreCat: https://research-explorer.ista.ac.at/record/181
DOI: 10.1137/17M1143125
WoS: 000437018500032
arXiv: 1708.01546