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.




3935 Publications

2015 | Journal Article | IST-REx-ID: 1676
Editorial overview: Cell adhesion and migration
M.K. Sixt, E. Raz, Current Opinion in Cell Biology 36 (2015) 4–6.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1677 | OA
The local semicircle law for random matrices with a fourfold symmetry
J. Alt, Journal of Mathematical Physics 56 (2015).
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1678 | OA
Light-assisted small-molecule screening against protein kinases
Á. Inglés Prieto, E. Gschaider-Reichhart, M. Muellner, M. Nowak, S. Nijman, M. Grusch, H.L. Janovjak, Nature Chemical Biology 11 (2015) 952–954.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1679 | OA
Taylor's Forest
G.M. Lemoult, P. Maier, B. Hof, Physics of Fluids 27 (2015).
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1680
On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1681 | OA
Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1682 | OA
Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1683
Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
J.A. Letts, L.A. Sazanov, Current Opinion in Structural Biology 33 (2015) 135–145.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1685 | OA
A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1686
Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection
E. Kiermaier, M.K. Sixt, Science 349 (2015) 1055–1056.
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
Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states
M. Wysokiński, J. Kaczmarczyk, J. Spałek, Physical Review B 92 (2015).
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
An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas
L. Broadhurst, G. Fifield, B. Vanzella, M. Pickup, Australian Journal of Botany 63 (2015) 455–466.
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 | Conference Paper | IST-REx-ID: 1729
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.
View | Files available | 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: 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: 1793 | OA
DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots
O. Symonova, C. Topp, H. Edelsbrunner, PLoS One 10 (2015).
View | Files available | 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: 1809 | OA
Indirect genetic effects and the dynamics of social interactions
B. Trubenova, S. Novak, R. Hager, PLoS One 10 (2015).
View | Files available | 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.)
 

Search

Filter Publications