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.

364 Publications


2015 | Journal Article | IST-REx-ID: 5749   OA
S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria,” Molecular Biology and Evolution, vol. 33, no. 3, pp. 770–782, 2015.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 6507
L. Zhou et al., “Structural basis for collagen recognition by the immune receptor OSCAR,” Blood, vol. 127, no. 5, pp. 529–537, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 779
D. Alistarh, A. Matveev, W. Leiserson, and N. Shavit, “ThreadScan: Automatic and scalable memory reclamation,” presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, 2015, vol. 2015–June, pp. 123–132.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 781
D. Alistarh, R. Gelashvili, and M. Vojnović, “Fast and exact majority in population protocols,” presented at the PODC: Principles of Distributed Computing, 2015, vol. 2015–July, pp. 47–56.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
P. Marhavy and E. Benková, “Real time analysis of lateral root organogenesis in arabidopsis,” Bio-protocol, vol. 5, no. 8, 2015.
View | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1502   OA
N. Beneš, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1499   OA
J. Kretinsky, K. Larsen, S. Laursen, and J. Srba, “Polynomial time decidability of weighted synchronization under partial observability,” presented at the CONCUR: Concurrency Theory, Madrid, Spain, 2015, vol. 42, pp. 142–154.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1691
M. Svoreňová et al., “Temporal logic motion planning using POMDPs with parity objectives: Case study paper,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 233–238.
View | DOI
 

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

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

2015 | Conference Paper | IST-REx-ID: 1610
K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” vol. 9135, no. Part II. Springer, pp. 121–133, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1603
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1855   OA
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees,” Journal of Animal Ecology, vol. 84, no. 3, pp. 615–624, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1812   OA
M. Lahrz, M. Lemeshko, and L. Mathey, “Exotic roton excitations in quadrupolar Bose–Einstein condensates ,” New Journal of Physics, vol. 17, no. 4, p. 045005, 2015.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1595
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1665   OA
D. Landau et al., “Mutations driving CLL and their evolution in progression and relapse,” Nature, vol. 526, no. 7574, pp. 525–530, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1848   OA
B. Schwamb et al., “FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors,” International Journal of Cancer, vol. 137, no. 6, pp. 1318–1329, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1672   OA
J. F. Alwen, R. Ostrovsky, H. Zhou, and V. Zikas, “Incoercible multi-party computation and universally composable receipt-free voting,” vol. 9216. Springer, pp. 763–780, 2015.
View | Files available | DOI
 

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

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed