Algorithms for partially observable markov decision processes
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1397

Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1123

Symmetric spike timing-dependent plasticity at C–C synapses optimizes storage and recall in autoassociative networks
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1432
DOI: 10.1038/ncomms11552

Synaptic plasticity rules at C-C recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at C-C Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1396

Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1125

Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 10.15479/at:ista:1130

Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1093
DOI: 10.4230/LIPIcs.CONCUR.2016.20

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
LibreCat: https://research-explorer.ista.ac.at/record/1234
DOI: 10.1007/978-3-662-49674-9_7

Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
LibreCat: https://research-explorer.ista.ac.at/record/1230
DOI: 10.1007/978-3-662-49122-5_16

Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
LibreCat: https://research-explorer.ista.ac.at/record/1391
DOI: 10.1007/978-3-319-41540-6_13

Bacterial autoimmunity due to a restriction-modification system
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
LibreCat: https://research-explorer.ista.ac.at/record/1243
DOI: 10.1016/j.cub.2015.12.041

Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1071
DOI: 10.4230/LIPIcs.ESA.2016.28

Fast approximations for boundary element based brittle fracture simulation
D. Hahn, C. Wojtan, in:, ACM, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1362
DOI: 10.1145/2897824.2925902

Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
LibreCat: https://research-explorer.ista.ac.at/record/1229
DOI: 10.1007/978-3-319-39555-5_16

Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
LibreCat: https://research-explorer.ista.ac.at/record/1236
DOI: 10.1007/978-3-319-29485-8_24

Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
LibreCat: https://research-explorer.ista.ac.at/record/1235
DOI: 10.1007/978-3-319-39555-5_24

A phytochrome sensory domain permits receptor activation by red light
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
LibreCat: https://research-explorer.ista.ac.at/record/1441
DOI: 10.1002/anie.201601736

Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkadik, Nature Communications 7 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1358
DOI: 10.1038/ncomms12307

Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification
W. Dejonghe, S. Kuenen, E. Mylle, M.K. Vasileva, O. Keech, C. Viotti, J. Swerts, M. Fendrych, F. Ortiz Morea, K. Mishev, S. Delang, S. Scholl, X. Zarza, M. Heilmann, J. Kourelis, J. Kasprowicz, L. Nguyen, A. Drozdzecki, I. Van Houtte, A. Szatmári, M. Majda, G. Baisa, S. Bednarek, S. Robert, D. Audenaert, C. Testerink, T. Munnik, D. Van Damme, I. Heilmann, K. Schumacher, J. Winne, J. Friml, P. Verstreken, E. Russinova, Nature Communications 7 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1346
DOI: 10.1038/ncomms11710

Actin rings of power
C. Schwayer, M.K. Sikora, J. Slovakova, R. Kardos, C.-P.J. Heisenberg, Developmental Cell 37 (2016) 493–506.
LibreCat: https://research-explorer.ista.ac.at/record/1096
DOI: 10.1016/j.devcel.2016.05.024