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.

357 Publications


2015 | Conference Paper | IST-REx-ID: 1658
Adaptive moment closure for parameter inference of biochemical reaction networks
S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, C. Schilling, 9308 (2015) 77–89.
View | Files available | DOI
 

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 (ext.)
 

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 | Journal Article | IST-REx-ID: 1696   OA View | DOI | Download (ext.)
 

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 (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: 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 (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1684   OA
Numerous transitions of sex chromosomes in Diptera
B. Vicoso, D. Bachtrog, PLoS Biology 13 (2015).
View | Files available | 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 (ext.)
 

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: 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 (ext.)
 

2015 | Journal Article | IST-REx-ID: 1867
Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection
J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, H.L. Janovjak, Electrophoresis 36 (2015) 518–525.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1874
A three-plane architectonic atlas of the rat hippocampal region
C. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, M. Witter, Hippocampus 25 (2015) 838–857.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1879   OA
Developing 3D SEM in a broad biological context
A. Kremer, S. Lippens, S. Bartunkova, B. Asselbergh, C. Blanpain, M. Fendrych, A. Goossens, M. Holt, S. Janssens, M. Krols, J. Larsimont, C. Mc Guire, M. Nowack, X. Saelens, A. Schertel, B. Schepens, M. Slezak, V. Timmerman, C. Theunis, R. Van Brempt, Y. Visser, C. Guérin, Journal of Microscopy 259 (2015) 80–96.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1848
FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors
B. Schwamb, R. Pick, S. Fernández, K. Völp, J. Heering, V. Dötsch, S. Bösser, J. Jung, R. Beinoravičiute Kellner, J. Wesely, I. Zörnig, M. Hammerschmidt, M. Nowak, R. Penzel, K. Zatloukal, S. Joos, R. Rieker, A. Agaimy, S. Söder, K. Reid Lombardo, M. Kendrick, M. Bardsley, Y. Hayashi, D. Asuzu, S. Syed, T. Ördög, M. Zörnig, International Journal of Cancer 137 (2015) 1318–1329.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1855   OA
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, Journal of Animal Ecology 84 (2015) 615–624.
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: 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) 20140116.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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

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

2015 | Journal Article | IST-REx-ID: 1944
Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants
H. Rakusová, M. Fendrych, J. Friml, Current Opinion in Plant Biology 23 (2015) 116–123.
View | DOI
 

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: 1843
Erratum to: Characterizing spiking in noisy type II neurons [J. Theor. Biol. 365 (2015) 40–54]
K. Bod’ová, D. Paydarfar, D. Forger, Journal of Theoretical Biology 373 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2271
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 (ext.) | arXiv
 

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 | Conference Paper | IST-REx-ID: 1610
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, 9135 (2015) 121–133.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439   OA
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434   OA
Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
1 Anonymous, 2 Anonymous, Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs, IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1603
Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5441
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5807
On different topological classes of spherical geodesic paths and circles inZ3
R. Biswas, P. Bhowmick, Theoretical Computer Science 605 (2015) 146–163.
View | DOI
 

2015 | 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 (2015) 770–782.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 779
ThreadScan: Automatic and scalable memory reclamation
D. Alistarh, A. Matveev, W. Leiserson, N. Shavit, in:, ACM, 2015, pp. 123–132.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 6507
Structural basis for collagen recognition by the immune receptor OSCAR
L. Zhou, J.M. Hinerman, M. Blaszczyk, J.L.C. Miller, D.G. Conrady, A.D. Barrow, D.Y. Chirgadze, D. Bihan, R.W. Farndale, A.B. Herr, Blood 127 (2015) 529–537.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1576
Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkacik, Physical Review Letters 115 (2015).
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 933   OA
Physics of active jamming during collective cellular motion in a monolayer
S. García, E.B. Hannezo, J. Elgeti, J. Joanny, P. Silberzan, N. Gov, PNAS 112 (2015) 15314–15319.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Export / Embed