Please note that IST 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.

6694 Publications


2016 | Research Data Reference | IST-REx-ID: 9710 View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 9591 | OA
Cycles and matchings in randomly perturbed digraphs and hypergraphs
M. Krivelevich, M.A. Kwan, B. Sudakov, Combinatorics, Probability and Computing 25 (2016) 909–927.
View | DOI | Download Preprint (ext.) | arXiv
 

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).
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).
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).
View | Files available | DOI
 

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

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

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).
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9864 View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9868
Experimental data
C. Hilbe, K. Hagel, M. Milinski, (2016).
View | Files available | 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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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.
View | DOI | Download Submitted 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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9474 | 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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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.
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.
View | Files available | DOI | Download Preprint (ext.)
 

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.
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.
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.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2271 | OA
The power of linear programming for general-valued CSPs
V. Kolmogorov, J. Thapper, S. Živný, SIAM Journal on Computing 44 (2015) 1–36.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 256 | OA
Improvements in Birch's theorem on forms in many variables
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (2015).
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 257 | OA
Pairs of diagonal quadratic forms and linear correlations among sums of two squares
T.D. Browning, R. Munshi, Forum Mathematicum 27 (2015) 2025–2050.
View | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 258
A survey of applications of the circle method to rational points
T.D. Browning, in:, Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 259
Rational points on cubic hypersurfaces over F_q(t)
T.D. Browning, P. Vishe, Geometric and Functional Analysis 25 (2015) 671–732.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 260
Erratum Rational points on intersections of cubic and quadric hypersurfaces
T.D. Browning, R. Dietmann, R. Heath Brown, Journal of the Institute of Mathematics of Jussieu 14 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis
J. Engel, P.S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, F. Routier, Glycobiology 25 (2015) 1423–1430.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 814
Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution
F.K. Schur, W. Hagen, M. Rumlová, T. Ruml, B. Müller, H. Kraüsslich, J. Briggs, Nature 517 (2015) 505–508.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 815
The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly
F.K. Schur, R. Dick, W. Hagen, V. Vogt, J. Briggs, Journal of Virology 89 (2015) 10294–10302.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 8242
Generation of recombinant FcεRIα of dog, cat and horse for component-resolved allergy diagnosis in veterinary patients
L. Einhorn, J. Singer, M. Muhr, A. Schoos, K. Oida, J. Singer, L. Panakova, K. Manzano-Szalai, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 135 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Real time analysis of lateral root organogenesis in arabidopsis
P. Marhavý, E. Benková, Bio-Protocol 5 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8456
Observing the overall rocking motion of a protein in a crystal
P. Ma, Y. Xue, N. Coquelle, J.D. Haller, T. Yuwen, I. Ayala, O. Mikhailovskii, D. Willbold, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 6 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8457 View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
A model of substitution trajectories in sequence space and long-term protein evolution
D. Usmanova, L. Ferretti, I. Povolotskaya, P. Vlasov, F. Kondrashov, Molecular Biology and Evolution 32 (2015) 542–554.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8495
A note on micro-instability for Hamiltonian systems close to integrable
A. Bounemoura, V. Kaloshin, Proceedings of the American Mathematical Society 144 (2015) 1553–1560.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8498
Arnold diffusion for smooth convex systems of two and a half degrees of freedom
V. Kaloshin, K. Zhang, Nonlinearity 28 (2015) 2699–2720.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8499
Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation
M. Guardia, V. Kaloshin, Journal of the European Mathematical Society 17 (2015) 71–149.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 866
Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13
C. Kretz, M. Dai, O. Soylemez, A. Yee, K. Desch, D. Siemieniak, K. Tomberg, F. Kondrashov, F. Meng, D. Ginsburg, PNAS 112 (2015) 9328–9333.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1686 View | DOI
 

2015 | Journal Article | IST-REx-ID: 1687 | OA
Navigating in tissue mazes: Chemoattractant interpretation in complex environments
M. Sarris, M.K. Sixt, Current Opinion in Cell Biology 36 (2015) 93–102.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688 | OA
Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
R. Karasev, J. Kynčl, P. Paták, Z. Patakova, M. Tancer, Discrete & Computational Geometry 54 (2015) 610–636.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1690
HYST: A source transformation and translation tool for hybrid automaton models
S. Bak, S. Bogomolov, T. Johnson, in:, Springer, 2015, pp. 128–133.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1691
Temporal logic motion planning using POMDPs with parity objectives: Case study paper
M. Svoreňová, M. Chmelik, K. Leahy, H. Eniser, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–238.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1692
Eliminating spurious transitions in reachability with support functions
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1693 | OA
Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3
P. Amaro, B. Franke, J. Krauth, M. Diepold, F. Fratini, L. Safari, J. Machado, A. Antognini, F. Kottmann, P. Indelicato, R. Pohl, J. Santos, Physical Review A 92 (2015).
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
Quantitative temporal simulation and refinement distances for timed systems
K. Chatterjee, V. Prabhu, IEEE Transactions on Automatic Control 60 (2015) 2291–2306.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695 | OA
Evaluation techniques for Gutzwiller wave functions in finite dimensions
J. Kaczmarczyk, T. Schickling, J. Bünemann, Physica Status Solidi (B): Basic Solid State Physics 252 (2015) 2059–2071.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1696 | OA View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1697 | OA
High accuracy decoding of dynamical motion from a large retinal population
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkačik, M. Berry, PLoS Computational Biology 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1698 | OA
The complexity of multi-mean-payoff and multi-energy games
Y. Velner, K. Chatterjee, L. Doyen, T.A. Henzinger, A. Rabinovich, J. Raskin, Information and Computation 241 (2015) 177–196.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1699 | OA
Adaptive gene introgression after secondary contact
H. Uecker, D. Setter, J. Hermisson, Journal of Mathematical Biology 70 (2015) 1523–1580.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1700 | OA
Ultralong-range order in the Fermi-Hubbard model with long-range interactions
E. Van Loon, M. Katsnelson, M. Lemeshko, Physical Review B 92 (2015).
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701 | OA
Thermodynamics and signatures of criticality in a network of neurons
G. Tkačik, T. Mora, O. Marre, D. Amodei, S. Palmer, M. Berry Ii, W. Bialek, PNAS 112 (2015) 11508–11513.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1703 View | DOI
 

2015 | Journal Article | IST-REx-ID: 1704 | OA
Note on a family of monotone quantum relative entropies
A. Deuchert, C. Hainzl, R. Seiringer, Letters in Mathematical Physics 105 (2015) 1449–1466.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706 | OA
Multi-task and lifelong learning of kernels
A. Pentina, S. Ben David, in:, Springer, 2015, pp. 194–208.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709 | OA
Biological auctions with multiple rewards
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, K. Chatterjee, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1710 | OA
Minimal resistance of curves under the single impact assumption
A. Akopyan, A. Plakhov, Society for Industrial and Applied Mathematics 47 (2015) 2754–2769.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712 | OA
Drosophila immune cell migration and adhesion during embryonic development and larval immune responses
A. Ratheesh, V. Belyaeva, D.E. Siekhaus, Current Opinion in Cell Biology 36 (2015) 71–79.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1714
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, in:, Real-Time Systems Symposium, IEEE, 2015, pp. 118–127.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1728
Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms
M. Cohen, A. Kicheva, A. Ribeiro, R. Blassberg, K. Page, C. Barnes, J. Briscoe, Nature Communications 6 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1730 | OA
Discrete systolic inequalities and decompositions of triangulated surfaces
É. Colin De Verdière, A. Hubard, A.N. de Mesmay, Discrete & Computational Geometry 53 (2015) 587–620.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, Information and Computation 245 (2015) 3–16.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1732 | OA
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, IEEE, 2015, pp. 325–330.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1734
Recent advances in facial appearance capture
O. Klehm, F. Rousselle, M. Papas, D. Bradley, C. Hery, B. Bickel, W. Jarosz, T. Beeler, Computer Graphics Forum 34 (2015) 709–733.
View | DOI | Download None (ext.)
 

2015 | Journal Article | IST-REx-ID: 1735 | OA
A dimension-reduced pressure solver for liquid simulations
R. Ando, N. Thürey, C.J. Wojtan, Computer Graphics Forum 34 (2015) 473–480.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1788
Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity
A. Pitanti, J.M. Fink, A. Safavi Naeini, J. Hill, C. Lei, A. Tredicucci, O. Painter, Optics Express 23 (2015) 3196–3208.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1789 | OA
Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome
Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1792
A Koksma-Hlawka inequality for general discrepancy systems
F. Pausinger, A. Svane, Journal of Complexity 31 (2015) 773–797.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1802
The schizophrenia risk gene product miR-137 alters presynaptic plasticity
S. Siegert, J. Seo, E. Kwon, A. Rudenko, S. Cho, W. Wang, Z. Flood, A. Martorell, M. Ericsson, A. Mungenast, L. Tsai, Nature Neuroscience 18 (2015) 1008–1016.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1803
Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a p25/Cdk5-dependent pathway
D. Rei, X. Mason, J. Seo, J. Gräff, A. Rudenko, J. Wang, R. Rueda, S. Siegert, S. Cho, R. Canter, A. Mungenast, K. Deisseroth, L. Tsai, PNAS 112 (2015) 7291–7296.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1804 | OA
Transition to turbulence in Taylor-Couette ferrofluidic flow
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1805
Homological reconstruction and simplification in R3
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, Computational Geometry: Theory and Applications 48 (2015) 606–621.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1807 | OA
Sharp interface limit for two components Bose-Einstein condensates
M. Goldman, J. Royo-Letelier, ESAIM - Control, Optimisation and Calculus of Variations 21 (2015) 603–624.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1808
Guest editors' introduction to special issue on computational methods in systems biology
A. Gupta, T.A. Henzinger, ACM Transactions on Modeling and Computer Simulation 25 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1810 | OA
Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution
M.T. Bollenbach, Current Opinion in Microbiology 27 (2015) 1–9.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811 | OA
Analytical evaluation of atomic form factors: Application to Rayleigh scattering
L. Safari, J. Santos, P. Amaro, K. Jänkälä, F. Fratini, Journal of Mathematical Physics 56 (2015).
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1812 | OA
Exotic roton excitations in quadrupolar Bose–Einstein condensates
M. Lahrz, M. Lemeshko, L. Mathey, New Journal of Physics 17 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813 | OA
Rotation of quantum impurities in the presence of a many-body environment
R. Schmidt, M. Lemeshko, Physical Review Letters 114 (2015).
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1814 | OA
Water wave animation via wavefront parameter interpolation
S. Jeschke, C.J. Wojtan, ACM Transactions on Graphics 34 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1817 | OA
YAP is essential for tissue tension to ensure vertebrate 3D body shape
Porazinski S, Wang H, Asaoka Y, Behrndt M, Miyamoto T, Morita H, Hata S, Sasaki T, Krens G, Osada Y, Asaka S, Momoi A, Linton S, Miesfeld J, Link B, Senga T, Castillo Morales A, Urrutia A, Shimizu N, Nagase H, Matsuura S, Bagby S, Kondoh H, Nishina H, Heisenberg C-PJ, Furutani Seiki M. 2015. YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature. 521(7551), 217–221.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1818 | OA
Limits to adaptation along environmental gradients
J. Polechova, N.H. Barton, PNAS 112 (2015) 6401–6406.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1819
Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana
M. Zwiewka, T. Nodzyński, S. Robert, S. Vanneste, J. Friml, Molecular Plant 8 (2015) 1175–1187.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1820 | OA
Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , AAAI Press, 2015, pp. 3496–3502.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1823 | OA
Systematic discovery of drug interaction mechanisms
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824 | OA
Evolutionary games of condensates in coupled birth-death processes
J. Knebel, M. Weber, T.H. Krüger, E. Frey, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1828 | OA
Invariant measures of genetic recombination process
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1831 | OA
Sociality and health: Impacts of sociality on disease susceptibility and transmission in animal and human societies
P. Kappeler, S. Cremer, C. Nunn, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1832 | OA
Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834 | OA View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1835 | OA
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1836
Segment abstraction for worst-case execution time analysis
P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1837 | OA
Subcritical versus supercritical transition to turbulence in curved pipes
J. Kühnen, P. Braunshier, M. Schwegel, H. Kuhlmann, B. Hof, Journal of Fluid Mechanics 770 (2015).
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications