Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6887
DOI: 10.4230/LIPICS.CONCUR.2019.7

Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6888
DOI: 10.1109/icra.2019.8793840

Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6886
DOI: 10.4230/LIPICS.CONCUR.2019.20
arXiv: 1905.03588

Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6885
DOI: 10.4230/LIPICS.CONCUR.2019.27

Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6889
DOI: 10.4230/LIPICS.CONCUR.2019.6

Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
LibreCat: https://research-explorer.ista.ac.at/record/6931
DOI: 10.4230/LIPICS.DISC.2019.29
arXiv: 1908.02743

Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6985
DOI: 10.1109/ijcnn.2019.8851954
arXiv: 1809.03864

A new coding paradigm for the primitive relay channel
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7007
DOI: 10.3390/a12100218
arXiv: 1801.03153

Dirac masses and isometric rigidity
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
LibreCat: https://research-explorer.ista.ac.at/record/7035

Z_2-Genus of graphs and minimum rank of partial symmetric matrices
R. Fulek, J. Kyncl, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7401
DOI: 10.4230/LIPICS.SOCG.2019.39
arXiv: 1903.08637

Continuous-time models for system design and analysis
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikudionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
LibreCat: https://research-explorer.ista.ac.at/record/7453
DOI: 10.1007/978-3-319-91908-9_22

Penalization via global functionals of optimal-control problems for dissipative evolution
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
LibreCat: https://research-explorer.ista.ac.at/record/7550
arXiv: 1910.10050

Action at a distance in transcriptional regulation
W. Bialek, T. Gregor, G. Tkadik, ArXiv:1912.08579 (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/7552
arXiv: 1912.08579

ARCH-COM Category Report: Continuous and hybrid systems with nonlinear dynamics
F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.
LibreCat: https://research-explorer.ista.ac.at/record/7576
DOI: 10.29007/m75b

New edge asymptotics of skew Young diagrams via free boundaries
D. Betea, J. Bouttier, P. Nejjar, M. Vuletíc, in:, Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Formal Power Series and Algebraic Combinatorics, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/8175
arXiv: 1902.08750

ARCH-COM Category Report: Continuous and hybrid systems with linear continuous dynamics
M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, S. Schupp, in:, EPiC Series in Computing, EasyChair, 2019, pp. 14–40.
LibreCat: https://research-explorer.ista.ac.at/record/8570
DOI: 10.29007/bj1w

Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/6819
DOI: 10.1186/s13104-019-4534-3
PMID: 31395095

MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, (2019).
LibreCat: https://research-explorer.ista.ac.at/record/9784
DOI: 10.6084/m9.figshare.9411761.v1

Data from: Is the sky the limit? On the expansion threshold of a species' range
J. Polechova, (2019).
LibreCat: https://research-explorer.ista.ac.at/record/9839
DOI: 10.5061/dryad.5vv37

Bootstrapping consensus without trusted setup: fully asynchronous distributed key generation
E. Kokoris Kogias, A. Spiegelman, D. Malkhi, I. Abraham, Cryptology EPrint Archive (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8305

Is Debian suitable for running an HPC Cluster?
A. Schlögl, J. Kiss, S. Elefante, in:, AHP - Austrian HPC Meeting 2019 , Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz, 2019, p. 25.
LibreCat: https://research-explorer.ista.ac.at/record/12901

Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, in:, Proceedings of the 31st Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2019, pp. 164–170.
LibreCat: https://research-explorer.ista.ac.at/record/6989
arXiv: 1910.09917

Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6884
DOI: 10.4230/LIPICS.MFCS.2019.11
arXiv: 1905.03835

The reach, metric distortion, geodesic convexity and the variation of tangent spaces
J.-D. Boissonnat, A. Lieutier, M. Wintraecken, Journal of Applied and Computational Topology 3 (2019) 29–58.
LibreCat: https://research-explorer.ista.ac.at/record/6671
DOI: 10.1007/s41468-019-00029-8

A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
LibreCat: https://research-explorer.ista.ac.at/record/301
DOI: 10.1016/j.spa.2018.04.003
WoS: 000458945300012
arXiv: 1611.04177

Bose–Einstein condensation in a dilute, trapped gas at positive temperature
A. Deuchert, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 368 (2019) 723–776.
LibreCat: https://research-explorer.ista.ac.at/record/80
DOI: 10.1007/s00220-018-3239-0
WoS: 000467796800007

Evolving inversions
R. Faria, K. Johannesson, R.K. Butlin, A.M. Westram, Trends in Ecology and Evolution 34 (2019) 239–248.
LibreCat: https://research-explorer.ista.ac.at/record/5911
DOI: 10.1016/j.tree.2018.12.005
WoS: 000459899000013

Arithmetic and representation theory of wild character varieties
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society 21 (2019) 2995–3052.
LibreCat: https://research-explorer.ista.ac.at/record/439
DOI: 10.4171/JEMS/896
WoS: 000480413600002
arXiv: 1604.03382

CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
LibreCat: https://research-explorer.ista.ac.at/record/105
DOI: 10.1038/s41431-018-0231-2
WoS: 000454111500019
PMID: 30089829

Entropy solutions for stochastic porous media equations
K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266 (2019) 3732–3763.
LibreCat: https://research-explorer.ista.ac.at/record/65
DOI: 10.1016/j.jde.2018.09.012
WoS: 000456332500026
arXiv: 1803.06953

N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated
R. Mócsai, R. Figl, C. Troschl, R. Strasser, E. Svehla, M. Windwarder, A. Thader, F. Altmann, Scientific Reports 9 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/5907
DOI: 10.1038/s41598-018-36884-1
WoS: 000456392400012

Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SY contact site expansion in Arabidopsis
E. Lee, S. Vanneste, J. Pérez-Sancho, F. Benitez-Fuente, M. Strelau, A.P. Macho, M.A. Botella, J. Friml, A. Rosado, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 1420–1429.
LibreCat: https://research-explorer.ista.ac.at/record/5908
DOI: 10.1073/pnas.1818099116
WoS: 000456336100050
PMID: 30610176

Extending partial representations of circle graphs
S. Chaplick, R. Fulek, P. Klavík, Journal of Graph Theory 91 (2019) 365–394.
LibreCat: https://research-explorer.ista.ac.at/record/5790
DOI: 10.1002/jgt.22436
WoS: 000485392800004
arXiv: 1309.2399

Jointly convex quantum Jensen divergences
D. Virosztek, Linear Algebra and Its Applications 576 (2019) 67–78.
LibreCat: https://research-explorer.ista.ac.at/record/405
DOI: 10.1016/j.laa.2018.03.002
WoS: 000470955300005
arXiv: 1712.05324

Sieving rational points on varieties
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
LibreCat: https://research-explorer.ista.ac.at/record/175
DOI: 10.1090/tran/7514
WoS: 000464034200019
arXiv: 1705.01999

Singular SPDEs in domains with boundaries
M. Gerencser, M. Hairer, Probability Theory and Related Fields 173 (2019) 697–758.
LibreCat: https://research-explorer.ista.ac.at/record/319
DOI: 10.1007/s00440-018-0841-1
WoS: 000463613800001

Stability of the matrix Dyson equation and random matrices with correlations
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 173 (2019) 293–373.
LibreCat: https://research-explorer.ista.ac.at/record/429
DOI: 10.1007/s00440-018-0835-z
WoS: 000459396500007

A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries
B. Chatterjee, S. Peri, M. Sa, N. Singhal, in:, ACM International Conference Proceeding Series, ACM, 2019, pp. 168–177.
LibreCat: https://research-explorer.ista.ac.at/record/5947
DOI: 10.1145/3288599.3288617
WoS: 000484491600019
arXiv: 1809.00896

Thrackles: An improved upper bound
R. Fulek, J. Pach, Discrete Applied Mathematics 259 (2019) 266–231.
LibreCat: https://research-explorer.ista.ac.at/record/5857
DOI: 10.1016/j.dam.2018.12.025
WoS: 000466061100020
arXiv: 1708.08037

Thermodynamics of duplication thresholds in synthetic protocell systems
B. Corominas-Murtra, Life 9 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/5944
DOI: 10.3390/life9010009
WoS: 000464125500001

A fast and simple contact printing approach to generate 2D protein nanopatterns
M. Lindner, A. Tresztenyak, G. Fülöp, W. Jahr, A. Prinz, I. Prinz, J.G. Danzl, G.J. Schütz, E. Sevcsik, Frontiers in Chemistry 6 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/6029
DOI: 10.3389/fchem.2018.00655
WoS: 000456718000001

A solution theory for quasilinear singular SPDEs
M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics 72 (2019) 1983–2005.
LibreCat: https://research-explorer.ista.ac.at/record/6028
DOI: 10.1002/cpa.21816
WoS: 000475465000003

Optimal decoding of cellular identities in a genetic network
M.D. Petkova, G. Tkadik, W. Bialek, E.F. Wieschaus, T. Gregor, Cell 176 (2019) 844–855.e15.
LibreCat: https://research-explorer.ista.ac.at/record/5945
DOI: 10.1016/j.cell.2019.01.007
WoS: 000457969200015
PMID: 30712870

Experiments on a jet in a crossflow in the low-velocity-ratio regime
L. Klotz, K. Gumowski, J.E. Wesfreid, Journal of Fluid Mechanics 863 (2019) 386–406.
LibreCat: https://research-explorer.ista.ac.at/record/5943
DOI: 10.1017/jfm.2018.974
WoS: 000526029100016
arXiv: 1902.07931

Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
LibreCat: https://research-explorer.ista.ac.at/record/6042
DOI: 10.1007/978-3-030-17462-0_13
WoS: 000681166500013

JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
LibreCat: https://research-explorer.ista.ac.at/record/6035
DOI: 10.1145/3302504.3311804
WoS: 000516713900005
arXiv: 1901.10736

A practical guide to optimization in  expansion microscopy
S.M. Truckenbrodt, C.M. Sommer, S.O. Rizzoli, J.G. Danzl, Nature Protocols 14 (2019) 832–863.
LibreCat: https://research-explorer.ista.ac.at/record/6052
DOI: 10.1038/s41596-018-0117-3
WoS: 000459890700008
PMID: 30778205

Light-activated Frizzle reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration
D. Capek, M. Smutny, A.M. Tichy, M. Morri, H.L. Janovjak, C.-P.J. Heisenberg, ELife 8 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/6025
DOI: 10.7554/eLife.42093
WoS: 000458025300001

Genetic dissection of assortative mating behavior
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/6022
DOI: 10.1371/journal.pbio.2005902
WoS: 000460317100001

A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis
S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi, B. Möller, C.A. Ten Hove, P. Marhavý, R. Smith, J. Friml, D. Weijers, Nature Plants 5 (2019) 160–166.
LibreCat: https://research-explorer.ista.ac.at/record/6023
DOI: 10.1038/s41477-019-0363-6
WoS: 000460479600014