Localizing faults in simulink/stateflow models with STL
E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206.
LibreCat: https://research-explorer.ista.ac.at/record/183
DOI: 10.1145/3178126.3178131
WoS: 000474781600022

Local inhomogeneous circular law
J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability  28 (2018) 148–203.
LibreCat: https://research-explorer.ista.ac.at/record/566
DOI: 10.1214/17-AAP1302
WoS: 000431721800005
arXiv: 1612.07776 

Long geodesics on convex surfaces
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
LibreCat: https://research-explorer.ista.ac.at/record/106
DOI: 10.1007/s00283-018-9795-5
WoS: 000444141200005
arXiv: 1702.05172

Numerical data used in figures
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/9810
DOI: 10.1371/journal.pbio.2005971.s008

Lymphatic exosomes promote dendritic cell migration along guidance cues
M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221.
LibreCat: https://research-explorer.ista.ac.at/record/275
DOI: 10.1083/jcb.201612051
WoS: 000438077800026
PMID: 29650776

Maternal auxin supply contributes to early embryo patterning in Arabidopsis
H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pbndík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553.
LibreCat: https://research-explorer.ista.ac.at/record/158
DOI: 10.1038/s41477-018-0204-z
WoS: 000443861300011
PMID: 30013211

Mammalian mitochondrial complex I structure and disease causing mutations
K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.
LibreCat: https://research-explorer.ista.ac.at/record/152
DOI: 10.1016/j.tcb.2018.06.006
WoS: 000445118200007

Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.
LibreCat: https://research-explorer.ista.ac.at/record/310
DOI: 10.1137/1.9781611975031.151
WoS: 000483921200152
arXiv: 1711.09148

Manipulating the flow of thermal noise in quantum devices
S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/436
DOI: 10.1103/PhysRevLett.120.060601
WoS: 000424382100004
arXiv: 1706.09051

Mechanistic description of spatial processes using integrative modelling of noise-corrupted imaging data
S. Hross, F.J. Theis, M.K. Sixt, J. Hasenauer, Journal of the Royal Society Interface 15 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5858
DOI: 10.1098/rsif.2018.0600
WoS: 000456783800011

Mixing layer instability and vorticity amplification in a creeping viscoelastic flow
A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/16
DOI: 10.1103/PhysRevFluids.3.103303
WoS: 000447469200001

Model of bacterial toxin-dependent pathogenesis explains infective dose
J. Rybicki, E. Kisdi, J. Anttila, PNAS 115 (2018) 10690–10695.
LibreCat: https://research-explorer.ista.ac.at/record/43
DOI: 10.1073/pnas.1721061115
WoS: 000447491300057

Metamolds: Computational design of silicone molds
T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, P. Cignoni, ACM Trans. Graph. 37 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/13
DOI: 10.1145/3197517.3201381
WoS: 000448185000097

Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS
W. Zhang, M. Herde, J. Mitchell, J. Whitfield, A. Wulff, V. Vongsouthi, I. Sanchez-Romero, P. Gulakova, D. Minge, B. Breithausen, S. Schoch, H.L. Janovjak, C. Jackson, C. Henneberger, Nature Chemical Biology 14 (2018) 861–869.
LibreCat: https://research-explorer.ista.ac.at/record/137
DOI: 10.1038/s41589-018-0108-2
WoS: 000442174500013
PMID: 30061718 

Micro-engineered cpillar forestsd to study cell migration in complex but controlled 3D environments
J. Renkawitz, A. Reversat, A.F. Leithner, J. Merrin, M.K. Sixt, in:, Methods in Cell Biology, Academic Press, 2018, pp. 79–91.
LibreCat: https://research-explorer.ista.ac.at/record/153
DOI: 10.1016/bs.mcb.2018.07.004
WoS: 000452412300006
PMID: 30165964

Mechanical force-driven adherents junction remodeling and epithelial dynamics
D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018) 3–19.
LibreCat: https://research-explorer.ista.ac.at/record/54
DOI: 10.1016/j.devcel.2018.09.014
WoS: 000446579900002

Nano-scale microfluidics to study 3D chemotaxis at the single cell level
C. Frick, P. Dettinger, J. Renkawitz, A. Jauch, C. Berger, M. Recher, T. Schroeder, M. Mehling, PLoS One 13 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/276
DOI: 10.1371/journal.pone.0198330
WoS: 000434384900031

Mutations in blind cavefish target the light regulated circadian clock gene period 2
R.M. Ceinos, E. Frigato, C. Pagano, N. Frohlich, P. Negrini, N. Cavallari, D. Vallone, S. Fuselli, C. Bertolucci, N.S. Foulkes, Scientific Reports 8 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/283
DOI: 10.1038/s41598-018-27080-2
WoS: 000434640800008

Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
LibreCat: https://research-explorer.ista.ac.at/record/81
DOI: 10.1007/978-3-030-00151-3_4
WoS: 000884993200004

Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
LibreCat: https://research-explorer.ista.ac.at/record/76
DOI: 10.1007/s00446-018-0342-6
WoS: 000475627800005