A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Kössler, A. Pavlogiannis, U. Schmid, A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks, IST Austria, 2014.

Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.

Optimal cost almost-sure reachability in POMDPs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Optimal Cost Almost-Sure Reachability in POMDPs, IST Austria, 2014.

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.

The complexity of evolution on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.

Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
J. Dereziski, M.M. Napiórkowski, Annales Henri Poincaré 15 (2014) 2409–2439.

On Finding Spherical Geodesic Paths and Circles in 3
R. Biswas, P. Bhowmick, 8668 (2014) 396–409.

Many-atom-cavity QED system with homogeneous atom-cavity coupling
J. Lee, G. Vrijsen, I. Teper, O. Hosten, M. Kasevich, Optics Letters 39 (2014) 4005–4008.

GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, M. de Bono, Journal of Neuroscience 34 (2014) 16726–16738.

An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism
C. Chen, E. Itakura, K.P. Weber, R.S. Hegde, M. de Bono, PLoS Genetics 10 (2014).

Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching
G.A. Linneweber, J. Jacobson, K.E. Busch, B. Hudry, C.P. Christov, D. Dormann, M. Yuan, T. Otani, E. Knust, M. de Bono, I. Miguel-Aliaga, Cell 156 (2014) 69–83.

Contre-exemples au principe de Hasse pour certains tores coflasques
R. de la Bretèche, T.D. Browning, Journal de Théorie Des Nombres de Bordeaux 26 (2014) 25–44.

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.

From polar to Reed-Muller codes: A technique to improve the finite-length performance
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Communications 62 (2014) 3084–3091.

Joint power allocation and path selection for multi-hop noncoherent decode and forward UWB communications
M. Mondelli, Q. Zhou, V. Lottici, X. Ma, IEEE Transactions on Wireless Communications 13 (2014) 1397–1409.

Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.

A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.

Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.

Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate
K.A. Modic, T.E. Smidt, I. Kimchi, N.P. Breznay, A. Biffin, S. Choi, R.D. Johnson, R. Coldea, P. Watkins-Curry, G.T. McCandless, J.Y. Chan, F. Gandara, Z. Islam, A. Vishwanath, A. Shekhter, R.D. McDonald, J.G. Analytis, Nature Communications 5 (2014).

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