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

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




5046 Publications

2016 | Conference Paper | IST-REx-ID: 1379 | OA
Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1477 | OA
What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, Journal of Computer and System Sciences 82 (2016) 878–911.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1529 | OA
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Technical Report | IST-REx-ID: 5445 | OA
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1166
A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
View | Files available
 
2016 | Technical Report | IST-REx-ID: 5449 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
[Updated Version] View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5453 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Technical Report | IST-REx-ID: 5451 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 5806
On functionality of quadraginta octants of naive sphere with application to circle drawing
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
View | DOI
 
2016 | Book Chapter | IST-REx-ID: 5805
On some local topological properties of naive discrete sphere
N. Sen, R. Biswas, P. Bhowmick, in:, Computational Topology in Image Context, Springer Nature, Cham, 2016, pp. 253–264.
View | DOI
 
2016 | Book Chapter | IST-REx-ID: 5809
On the connectivity and smoothness of discrete spherical circles
R. Biswas, P. Bhowmick, V.E. Brimkov, in:, Combinatorial Image Analysis, Springer Nature, Cham, 2016, pp. 86–100.
View | DOI
 
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 | Journal Article | IST-REx-ID: 9456 | OA
Mechanism for DNA transposons to generate introns on genomic scales
J.T. Huff, D. Zilberman, S.W. Roy, Nature 538 (2016) 533–536.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
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 | Journal Article | IST-REx-ID: 9477 | OA
DNA demethylation is initiated in the central cells of Arabidopsis and rice
K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman, R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy of Sciences 113 (2016) 15138–15143.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 9473 | OA
Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues
P.-H. Hsieh, S. He, T. Buttress, H. Gao, M. Couchman, R.L. Fischer, D. Zilberman, X. Feng, Proceedings of the National Academy of Sciences 113 (2016) 15132–15137.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
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
 
2016 | Journal Article | IST-REx-ID: 1346 | OA
Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification
Dejonghe W, Kuenen S, Mylle E, Vasileva MK, Keech O, Viotti C, Swerts J, Fendrych M, Ortiz Morea F, Mishev K, Delang S, Scholl S, Zarza X, Heilmann M, Kourelis J, Kasprowicz J, Nguyen L, Drozdzecki A, Van Houtte I, Szatmári A, Majda M, Baisa G, Bednarek S, Robert S, Audenaert D, Testerink C, Munnik T, Van Damme D, Heilmann I, Schumacher K, Winne J, Friml J, Verstreken P, Russinova E. 2016. Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. 7, 11710.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1096
Actin rings of power
C. Schwayer, M.K. Sikora, J. Slovakova, R. Kardos, C.-P.J. Heisenberg, Developmental Cell 37 (2016) 493–506.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1328 | OA
Heavy-hole states in germanium hut wires
H. Watzinger, C. Kloeffel, L. Vukušić, M. Rossell, V. Sessi, J. Kukucka, R. Kirchschlager, E. Lausecker, A. Truhlar, M. Glaser, A. Rastelli, A. Fuhrer, D. Loss, G. Katsaros, Nano Letters 16 (2016) 6879–6885.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1205 | OA
Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1193 | OA
Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1438 | OA
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Research Data Reference | IST-REx-ID: 9710 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2016 | Research Data Reference | IST-REx-ID: 9864 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1165 | OA
C-planarity of embedded cyclic c-graphs
R. Fulek, in:, Springer, 2016, pp. 94–106.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1378 | OA
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1616 | OA
Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1794 | OA
Inference algorithms for pattern-based CRFs on sequence data
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 510 | OA
The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1263 | OA
Efficient microwave to optical photon conversion: An electro-optical realization
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, Optica 3 (2016) 597–604.
[Published Version] View | DOI | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1287 | OA
Modes and exceptional points in waveguides with impedance boundary conditions
B. Midya, V. Konotop, Optics Letters 41 (2016) 4621–4624.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 482
Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing Group, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1274 | OA
Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis
E. Mazur, E. Benková, J. Friml, Scientific Reports 6 (2016).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1253 | OA
How MicroRNAs Are involved in splitting the mind
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2016 | Technical Report | IST-REx-ID: 5452 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1382 View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5550 | OA [Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5555 | OA [Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5557 | OA [Published Version] View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1122 | OA
Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1398 | OA
The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone
T. Ellis, The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available | DOI
 
2016 | Thesis | IST-REx-ID: 1131 | OA
Evolution of transcriptional regulatory sequences
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 
2016 | Research Data | IST-REx-ID: 5553 | OA [Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5551 | OA [Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5552 | OA [Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5554 | OA [Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5558 | OA [Published Version] View | Files available | DOI
 
 
2016 | Journal Article | IST-REx-ID: 1183 | OA
Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1321 | OA
Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes
A.F. Leithner, A. Eichner, J. Müller, A. Reversat, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1100 | OA
Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation
K. Sako, S. Pradhan, V. Barone, Á. Inglés Prieto, P. Mueller, V. Ruprecht, D. Capek, S. Galande, H.L. Janovjak, C.-P.J. Heisenberg, Cell Reports 16 (2016) 866–877.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1437 | OA
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM, 2016, pp. 733–747.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1386 | OA
Termination analysis of probabilistic programs through Positivstellensatz's
K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Search

Filter Publications