Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4895 Publications


2016 | Technical Report | IST-REx-ID: 5448 | OA
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
[Published Version] View | Files available | arXiv
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1197 | OA
Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9720 | OA
Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Shedding light on the grey zone of speciation along a continuum of genomic divergence
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1167 | OA
Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9867
Experimental game instructions
C. Hilbe, K. Hagel, M. Milinski, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9862
Simulation study to test the robustness of ABC in face of recent times of divergence
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9863
Accessions of surveyed individuals, geographic locations and summary statistics
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9866
ZIP-archived directory containing all data and computer programs
M.P. Zagórski, Z. Burda, B. Wacław, (2016).
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 948
Neurons equipped with intrinsic plasticity learn stimulus intensity statistics
T. Monk, C. Savin, J. Lücke, in:, Neural Information Processing Systems, 2016, pp. 4285–4293.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 1262 | OA
Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1322 | OA
Asymmetric power boosts extortion in an economic experiment
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1270 | OA [Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1250 | OA
Genetic manipulation of glycogen allocation affects replicative lifespan in E coli
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9870
Computation of positional information in an Ising model
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9873
Quantification of the growth rate reduction as a consequence of age-specific mortality
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9869
Error bound on an estimator of position
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9871
Computation of positional information in a discrete morphogen field
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9868
Experimental data
C. Hilbe, K. Hagel, M. Milinski, (2016).
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1101
Rangefinder: A semisynthetic FRET sensor design algorithm
J. Mitchell, J. Whitfield, W. Zhang, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, ACS SENSORS 1 (2016) 1286–1290.
View | DOI
 

2016 | Conference Abstract | IST-REx-ID: 12903 | OA
High performance computing at IST Austria: Modelling the human hippocampus
A. Schlögl, S. Stadlbauer, in:, AHPC16 - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
[Published Version] View | Files available | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1341 | OA
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
[Preprint] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 5749 | OA
Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2016) 770–782.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Book Chapter | IST-REx-ID: 1094
Immunogold protein localization on grid-glued freeze-fracture replicas
H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.
View | DOI
 

2016 | Thesis | IST-REx-ID: 1121 | OA
Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1124 | OA
Optical functionalization of human class A orphan G-protein coupled receptors
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1129 | OA
Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1397
Algorithms for partially observable markov decision processes
M. Chmelik, Algorithms for Partially Observable Markov Decision Processes, Institute of Science and Technology Austria, 2016.
View
 

2016 | Thesis | IST-REx-ID: 1123 | OA
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.
[Published Version] View | Files available
 

2016 | Journal Article | IST-REx-ID: 1432 | OA [Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1396 | OA
Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1125 | OA
Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1130 | OA
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.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1234 | OA
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1243
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.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
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.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1362 | OA [Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1236 | OA
Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1235 | OA
Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
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.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1358 | OA
Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkačik, Nature Communications 7 (2016).
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications