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.

358 Publications


2015 | Conference Paper | IST-REx-ID: 1659
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442   OA
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 5808
Layer the sphere
R. Biswas, P. Bhowmick, The Visual Computer 31 (2015) 787–797.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6736   OA
Scaling exponent of list decoders with applications to polar codes
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 4838–4851.
View | DOI | Download (ext.) | arXiv
 

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. Schur, W. Hagen, M. Rumlová, T. Ruml, B. Müller, H. Kraüsslich, J. Briggs, Nature 517 (2015) 505–508.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 782
Lock-Free algorithms under stochastic schedulers
D. Alistarh, T. Sauerwald, M. Vojnović, in:, ACM, 2015, pp. 251–260.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1604
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50 (2015) 539–551.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1678
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: 1666
Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkacik, PLoS Genetics 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1591
PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1495   OA
Relaxed disk packing
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
View | Download (ext.)
 

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 | Technical Report | IST-REx-ID: 5435
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 120
Direct observation of particle interactions and clustering in charged granular streams
V. Lee, S.R. Waitukaitis, M. Miskin, H. Jaeger, Nature Physics 11 (2015) 733–737.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1383
V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis
L. Yu, S. Scholl, A. Doering, Z. Yi, N. Irani, S. Di Rubbo, L. Neumetzler, P. Krishnamoorthy, I. Van Houtte, E. Mylle, V. Bischoff, S. Vernhettes, J. Winne, J. Friml, Y. Stierhof, K. Schumacher, S. Persson, E. Russinova, Nature Plants 1 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1504   OA
Spectral statistics of large dimensional spearman s rank correlation matrix and its application
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509   OA
Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
J. Michalko, M. Dravecka, T. Bollenbach, J. Friml, F1000 Research 4 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1542   OA
Toward a unifying framework for evolutionary processes
T. Paixao, G. Badkobeh, N.H. Barton, D. Çörüş, D. Dang, T. Friedrich, P. Lehre, D. Sudholt, A. Sutton, B. Trubenova, Journal of Theoretical Biology 383 (2015) 28–43.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Export / Embed