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.

5430 Publications


2014 | Journal Article | IST-REx-ID: 2407   OA
Equivalence of two definitions of the effective mass of a polaron
É. Lieb, R. Seiringer, Journal of Statistical Physics 154 (2014) 51–57.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2281   OA
On the mass concentration for Bose-Einstein condensates with attractive interactions
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2255
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 359
Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures
R. Zamani, M. Ibanez, M. Luysberg, N. García Castelló, L. Houben, J. Prades, V. Grillo, R. Dunin Borkowski, J. Morante, A. Cabot, J. Arbiol, ACS Nano 8 (2014) 2290–2301.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2084
Spatio-temporally precise activation of engineered receptor tyrosine kinases by light
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 537   OA
Fitness consequences of maternal and grandmaternal effects
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420   OA
The value 1 problem for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 6740   OA
How to achieve the capacity of asymmetric channels
M. Mondelli, R. Urbanke, H. Hassani, in:, 52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–796.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, Springer International Publishing, Cham, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7072
Controlling magnetic order and quantum disorder in molecule-based magnets
T. Lancaster, P.A. Goddard, S.J. Blundell, F.R. Foronda, S. Ghannadzadeh, J.S. Möller, P.J. Baker, F.L. Pratt, C. Baines, L. Huang, J. Wosnitza, R.D. McDonald, K.A. Modic, J. Singleton, C.V. Topping, T.A.W. Beale, F. Xiao, J.A. Schlueter, A.M. Barton, R.D. Cabrera, K.E. Carreiro, H.E. Tran, J.L. Manson, Physical Review Letters 112 (2014).
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 772   OA
Are lock-free concurrent algorithms practically wait-free?
D. Alistarh, K. Censor Hillel, N. Shavit, in:, ACM, 2014, pp. 714–723.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 809
Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly
T. Bharata, L. Menendez, W. Hagena, V. Luxd, S. Igonete, M. Schorba, F. Schur, H. Kraüsslich, J. Briggsa, PNAS 111 (2014) 8233–8238.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 892
A structural perspective of compensatory evolution
D. Ivankov, A. Finkelstein, F. Kondrashov, Current Opinion in Structural Biology 26 (2014) 104–112.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 979   OA
Symmetry breaking and Landau quantization in topological crystalline insulators
M. Serbyn, L. Fu, Physical Review B - Condensed Matter and Materials Physics 90 (2014).
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1872   OA
Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2027   OA
Verification of markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Society of Industrial and Applied Mathematics, 2014, pp. 98–114.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229   OA View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2039   OA
The time scale of evolutionary innovation
K. Chatterjee, A. Pavlogiannis, B. Adlam, M. Nowak, PLoS Computational Biology 10 (2014).
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2053   OA
Probabilistic bisimulation: Naturally on distributions
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2212
Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, in:, Springer, 2014, pp. 210–225.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed