Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
LibreCat: https://research-explorer.ista.ac.at/record/11793
DOI: 10.1007/978-3-642-39212-2_53
arXiv: 1512.08147

Valuation compressions in VCG-based combinatorial auctions
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 9th International Conference on Web and Internet Economics, Springer Nature, 2013, pp. 146–159.
LibreCat: https://research-explorer.ista.ac.at/record/11791
DOI: 10.1007/978-3-642-45046-4_13
arXiv: 1310.3153

Maximizing a submodular function with viability constraints
W. Dvoák, M.H. Henzinger, D.P. Williamson, in:, 21st Annual European Symposium on Algorithms, Springer Nature, 2013, pp. 409–420.
LibreCat: https://research-explorer.ista.ac.at/record/11792
DOI: 10.1007/978-3-642-40450-4_35
arXiv: 1611.05753

Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–547.
LibreCat: https://research-explorer.ista.ac.at/record/11856
DOI: 10.1109/focs.2013.64
arXiv: 1308.0776

Bidder optimal assignments for general utilities
P. Dütting, M.H. Henzinger, I. Weber, Theoretical Computer Science 478 (2013) 22–32.
LibreCat: https://research-explorer.ista.ac.at/record/11902
DOI: 10.1016/j.tcs.2013.01.030

In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins
B. Pieber, S.T. Martinez, D. Cantillo, C.O. Kappe, Angewandte Chemie International Edition 52 (2013) 10241–10244.
LibreCat: https://research-explorer.ista.ac.at/record/11959
DOI: 10.1002/anie.201303528

Microwave effects in organic synthesis: Myth or reality?
C.O. Kappe, B. Pieber, D. Dallinger, Angewandte Chemie International Edition 52 (2013) 1088–1094.
LibreCat: https://research-explorer.ista.ac.at/record/11960
DOI: 10.1002/anie.201204103

Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent
B. Pieber, C.O. Kappe, Green Chemistry 15 (2013) 320–324.
LibreCat: https://research-explorer.ista.ac.at/record/11973
DOI: 10.1039/c2gc36896j

Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130.
LibreCat: https://research-explorer.ista.ac.at/record/12642
DOI: 10.3189/2013aog63a477

A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability
I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.
LibreCat: https://research-explorer.ista.ac.at/record/12643
DOI: 10.1002/jgrd.50277

Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds
W.W. Immerzeel, F. Pellicciotti, M.F.P. Bierkens, Nature Geoscience 6 (2013) 742–745.
LibreCat: https://research-explorer.ista.ac.at/record/12640
DOI: 10.1038/ngeo1896

Parameter sensitivity of a distributed enhanced temperature-index melt model
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
LibreCat: https://research-explorer.ista.ac.at/record/12641
DOI: 10.3189/2013aog63a537

Optogenetic control of fly optomotor responses
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
LibreCat: https://research-explorer.ista.ac.at/record/1304
DOI: 10.1523/JNEUROSCI.0340-13.2013

Functional specialization of parallel motion detection circuits in the fly
M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905.
LibreCat: https://research-explorer.ista.ac.at/record/1305
DOI: 10.1523/JNEUROSCI.3374-12.2013

Advection-driven support shrinking in a chemotaxis model with degenerate mobility
J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
LibreCat: https://research-explorer.ista.ac.at/record/1308
DOI: 10.1137/120874291

Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models
J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.
LibreCat: https://research-explorer.ista.ac.at/record/1307
DOI: 10.1080/03605302.2013.823548

Optimal lower bounds on asymptotic support propagation rates for the thin-film equation
J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
LibreCat: https://research-explorer.ista.ac.at/record/1310
DOI: 10.1016/j.jde.2013.07.028

Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
LibreCat: https://research-explorer.ista.ac.at/record/1374
DOI: 10.4230/LIPIcs.CSL.2013.181

Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
LibreCat: https://research-explorer.ista.ac.at/record/1385
DOI: 10.1109/FMCAD.2013.6679394
arXiv: 1308.4767

Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
LibreCat: https://research-explorer.ista.ac.at/record/1387
DOI: 10.1007/978-3-642-39212-2_11