The equivalence problem for finite automata: Technical perspective
T.A. Henzinger, J. Raskin, Communications of the ACM 58 (2015) 86–86.

Auxin transporters and binding proteins at a glance
P. Grones, J. Friml, Journal of Cell Science 128 (2015) 1–7.

A three-plane architectonic atlas of the rat hippocampal region
C.N. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, M. Witter, Hippocampus 25 (2015) 838–857.

POMDPs under probabilistic semantics
K. Chatterjee, M. Chmelik, Artificial Intelligence 221 (2015) 46–72.

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.

Superfluid behavior of a Bose-Einstein condensate in a random potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, New Journal of Physics 17 (2015).

Compositionality for quantitative specifications
U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015, pp. 306–324.

Anomalous scaling in an age-dependent branching model
S. Keller-Schmidt, M. Tugrul, V. Eguíluz, E. Hernandez Garcia, K. Klemm, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).

Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula
E. Cires Rodriguez, J. Prieto, Journal of Plant Research 128 (2015) 223–238.

Positional information, positional error, and readout precision in morphogenesis: A mathematical framework
G. Tkadik, J. Dubuis, M. Petkova, T. Gregor, Genetics 199 (2015) 39–59.

Optimizing information flow in small genetic networks. IV. Spatial coupling
T.R. Sokolowski, G. Tkadik, Physical Review E Statistical Nonlinear and Soft Matter Physics 91 (2015).

On the distribution of local extrema in quantum chaos
F. Pausinger, S. Steinerberger, Physics Letters, Section A 379 (2015) 535–541.

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.

Succinct representation of concurrent trace sets
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.

The three-state toric homogeneous Markov chain model has Markov degree two
P. Noren, Journal of Symbolic Computation 68/Part 2 (2015) 285–296.

Iterative scaling in curved exponential families
A. Klimova, T. Rudas, Scandinavian Journal of Statistics 42 (2015) 832–847.

The monotone secant conjecture in the real Schubert calculus
N. Hein, C. Hillar, A. Martin del Campo Sanchez, F. Sottile, Z. Teitler, Experimental Mathematics 24 (2015) 261–269.

Faithfulness and learning hypergraphs from discrete distributions
A. Klimova, C. Uhler, T. Rudas, Computational Statistics &; Data Analysis 87 (2015) 57–72.

The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins
D. Kawada, H. Kobayashi, T. Tomita, E. Nakata, M. Nagano, D.E. Siekhaus, J. Toshima, J. Toshimaa, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 144–156.

A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow
L. Shi, M. Rampp, B. Hof, M. Avila, Computers and Fluids 106 (2015) 1–11.

The persistent homology of a self-map
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.

Probabilistic opacity for Markov decision processes
B. Bérard, K. Chatterjee, N. Sznajder,  Information Processing Letters 115 (2015) 52–59.

Collective excitations of Bose gases in the mean-field regime
P. Nam, R. Seiringer, Archive for Rational Mechanics and Analysis 215 (2015) 381–417.

The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case
L. Erdös, A. Knowles, Communications in Mathematical Physics 333 (2015) 1365–1416.

Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015).

The power of linear programming for general-valued CSPs
V. Kolmogorov, J. Thapper, S. divný, SIAM Journal on Computing 44 (2015) 1–36.

Pairs of diagonal quadratic forms and linear correlations among sums of two squares
T.D. Browning, R. Munshi, Forum Mathematicum 27 (2015) 2025–2050.

A survey of applications of the circle method to rational points
T.D. Browning, in:, Arithmetic and Geometry, Cambridge University Press, 2015, pp. 89–113.

Rational points on cubic hypersurfaces over F_q(t) 
T.D. Browning, P. Vishe, Geometric and Functional Analysis 25 (2015) 671–732.

Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
K. Chatterjee, M. Joglekar, N. Shah, Theoretical Computer Science 573 (2015) 71–89.

Homological reconstruction and simplification in 
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, Computational Geometry: Theory and Applications 48 (2015) 606–621.

Efficient and inexpensive sodium magnesium hybrid battery
M. Walter, K. Kravchyk, M. Ibáñez, M. Kovalenko, Chemistry of Materials 27 (2015) 7452–7458.

Electron doping in bottom up engineered thermoelectric nanomaterials through HCl mediated ligand displacement
M. Ibáñez, R. Korkosz, Z. Luo, P. Riba, D. Cadavid, S. Ortega, A. Cabot, M. Kanatzidis, Journal of the American Chemical Society 137 (2015) 4046–4049.

Cu2ZnSn-AS nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting
X. Yu, J. Liu, A. Genç, M. Ibáñez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.

Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties
Z. Lu, M. Ibáñez, A. Antolín, A. Genç, A. Shavel, S. Contreras, F. Medina, J. Arbiol, A. Cabot, Langmuir 31 (2015) 3952–3957.

Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, Information and Computation 245 (2015) 3–16.

Cu2ZnSn–AS Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting
X. Yu, J. Liu, A. Genç, M. Ibáñez, Z. Luo, A. Shavel, J. Arbiol, G. Zhang, Y. Zhang, A. Cabot, Langmuir 31 (2015) 10555–10561.

Cu2ZnSn–PtM (M = Co, Ni) nanoheterostructures for photocatalytic hydrogen evolution
X. Yu, X. An, A. Genç, M. Ibáñez, J. Arbiol, Y. Zhang, A. Cabot, Journal of Physical Chemistry C 119 (2015) 21882–21888.

Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).

Confinement deconfinement transition as an indication of spin liquid type behavior in NIrO3
Z. Alpichshev, F. Mahmood, G. Cao, N. Gedik, Physical Review Letters 114 (2015).

Improved algorithms for one-pair and k-pair Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.

Derivation of nonlinear gibbs measures from many-body quantum mechanics
M. Lewin, P. Nam, N. Rougerie, Journal de l’Ecole Polytechnique - Mathematiques 2 (2015) 65–115.

The serotonin receptor 5-HR regulates the morphology and migratory properties of dendritic cells
K. Holst, D. Guseva, S. Schindler, M.K. Sixt, A. Braun, H. Chopra, O. Pabst, E. Ponimaskin, Journal of Cell Science 128 (2015) 2866–2880.

Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, Information and Computation 242 (2015) 25–52.

EIN2-directed translational regulation of ethylene signaling in arabidopsis
W. Li, M. Ma, Y. Feng, H. Li, Y. Wang, Y. Ma, M. Li, F. An, H. Guo, Cell 163 (2015) 670–683.

Qualitative analysis of concurrent mean payoff games
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.

Automatic generation of alternative starting positions for simple traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, in:, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, AAAI Press, 2015, pp. 745–752.

Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, IEEE, 2015, pp. 325–330.

The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.

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.

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komárková, J. Kretinsky, (2015) 244–256.

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.

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.

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.

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

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.

The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.

The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.

Reconstructing robust phylogenies of metastatic cancers
J. Reiter, A. Makohon-Moore, J. Gerold, I. Bozic, K. Chatterjee, C. Iacobuzio-Donahue, B. Vogelstein, M. Nowak, Reconstructing Robust Phylogenies of Metastatic Cancers, IST Austria, 2015.

A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs, IST Austria, 2015.

From prima quadraginta octant to lattice sphere through primitive integer operations
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.

On different topological classes of spherical geodesic paths and circles inZ3
R. Biswas, P. Bhowmick, Theoretical Computer Science 605 (2015) 146–163.

Layer the sphere
R. Biswas, P. Bhowmick, The Visual Computer 31 (2015) 787–797.

Structural basis of transcription initiation by RNA polymerase II
S. Sainsbury, C. Bernecky, P. Cramer, Nature Reviews Molecular Cell Biology 16 (2015) 129–143.

On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.

Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 112 (2015) 25–34.

Decoding a neural circuit controlling global animal state in C. elegans
P. Laurent, Z. Soltesz, G.M. Nelson, C. Chen, F. Arellano-Carbajal, E. Levy, M. de Bono, ELife 4 (2015).

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.

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.

Achieving Marton’s region for broadcast channels using polar codes
M. Mondelli, H. Hassani, I. Sason, R. Urbanke, IEEE Transactions on Information Theory 61 (2015) 783–800.

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.

Magnetization of underdoped YBCu3Oy above the irreversibility field
J.F. Yu, B.J. Ramshaw, I. Kokanovi, K.A. Modic, N. Harrison, J. Day, R. Liang, W.N. Hardy, D.A. Bonn, A. McCollam, S.R. Julian, J.R. Cooper, Physical Review B 92 (2015).

Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals
D. Caruntu, T. Rostamzadeh, T. Costanzo, S. Salemizadeh Parizi, G. Caruntu, Nanoscale 7 (2015) 12955–12969.

Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors
S.S. Parizi, G. Conley, T. Costanzo, B. Howell, A. Mellinger, G. Caruntu, RSC Advances 5 (2015) 76356–76362.

Population genetic differentiation of height and body mass index across Europe
M.R. Robinson, G. Hemani, C. Medina-Gomez, M. Mezzavilla, T. Esko, K. Shakhbazov, J.E. Powell, A. Vinkhuyzen, S.I. Berndt, S. Gustafsson, A.E. Justice, B. Kahali, A.E. Locke, T.H. Pers, S. Vedantam, A.R. Wood, W. van Rheenen, O.A. Andreassen, P. Gasparini, A. Metspalu, L.H. van den Berg, J.H. Veldink, F. Rivadeneira, T.M. Werge, G.R. Abecasis, D.I. Boomsma, D.I. Chasman, E.J.C. de Geus, T.M. Frayling, J.N. Hirschhorn, J.J. Hottenga, E. Ingelsson, R.J.F. Loos, P.K.E. Magnusson, N.G. Martin, G.W. Montgomery, K.E. North, N.L. Pedersen, T.D. Spector, E.K. Speliotes, M.E. Goddard, J. Yang, P.M. Visscher, Nature Genetics 47 (2015) 1357–1362.

Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird
M.J. Adams, M.R. Robinson, M.-E. Mannarelli, B.J. Hatchwell, Proceedings of the Royal Society B: Biological Sciences 282 (2015).

Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations
A.W. Santure, J. Poissant, I. De Cauwer, K. van Oers, M.R. Robinson, J.L. Quinn, M.A.M. Groenen, M.E. Visser, B.C. Sheldon, J. Slate, Molecular Ecology 24 (2015) 6148–6162.

The SprayList: A scalable relaxed priority queue
D.-A. Alistarh, J. Kopinsky, J. Li, N. Shavit, in:, ACM, 2015, pp. 11–20.

The principle of independent bond-level response: Tuning by pruning to exploit disorder for global behavior
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 114 (2015).

Collective dynamics of soft active particles
R. van Drongelen, A. Pal, C.P. Goodrich, T. Idema, Physical Review E 91 (2015).

Disordered surface vibrations in jammed sphere packings
D.M. Sussman, C.P. Goodrich, A.J. Liu, S.R. Nagel, Soft Matter 11 (2015) 2745–2751.

Streaming min-max hypergraph partitioning
D.-A. Alistarh, J. Iglesias, M. Vojnovi, in:, Neural Information Processing Systems, 2015, pp. 1900–1908.

Inherent limitations of hybrid transactional memory
D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit, in:, Springer, 2015, pp. 185–199.

Unearthing the anticrystal: Criticality in the linear response of  disordered solids
C.P. Goodrich, ArXiv:1510.08820 (2015).

ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, A. Matveev, W. Leiserson, N. Shavit, in:, ACM, 2015, pp. 123–132.

Polylogarithmic-time leader election in population protocols
D.-A. Alistarh, R. Gelashvili, in:, Springer, 2015, pp. 479–491.

Fast and exact majority in population protocols
D.-A. Alistarh, R. Gelashvili, M. Vojnovi, in:, ACM, 2015, pp. 47–56.

Lock-Free algorithms under stochastic schedulers
D.-A. Alistarh, T. Sauerwald, M. Vojnovi, in:, ACM, 2015, pp. 251–260.

How to elect a leader faster than a tournament
D.-A. Alistarh, R. Gelashvili, A. Vladu, in:, ACM, 2015, pp. 365–374.

A high-radix, low-latency optical switch for data centers
D.-A. Alistarh, H. Ballani, P. Costa, A. Funnell, J. Benjamin, P. Watts, B. Thomsen, in:, ACM, 2015, pp. 367–368.

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.

The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the  domain in assembly
F.K. Schur, R. Dick, W. Hagen, V. Vogt, J. Briggs, Journal of Virology 89 (2015) 10294–10302.

Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution
F.K. Schur, W. Hagen, M. Rumlová, T. Ruml, B. Müller, H. Kraüsslich, J. Briggs, Nature 517 (2015) 505–508.

Generation of recombinant Fc;5RI;1 of dog, cat and horse for component-resolved allergy diagnosis in veterinary patients
L. Einhorn, J. Singer, M. Muhr, A. Schoos, K. Oida, J. Singer, L. Panakova, K. Manzano-Szalai, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 135 (2015).

Real time analysis of lateral root organogenesis in arabidopsis
P. Marhavý, E. Benková, Bio-Protocol 5 (2015).