Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komárková, J. Kretinsky, (2015) 244–256.
LibreCat: https://research-explorer.ista.ac.at/record/1657
DOI: 10.1109/LICS.2015.32

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1656
DOI: 10.1109/LICS.2015.72
arXiv: 1606.03598

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.
LibreCat: https://research-explorer.ista.ac.at/record/5429
DOI: 10.15479/AT:IST-2015-318-v1-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/5435
DOI: 10.15479/AT:IST-2015-318-v2-1

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5436
DOI: 10.15479/AT:IST-2015-170-v2-2

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
LibreCat: https://research-explorer.ista.ac.at/record/1659
DOI: 10.1109/LICS.2015.74

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.
LibreCat: https://research-explorer.ista.ac.at/record/1610
DOI: 10.1007/978-3-662-47666-6_10
arXiv: 1504.08259

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.
LibreCat: https://research-explorer.ista.ac.at/record/5437
DOI: 10.15479/AT:IST-2015-330-v2-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/5430
DOI: 10.15479/AT:IST-2015-319-v1-1

The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5439
DOI: 10.15479/AT:IST-2015-335-v1-1

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5438
DOI: 10.15479/AT:IST-2015-334-v1-1

The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5440
DOI: 10.15479/AT:IST-2015-323-v2-2

The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5432
DOI: 10.15479/AT:IST-2015-323-v1-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/5444
DOI: 10.15479/AT:IST-2015-399-v1-1

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.
LibreCat: https://research-explorer.ista.ac.at/record/5443
DOI: 10.15479/AT:IST-2015-325-v2-1

From prima quadraginta octant to lattice sphere through primitive integer operations
R. Biswas, P. Bhowmick, Theoretical Computer Science 624 (2015) 56–72.
LibreCat: https://research-explorer.ista.ac.at/record/5804
DOI: 10.1016/j.tcs.2015.11.018

On different topological classes of spherical geodesic paths and circles inZ3
R. Biswas, P. Bhowmick, Theoretical Computer Science 605 (2015) 146–163.
LibreCat: https://research-explorer.ista.ac.at/record/5807
DOI: 10.1016/j.tcs.2015.09.003

Layer the sphere
R. Biswas, P. Bhowmick, The Visual Computer 31 (2015) 787–797.
LibreCat: https://research-explorer.ista.ac.at/record/5808
DOI: 10.1007/s00371-015-1101-3

Structural basis of transcription initiation by RNA polymerase II
S. Sainsbury, C. Bernecky, P. Cramer, Nature Reviews Molecular Cell Biology 16 (2015) 129–143.
LibreCat: https://research-explorer.ista.ac.at/record/594
DOI: 10.1038/nrm3952

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.
LibreCat: https://research-explorer.ista.ac.at/record/1511
DOI: 10.4230/LIPIcs.SOCG.2015.476

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.
LibreCat: https://research-explorer.ista.ac.at/record/6118
DOI: 10.1073/pnas.1423808112
PMID: 26100886

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).
LibreCat: https://research-explorer.ista.ac.at/record/6120
DOI: 10.7554/elife.04241
PMID: 25760081

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.
LibreCat: https://research-explorer.ista.ac.at/record/1637
DOI: 10.1109/FOCS.2015.80

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.
LibreCat: https://research-explorer.ista.ac.at/record/6507
DOI: 10.1182/blood-2015-08-667055
PMID: 26552697

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.
LibreCat: https://research-explorer.ista.ac.at/record/6737
DOI: 10.1109/tit.2014.2368555
arXiv: 1401.6060

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.
LibreCat: https://research-explorer.ista.ac.at/record/6736
DOI: 10.1109/tit.2015.2453315
arXiv: 1304.5220

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).
LibreCat: https://research-explorer.ista.ac.at/record/7070
DOI: 10.1103/physrevb.92.180509

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.
LibreCat: https://research-explorer.ista.ac.at/record/7456
DOI: 10.1039/c5nr00737b
PMID: 26168304

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.
LibreCat: https://research-explorer.ista.ac.at/record/7457
DOI: 10.1039/c5ra11347d

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.
LibreCat: https://research-explorer.ista.ac.at/record/7742
DOI: 10.1038/ng.3401

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).
LibreCat: https://research-explorer.ista.ac.at/record/7741
DOI: 10.1098/rspb.2015.0689
PMID: 26063846

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.
LibreCat: https://research-explorer.ista.ac.at/record/7739
DOI: 10.1111/mec.13452

The SprayList: A scalable relaxed priority queue
D.-A. Alistarh, J. Kopinsky, J. Li, N. Shavit, in:, ACM, 2015, pp. 11–20.
LibreCat: https://research-explorer.ista.ac.at/record/776
DOI: 10.1145/2688500.2688523

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).
LibreCat: https://research-explorer.ista.ac.at/record/7765
DOI: 10.1103/physrevlett.114.225501

Collective dynamics of soft active particles
R. van Drongelen, A. Pal, C.P. Goodrich, T. Idema, Physical Review E 91 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/7767
DOI: 10.1103/physreve.91.032706

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.
LibreCat: https://research-explorer.ista.ac.at/record/7766
DOI: 10.1039/c4sm02905d

Streaming min-max hypergraph partitioning
D.-A. Alistarh, J. Iglesias, M. Vojnovi, in:, Neural Information Processing Systems, 2015, pp. 1900–1908.
LibreCat: https://research-explorer.ista.ac.at/record/777

Inherent limitations of hybrid transactional memory
D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit, in:, Springer, 2015, pp. 185–199.
LibreCat: https://research-explorer.ista.ac.at/record/778
DOI: 10.1007/978-3-662-48653-5_13
arXiv: 1405.5689

Unearthing the anticrystal: Criticality in the linear response of  disordered solids
C.P. Goodrich, ArXiv:1510.08820 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/7779
arXiv: 1510.08820

ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, A. Matveev, W. Leiserson, N. Shavit, in:, ACM, 2015, pp. 123–132.
LibreCat: https://research-explorer.ista.ac.at/record/779
DOI: 10.1145/2755573.2755600

Polylogarithmic-time leader election in population protocols
D.-A. Alistarh, R. Gelashvili, in:, Springer, 2015, pp. 479–491.
LibreCat: https://research-explorer.ista.ac.at/record/780
DOI: 10.1007/978-3-662-47666-6_38
arXiv: 1502.05745

Fast and exact majority in population protocols
D.-A. Alistarh, R. Gelashvili, M. Vojnovi, in:, ACM, 2015, pp. 47–56.
LibreCat: https://research-explorer.ista.ac.at/record/781
DOI: 10.1145/2767386.2767429

Lock-Free algorithms under stochastic schedulers
D.-A. Alistarh, T. Sauerwald, M. Vojnovi, in:, ACM, 2015, pp. 251–260.
LibreCat: https://research-explorer.ista.ac.at/record/782
DOI: 10.1145/2767386.2767430

How to elect a leader faster than a tournament
D.-A. Alistarh, R. Gelashvili, A. Vladu, in:, ACM, 2015, pp. 365–374.
LibreCat: https://research-explorer.ista.ac.at/record/783
DOI: 10.1145/2767386.2767420

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.
LibreCat: https://research-explorer.ista.ac.at/record/784
DOI: 10.1145/2785956.2790035

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.
LibreCat: https://research-explorer.ista.ac.at/record/802
DOI: 10.1093/glycob/cwv059
PMID: 26306635

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.
LibreCat: https://research-explorer.ista.ac.at/record/815
DOI: 10.1128/JVI.01502-15
PMID: 26223638

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.
LibreCat: https://research-explorer.ista.ac.at/record/814
DOI: 10.1038/nature13838

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).
LibreCat: https://research-explorer.ista.ac.at/record/8242
DOI: 10.1016/j.jaci.2014.12.1263

Real time analysis of lateral root organogenesis in arabidopsis
P. Marhavý, E. Benková, Bio-Protocol 5 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/832
DOI: 10.21769/BioProtoc.1446