Graphical model parameter learning by inverse linear programming
V. Trajkovska, P. Swoboda, F. Åström, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 323–334.
LibreCat: https://research-explorer.ista.ac.at/record/641
DOI: 10.1007/978-3-319-58771-4_26

Synchronizing the asynchronous
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6426
DOI: 10.15479/AT:IST-2018-853-v2-2

Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, C. Jiang, Chinese Journal of Physiology 60 (2017) 207–214.
LibreCat: https://research-explorer.ista.ac.at/record/643
DOI: 10.4077/CJP.2017.BAF469
PMID: 28847140

Localization errors in solving stochastic partial differential equations in the whole space
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
LibreCat: https://research-explorer.ista.ac.at/record/642
DOI: 10.1090/mcom/3201

Value iteration for long run average reward in markov decision processes
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kundak (Eds.), Springer, 2017, pp. 201–221.
LibreCat: https://research-explorer.ista.ac.at/record/645
DOI: 10.1007/978-3-319-63387-9_10

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.
LibreCat: https://research-explorer.ista.ac.at/record/644
DOI: 10.1137/16M1091836

A novel convex relaxation for non binary discrete tomography
J. Kuske, P. Swoboda, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 235–246.
LibreCat: https://research-explorer.ista.ac.at/record/646
DOI: 10.1007/978-3-319-58771-4_19

On the complexity of breaking pseudoentropy
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 600–613.
LibreCat: https://research-explorer.ista.ac.at/record/648
DOI: 10.1007/978-3-319-55911-7_43

Entropic Ricci curvature for discrete spaces
J. Maas, in:, L. Najman, P. Romon (Eds.), Modern Approaches to Discrete Curvature, Springer, 2017, pp. 159–174.
LibreCat: https://research-explorer.ista.ac.at/record/649
DOI: 10.1007/978-3-319-58002-9_5

A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 586–599.
LibreCat: https://research-explorer.ista.ac.at/record/650
DOI: 10.1007/978-3-319-55911-7_42

Improved set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6519
DOI: 10.4230/LIPICS.CSL.2017.18

Embedding graphs into embedded graphs
R. Fulek, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6517
DOI: 10.4230/LIPICS.ISAAC.2017.34

Dynamical self consistency leads to behavioral development and emergent social interactions in robots
R. Der, G.S. Martius, in:, IEEE, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/652
DOI: 10.1109/DEVLRN.2016.7846789

Fluid dynamics: Water flows out of touch
B. Hof, Nature 541 (2017) 161–162.
LibreCat: https://research-explorer.ista.ac.at/record/651
DOI: 10.1038/541161a

Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
A. Makohon Moore, M. Zhang, J. Reiter, I. Boei, B. Allen, D. Kundu, K. Chatterjee, F. Wong, Y. Jiao, Z. Kohutek, J. Hong, M. Attiyeh, B. Javier, L. Wood, R. Hruban, M. Nowak, N. Papadopoulos, K. Kinzler, B. Vogelstein, C. Iacobuzio Donahue, Nature Genetics 49 (2017) 358–366.
LibreCat: https://research-explorer.ista.ac.at/record/653
DOI: 10.1038/ng.3764
PMID: 28092682

Practical graphs for optimal side-channel resistant memory-hard functions
J.F. Alwen, J. Blocki, B. Harsha, in:, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM Press, 2017, pp. 1001–1017.
LibreCat: https://research-explorer.ista.ac.at/record/6527
DOI: 10.1145/3133956.3134031

Creating to understand – developmental biology meets engineering in Paris
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
LibreCat: https://research-explorer.ista.ac.at/record/654
DOI: 10.1242/dev.144915

On the complexity of estimating Rènyi divergences
M. Skórski, in:, 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6526
DOI: 10.1109/isit.2017.8006529
arXiv: 1702.01666

Bacterial flagella grow through an injection diffusion mechanism
T. Renault, A. Abraham, T. Bergmiller, G. Paradis, S. Rainville, E. Charpentier, C.C. Guet, Y. Tu, K. Namba, J. Keener, T. Minamino, M. Erhardt, ELife 6 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/655
DOI: 10.7554/eLife.23136

Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo
B. Möller, C. Ten Hove, D. Xiang, N. Williams, L. López, S. Yoshida, M. Smit, R. Datla, D. Weijers, PNAS 114 (2017) 33–39.
LibreCat: https://research-explorer.ista.ac.at/record/657
DOI: 10.1073/pnas.1616493114
PMID: 28265057

Modeling Alzheimer's disease in mice with human neurons
G. Novarino, Science Translational Medicine 9 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/656
DOI: 10.1126/scitranslmed.aam9867

Self organized behavior generation for musculoskeletal robots
R. Der, G.S. Martius, Frontiers in Neurorobotics 11 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/658
DOI: 10.3389/fnbot.2017.00008

FMNL formins boost lamellipodial force generation
F. Kage, M. Winterhoff, V. Dimchev, J. Müller, T. Thalheim, A. Freise, S. Brühmann, J. Kollasser, J. Block, G.A. Dimchev, M. Geyer, H. Schnittler, C. Brakebusch, T. Stradal, M. Carlier, M.K. Sixt, J. Käs, J. Faix, K. Rottner, Nature Communications 8 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/659
DOI: 10.1038/ncomms14832

Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation
J. Rickman, C.F. Düllberg, N. Cade, L. Griffin, T. Surrey, PNAS 114 (2017) 3427–3432.
LibreCat: https://research-explorer.ista.ac.at/record/660
DOI: 10.1073/pnas.1620274114
PMID: 28280102

Hydrodynamic turbulence in quasi Keplerian rotating flows
L. Shi, B. Hof, M. Rampp, M. Avila, Physics of Fluids 29 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/662
DOI: 10.1063/1.4981525

Safety verification of nonlinear hybrid systems based on invariant clusters
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, T.A. Henzinger, in:, Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–172.
LibreCat: https://research-explorer.ista.ac.at/record/663
DOI: 10.1145/3049797.3049814

The antisocial side of antibiotics
G. Novarino, Science Translational Medicine 9 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/667
DOI: 10.1126/scitranslmed.aan2786

Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cd and Myo10 deletion
M. Horsthemke, A. Bachg, K. Groll, S. Moyzio, B. Müther, S. Hemkemeyer, R. Wedlich Söldner, M.K. Sixt, S. Tacke, M. Bähler, P. Hanley, Journal of Biological Chemistry 292 (2017) 7258–7273.
LibreCat: https://research-explorer.ista.ac.at/record/668
DOI: 10.1074/jbc.M116.766923

EXO70 is a key regulatory factor for optimal tip growth of pollen
L. Synek, N. Vukasinovi, I. Kulich, M. Hála, K. Aldorfová, M. Fendrych, V. dárský, Plant Physiology 174 (2017) 223–240.
LibreCat: https://research-explorer.ista.ac.at/record/669
DOI: 10.1104/pp.16.01282
PMID: 28356503

Memory-n strategies of direct reciprocity
C. Hilbe, V. Martinez, K. Chatterjee, M. Nowak, PNAS 114 (2017) 4715–4720.
LibreCat: https://research-explorer.ista.ac.at/record/671
DOI: 10.1073/pnas.1621239114
PMID: 28420786

Interactive paper tearing
C. Schreck, D. Rohmer, S. Hahmann, Computer Graphics Forum 36 (2017) 95–106.
LibreCat: https://research-explorer.ista.ac.at/record/670
DOI: 10.1111/cgf.13110

Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia
K. Vaahtomeri, M. Brown, R. Hauschild, I. de Vries, A.F. Leithner, M. Mehling, W. Kaufmann, M.K. Sixt, Cell Reports 19 (2017) 902–909.
LibreCat: https://research-explorer.ista.ac.at/record/672
DOI: 10.1016/j.celrep.2017.04.027

Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6
J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.
LibreCat: https://research-explorer.ista.ac.at/record/674
DOI: 10.1016/j.cub.2017.04.004

The INO80 complex removes A.Z to promote presynaptic filament formation during homologous recombination
C. Lademann, J. Renkawitz, B. Pfander, S. Jentsch, Cell Reports 19 (2017) 1294–1303.
LibreCat: https://research-explorer.ista.ac.at/record/677
DOI: 10.1016/j.celrep.2017.04.051

Multiscale force sensing in development
N. Petridou, Z.P. Spiro, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 581–588.
LibreCat: https://research-explorer.ista.ac.at/record/678
DOI: 10.1038/ncb3524

Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315.
LibreCat: https://research-explorer.ista.ac.at/record/681
DOI: 10.1016/j.ic.2016.10.012
arXiv: 1311.3238

Extrapolation and learning equations
G.S. Martius, C. Lampert, in:, 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, International Conference on Learning Representations, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6841
arXiv: 1610.02995

Obligation blackwell games and p-automata
K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452.
LibreCat: https://research-explorer.ista.ac.at/record/684
DOI: 10.1017/jsl.2016.71

The physics of development 100 years after D'Arcy Thompson's con growth and formd
J. Briscoe, A. Kicheva, Mechanisms of Development 145 (2017) 26–31.
LibreCat: https://research-explorer.ista.ac.at/record/685
DOI: 10.1016/j.mod.2017.03.005
PMID: 28366718

Topological data analysis with Bregman divergences
H. Edelsbrunner, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, pp. 391–3916.
LibreCat: https://research-explorer.ista.ac.at/record/688
DOI: 10.4230/LIPIcs.SoCG.2017.39

The critical CoHA of a quiver with potential
B. Davison, Quarterly Journal of Mathematics 68 (2017) 635–703.
LibreCat: https://research-explorer.ista.ac.at/record/687
DOI: 10.1093/qmath/haw053

D'Arcy Thompson's ‘on growth and form’: From soap bubbles to tissue self organization
C.-P.J. Heisenberg, Mechanisms of Development 145 (2017) 32–37.
LibreCat: https://research-explorer.ista.ac.at/record/686
DOI: 10.1016/j.mod.2017.03.006

Rett syndrome modeling goes simian
G. Novarino, Science Translational Medicine 9 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/689
DOI: 10.1126/scitranslmed.aan8196

Numbers of presynaptic C+ channel clusters match those of functionally defined vesicular docking sites in single central synapses
T. Miki, W. Kaufmann, G. Malagon, L. Gomez, K. Tabuchi, M. Watanabe, R. Shigemoto, A. Marty, PNAS 114 (2017) 46–55.
LibreCat: https://research-explorer.ista.ac.at/record/693
DOI: 10.1073/pnas.1704470114
PMID: 28607047

A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity
A. Veß, U. Blache, L. Leitner, A. Kurz, A. Ehrenpfordt, M.K. Sixt, G. Posern, Journal of Cell Science 130 (2017) 2172–2184.
LibreCat: https://research-explorer.ista.ac.at/record/694
DOI: 10.1242/jcs.200899
PMID: 28515231

Non uniform attacks against pseudoentropy
K.Z. Pietrzak, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/697
DOI: 10.4230/LIPIcs.ICALP.2017.39

Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression
Y. Wang, M. Nagarajan, C. Uhler, G. Shivashankar, Molecular Biology of the Cell 28 (2017) 1997–2009.
LibreCat: https://research-explorer.ista.ac.at/record/698
DOI: 10.1091/mbc.E16-12-0825

The red queen and king in finite populations
C. Veller, L. Hayward, M. Nowak, C. Hilbe, PNAS 114 (2017) 96–05.
LibreCat: https://research-explorer.ista.ac.at/record/699
DOI: 10.1073/pnas.1702020114
PMID: 28630336

Optomechanical proposal for monitoring microtubule mechanical vibrations
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon,  Physical Review E Statistical Nonlinear and Soft Matter Physics  96 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/700
DOI: 10.1103/PhysRevE.96.012404

On the nonexistence of k reptile simplices in d^3 and d^4
J. Kyndl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.
LibreCat: https://research-explorer.ista.ac.at/record/701

The riddle of CH haploinsufficiency in autism spectrum disorder
G. Novarino, Science Translational Medicine 9 (2017) eaao0972.
LibreCat: https://research-explorer.ista.ac.at/record/702
DOI: 10.1126/scitranslmed.aao0972

Roles of afadin in functional differentiations of hippocampal mossy fiber synapse
X. Geng, T. Maruo, K. Mandai, I. Supriyanto, M. Miyata, S. Sakakibara, A. Mizoguchi, Y. Takai, M. Mori, Genes to Cells 22 (2017) 715–722.
LibreCat: https://research-explorer.ista.ac.at/record/706
DOI: 10.1111/gtc.12508

A tight estimate for the waist of the ball 
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.
LibreCat: https://research-explorer.ista.ac.at/record/707
DOI: 10.1112/blms.12062

Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/708
DOI: 10.1371/journal.pbio.2001993

Gene expression changes of thermo sensitive transient receptor potential channels in obese mice
W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng, Cell Biology International 41 (2017) 908–913.
LibreCat: https://research-explorer.ista.ac.at/record/709
DOI: 10.1002/cbin.10783

Renyi entropy estimation revisited
M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/710
DOI: 10.4230/LIPIcs.APPROX-RANDOM.2017.20

Mapping the mouse Allelome reveals tissue specific regulation of allelic expression
D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/713
DOI: 10.7554/eLife.25125

Bidirectional nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/711
DOI: 10.4230/LIPIcs.CONCUR.2017.5

Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
LibreCat: https://research-explorer.ista.ac.at/record/712
DOI: 10.1016/j.na.2017.03.001

HIV Tat excites  receptor-like expressing neurons from rat nucleus accumbens
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Breiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
LibreCat: https://research-explorer.ista.ac.at/record/714
DOI: 10.1016/j.drugalcdep.2017.04.015
PMID: 28623807

More excitation for Rett syndrome
G. Novarino, Science Translational Medicine 9 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/715
DOI: 10.1126/scitranslmed.aao4218

The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
LibreCat: https://research-explorer.ista.ac.at/record/716
DOI: 10.1145/3121408
arXiv: 1201.2829

Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
LibreCat: https://research-explorer.ista.ac.at/record/717
DOI: 10.1016/j.jcss.2017.04.005

Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
LibreCat: https://research-explorer.ista.ac.at/record/719
DOI: 10.1007/s00236-017-0299-0

Probabilistic models for neural populations that naturally capture global coupling and criticality
J. Humplik, G. Tkadik, PLoS Computational Biology 13 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/720
DOI: 10.1371/journal.pcbi.1005763

Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
LibreCat: https://research-explorer.ista.ac.at/record/721
DOI: 10.1002/cpa.21639

Shaping 3D root system architecture
E. Morris, M. Griffiths, A. Golebiowska, S. Mairhofer, J. Burr Hersey, T. Goh, D. von Wangenheim, B. Atkinson, C. Sturrock, J. Lynch, K. Vissenberg, K. Ritz, D. Wells, S. Mooney, M. Bennett, Current Biology 27 (2017) 9–0.
LibreCat: https://research-explorer.ista.ac.at/record/722
DOI: 10.1016/j.cub.2017.06.043
PMID: 28898665

Discrete modes of social information processing predict individual behavior of fish in a group
R. Harpaz, G. Tkadik, E. Schneidman, PNAS 114 (2017) 10149–10154.
LibreCat: https://research-explorer.ista.ac.at/record/725
DOI: 10.1073/pnas.1703817114
PMID: 28874581

Noninteracting central site model localization and logarithmic entanglement growth
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/724
DOI: 10.1103/PhysRevB.96.104203

The science of love in ASD and ADHD
G. Novarino, Science Translational Medicine 9 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/731
DOI: 10.1126/scitranslmed.aap8168

A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation
A. Smole, D. Lainsdek, U. Bezeljak, S. Horvat, R. Jerala, Molecular Therapy 25 (2017) 102–119.
LibreCat: https://research-explorer.ista.ac.at/record/7360
DOI: 10.1016/j.ymthe.2016.10.005
PMID: 28129106

Optimal geospatial volunteer allocation needs realistic distances
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
LibreCat: https://research-explorer.ista.ac.at/record/750
DOI: 10.1109/BigData.2017.8258375

Unified Hanani Tutte theorem
R. Fulek, J. Kyndl, D. Pálvölgyi, Electronic Journal of Combinatorics 24 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/795
DOI: 10.37236/6663

Photonenblockade aufgelöst
J.M. Fink, Physik in Unserer Zeit 48 (2017) 111–113.
LibreCat: https://research-explorer.ista.ac.at/record/797
DOI: 10.1002/piuz.201770305

Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung
M. Andrae, M. Villányi, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare 70 (2017) 274–280.
LibreCat: https://research-explorer.ista.ac.at/record/807
DOI: 10.31263/voebm.v70i2.1898

Metadata for research data in practice
B. Petritsch, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare 70 (2017) 200–207.
LibreCat: https://research-explorer.ista.ac.at/record/825
DOI: 10.31263/voebm.v70i2.1678

Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors
B. Clifton, J. Whitfield, I. Sanchez-Romero, M. Herde, C. Henneberger, H.L. Janovjak, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 71–87.
LibreCat: https://research-explorer.ista.ac.at/record/957
DOI: 10.1007/978-1-4939-6940-1_5

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/963
DOI: 10.4230/LIPIcs.MFCS.2017.37

Data from: Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkadik, M. Berry, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9709
DOI: 10.5061/dryad.1f1rc

Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, PLoS Genetics 13 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/541
DOI: 10.1371/journal.pgen.1007122

Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9847
DOI: 10.6084/m9.figshare.5633917.v1

Mathematical model
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9845
DOI: 10.1371/journal.pgen.1007122.s017

Modelling and simulation details
M. Lukacisinova, S. Novak, T. Paixao, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9849
DOI: 10.1371/journal.pcbi.1005609.s001

Extensions of the model
M. Lukacisinova, S. Novak, T. Paixao, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9850
DOI: 10.1371/journal.pcbi.1005609.s002

Supplementary methods
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9846
DOI: 10.1371/journal.pgen.1007122.s016

Sensory noise predicts divisive reshaping of receptive fields
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/680
DOI: 10.1371/journal.pcbi.1005582

Heuristic prediction for multiple stresses
M. Lukacisinova, S. Novak, T. Paixao, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9851
DOI: 10.1371/journal.pcbi.1005609.s003

Resistance frequencies for different combination strategies
M. Lukacisinova, S. Novak, T. Paixao, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9852
DOI: 10.1371/journal.pcbi.1005609.s004

Supplementary appendix
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9855
DOI: 10.1371/journal.pcbi.1005582.s001

JFIX: Semantics-based repair of Java programs via symbolic  PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
LibreCat: https://research-explorer.ista.ac.at/record/941
DOI: 10.1145/3092703.3098225

Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.
LibreCat: https://research-explorer.ista.ac.at/record/958
DOI: 10.1007/978-1-4939-6940-1_6

Data from: Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9707
DOI: 10.5061/dryad.pk16b

Source data for figures and tables
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).
LibreCat: https://research-explorer.ista.ac.at/record/9844
DOI: 10.1371/journal.pgen.1007122.s018

Scientific Computing at IST Austria
A. Schlögl, J. Kiss, in:, AHP – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.
LibreCat: https://research-explorer.ista.ac.at/record/12905

Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
LibreCat: https://research-explorer.ista.ac.at/record/13160
DOI: 10.1007/978-3-662-54577-5_26
arXiv: 1701.05738

Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/950
DOI: 10.4230/LIPIcs.CONCUR.2017.21
arXiv: 1705.01433

A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/683
DOI: 10.4230/LIPIcs.SoCG.2017.49

Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/6291

Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).
LibreCat: https://research-explorer.ista.ac.at/record/561
DOI: 10.1098/rsbl.2017.0646
PMID: 29237814