Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions
M. Forets, D. Freire, C. Schilling, in:, 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, IEEE, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8750
DOI: 10.1109/MEMOCODE51338.2020.9314994
WoS: 000661920400013
arXiv: 2006.12325

Modeling of chemical reaction systems with detailed balance using gradient structures
J. Maas, A. Mielke, Journal of Statistical Physics 181 (2020) 2257–2303.
LibreCat: https://research-explorer.ista.ac.at/record/8758
DOI: 10.1007/s10955-020-02663-4
WoS: 000587107200002
arXiv: 2004.02831

Surpassing the resistance quantum with a geometric superinductor
M. Peruzzo, A. Trioni, F. Hassani, M. Zemlicka, J.M. Fink, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/13070
DOI: 10.5281/ZENODO.4052882

Vascular surveillance by haptotactic blood platelets in inflammation and infection
L. Nicolai, K. Schiefelbein, S. Lipsky, A. Leunig, M. Hoffknecht, K. Pekayvaz, B. Raude, C. Marx, A. Ehrlich, J. Pircher, Z. Zhang, I. Saleh, A.-K. Marel, A. Löf, T. Petzold, M. Lorenz, K. Stark, R. Pick, G. Rosenberger, L. Weckbach, B. Uhl, S. Xia, C.A. Reichel, B. Walzog, C. Schulz, V. Zheden, M. Bender, R. Li, S. Massberg, F.R. Gärtner, Nature Communications 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8787
DOI: 10.1038/s41467-020-19515-0
WoS: 000594648000014
PMID: 33188196

Prioritised learning in snowdrift-type games
M. Kleshnina, S. Streipert, J. Filar, K. Chatterjee, Mathematics 8 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8789
DOI: 10.3390/math8111945
WoS: 000593962100001

Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8287
arXiv: 1905.02458

Precedence-aware automated competitive analysis of real-time scheduling
A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 3981–3992.
LibreCat: https://research-explorer.ista.ac.at/record/8788
DOI: 10.1109/TCAD.2020.3012803
WoS: 000587712700069

Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
LibreCat: https://research-explorer.ista.ac.at/record/8790
DOI: 10.1109/TCAD.2020.3012859
WoS: 000587712700072
arXiv: 1905.02458

A functional kinase is necessary for cyclin-dependent kinase  (CDK) to maintain fertility at high ambient temperature in Arabidopsis
C. Nibau, D. Dadarou, N. Kargios, A. Mallioura, N. Fernandez-Fuentes, N. Cavallari, J.H. Doonan, Frontiers in Plant Science 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8924
DOI: 10.3389/fpls.2020.586870
WoS: 000591637000001

Ligand-mode directed selectivity in Cu-Ag core-shell based gas diffusion electrodes for CO2 electroreduction
E. Irtem, D. Arenas Esteban, M. Duarte, D. Choukroun, S. Lee, M. Ibáñez, S. Bals, T. Breugelmans, ACS Catalysis 10 (2020) 13468–13478.
LibreCat: https://research-explorer.ista.ac.at/record/8926
DOI: 10.1021/acscatal.0c03210
WoS: 000592978900031

Zeeman-driven superconductor-insulator transition in strongly disordered MoC films: Scanning tunneling microscopy and transport studies in a transverse magnetic field
M. Zemlicka, M. Kopdík, P. Szabó, T. Samuely, J. Kadmardík, P. Neilinger, M. Grajcar, P. Samuely, Physical Review B 102 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8944
DOI: 10.1103/PhysRevB.102.180508
WoS: 000591509900003
arXiv: 2011.04329

Network physiology of cortico–muscular interactions
R. Rizzo, X. Zhang, J.W.J.L. Wang, F. Lombardi, P.C. Ivanov, Frontiers in Physiology 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8955
DOI: 10.3389/fphys.2020.558070
WoS: 000596849400001
PMID: 33324233

Clonal analysis of gliogenesis in the cerebral cortex reveals stochastic expansion of glia and cell autonomous responses to Egfr dosage
X. Zhang, C.V. Mennicke, G. Xiao, R.J. Beattie, M. Haider, S. Hippenmeyer, H.T. Ghashghaei, Cells 9 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8949
DOI: 10.3390/cells9122662
WoS: 000601787300001

Cryo-electron tomography structure of Ar/3 complex in cells reveals new insights into the branch junction
F. Fäßler, G.A. Dimchev, V.-V. Hodirnau, W. Wan, F.K. Schur, Nature Communications 11 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8971
DOI: 10.1038/s41467-020-20286-x
WoS: 000603078000003

Delayed authentication: Preventing replay and relay attacks in private contact tracing
K.Z. Pietrzak, in:, Progress in Cryptology, Springer Nature, 2020, pp. 3–15.
LibreCat: https://research-explorer.ista.ac.at/record/8987
DOI: 10.1007/978-3-030-65277-7_1
WoS: 000927592800001

Apical relaxation during mitotic rounding promotes tension-oriented cell division
B.G. Godard, R. Dumollard, E. Munro, J. Chenevert, C. Hebras, A. Mcdougall, C.-P.J. Heisenberg, Developmental Cell 55 (2020) 695–706.
LibreCat: https://research-explorer.ista.ac.at/record/8957
DOI: 10.1016/j.devcel.2020.10.016
WoS: 000600665700008
PMID: 33207225

Nonequilibrium models of optimal enhancer function
R. Grah, B. Zoller, G. Tkadik, PNAS 117 (2020) 31614–31622.
LibreCat: https://research-explorer.ista.ac.at/record/9000
DOI: 10.1073/pnas.2006731117
WoS: 000600608300015
PMID: 33268497

Microwave quantum illumination using a digital receiver
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, Science Advances 6 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7910
DOI: 10.1126/sciadv.abb0451
WoS: 000531171100045
arXiv: 1908.03058

Microwave quantum illumination with a digital phase-conjugated receiver
S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, in:, IEEE National Radar Conference - Proceedings, IEEE, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/9001
DOI: 10.1109/RadarConf2043947.2020.9266397
WoS: 000612224900089
arXiv: 1908.03058

Free rational points on smooth hypersurfaces
T.D. Browning, W. Sawin, Commentarii Mathematici Helvetici 95 (2020) 635–659.
LibreCat: https://research-explorer.ista.ac.at/record/9007
DOI: 10.4171/CMH/499
WoS: 000596833300001
arXiv: 1906.08463