Please note that ISTA 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.
368 Publications
2013 | Journal Article | IST-REx-ID: 11085 |
Catastrophic nuclear envelope collapse in cancer cell micronuclei
E.M. Hatch, A.H. Fischer, T.J. Deerinck, M. Hetzer, Cell 154 (2013) 47–60.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, A.H. Fischer, T.J. Deerinck, M. Hetzer, Cell 154 (2013) 47–60.
2013 | Journal Article | IST-REx-ID: 11088 |
Anomalous diffusion of single particles in cytoplasm
B.M. Regner, D. Vučinić, C. Domnisoru, T.M. Bartol, M. Hetzer, D.M. Tartakovsky, T.J. Sejnowski, Biophysical Journal 104 (2013) 1652–1660.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
B.M. Regner, D. Vučinić, C. Domnisoru, T.M. Bartol, M. Hetzer, D.M. Tartakovsky, T.J. Sejnowski, Biophysical Journal 104 (2013) 1652–1660.
2013 | Journal Article | IST-REx-ID: 11083
The role of Nup98 in transcription regulation in healthy and diseased cells
T.M. Franks, M. Hetzer, Trends in Cell Biology 23 (2013) 112–117.
View
| DOI
| PubMed | Europe PMC
T.M. Franks, M. Hetzer, Trends in Cell Biology 23 (2013) 112–117.
2013 | Journal Article | IST-REx-ID: 11084
Protein homeostasis: Live long, won't prosper
B.H. Toyama, M. Hetzer, Nature Reviews Molecular Cell Biology 14 (2013) 55–61.
View
| DOI
| PubMed | Europe PMC
B.H. Toyama, M. Hetzer, Nature Reviews Molecular Cell Biology 14 (2013) 55–61.
2013 | Journal Article | IST-REx-ID: 115
In situ granular charge measurement by free-fall videography
S.R. Waitukaitis, H. Jaeger, Review of Scientific Instruments 84 (2013).
View
| DOI
S.R. Waitukaitis, H. Jaeger, Review of Scientific Instruments 84 (2013).
2013 | Journal Article | IST-REx-ID: 11520 |
The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS
D. Sobral, A.M. Swinbank, J.P. Stott, J.J. Matthee, R.G. Bower, I. Smail, P. Best, J.E. Geach, R.M. Sharples, The Astrophysical Journal 779 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, A.M. Swinbank, J.P. Stott, J.J. Matthee, R.G. Bower, I. Smail, P. Best, J.E. Geach, R.M. Sharples, The Astrophysical Journal 779 (2013).
2013 | Journal Article | IST-REx-ID: 116
Dynamic jamming fronts
S.R. Waitukaitis, L. Roth, V. Vitelli, H. Jaeger, EPL 102 (2013).
View
| DOI
S.R. Waitukaitis, L. Roth, V. Vitelli, H. Jaeger, EPL 102 (2013).
2013 | Journal Article | IST-REx-ID: 11671
A comprehensive study of techniques for URL-based web page language classification
E. Baykan, I. Weber, M.H. Henzinger, ACM Transactions on the Web 7 (2013).
View
| DOI
E. Baykan, I. Weber, M.H. Henzinger, ACM Transactions on the Web 7 (2013).
2013 | Conference Paper | IST-REx-ID: 117
From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions
H. Jaeger, M. Miskin, S.R. Waitukaitis, in:, AIP Conference Proceedings, AIP, 2013, pp. 3–6.
View
| DOI
H. Jaeger, M. Miskin, S.R. Waitukaitis, in:, AIP Conference Proceedings, AIP, 2013, pp. 3–6.
2013 | Journal Article | IST-REx-ID: 11759 |
Sponsored search, market equilibria, and the Hungarian Method
P. Dütting, M.H. Henzinger, I. Weber, Information Processing Letters 113 (2013) 67–73.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, I. Weber, Information Processing Letters 113 (2013) 67–73.
2013 | Conference Paper | IST-REx-ID: 11793 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
2013 | Conference Paper | IST-REx-ID: 11791 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 9th International Conference on Web and Internet Economics, Springer Nature, 2013, pp. 146–159.
2013 | Conference Paper | IST-REx-ID: 11792 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
W. Dvořák, M.H. Henzinger, D.P. Williamson, in:, 21st Annual European Symposium on Algorithms, Springer Nature, 2013, pp. 409–420.
2013 | Conference Paper | IST-REx-ID: 11856 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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.
2013 | Journal Article | IST-REx-ID: 11902
Bidder optimal assignments for general utilities
P. Dütting, M.H. Henzinger, I. Weber, Theoretical Computer Science 478 (2013) 22–32.
View
| Files available
| DOI
P. Dütting, M.H. Henzinger, I. Weber, Theoretical Computer Science 478 (2013) 22–32.
2013 | Journal Article | IST-REx-ID: 11959
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.
View
| DOI
B. Pieber, S.T. Martinez, D. Cantillo, C.O. Kappe, Angewandte Chemie International Edition 52 (2013) 10241–10244.
2013 | Journal Article | IST-REx-ID: 11960
Microwave effects in organic synthesis: Myth or reality?
C.O. Kappe, B. Pieber, D. Dallinger, Angewandte Chemie International Edition 52 (2013) 1088–1094.
View
| DOI
C.O. Kappe, B. Pieber, D. Dallinger, Angewandte Chemie International Edition 52 (2013) 1088–1094.
2013 | Journal Article | IST-REx-ID: 11973
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.
View
| DOI
B. Pieber, C.O. Kappe, Green Chemistry 15 (2013) 320–324.
2013 | Journal Article | IST-REx-ID: 12642 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130.
2013 | Journal Article | IST-REx-ID: 12643 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.
2013 | Journal Article | IST-REx-ID: 12640
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.
View
| DOI
W.W. Immerzeel, F. Pellicciotti, M.F.P. Bierkens, Nature Geoscience 6 (2013) 742–745.
2013 | Journal Article | IST-REx-ID: 12641 |
Parameter sensitivity of a distributed enhanced temperature-index melt model
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
2013 | Journal Article | IST-REx-ID: 1304
Optogenetic control of fly optomotor responses
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
View
| DOI
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
2013 | Journal Article | IST-REx-ID: 1305
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.
View
| DOI
M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905.
2013 | Journal Article | IST-REx-ID: 1308
Advection-driven support shrinking in a chemotaxis model with degenerate mobility
J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
View
| DOI
J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
2013 | Journal Article | IST-REx-ID: 1307
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.
View
| DOI
J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.
2013 | Journal Article | IST-REx-ID: 1310
Optimal lower bounds on asymptotic support propagation rates for the thin-film equation
J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
View
| DOI
J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
2013 | Conference Paper | IST-REx-ID: 1374 |
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.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 | Conference Paper | IST-REx-ID: 1385 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 | Conference Paper | IST-REx-ID: 1387 |
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version]
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
2013 | Journal Article | IST-REx-ID: 1442 |
Positivity for Kac polynomials and DT-invariants of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
View
| DOI
| Download (ext.)
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
2013 | Book Chapter | IST-REx-ID: 1443 |
Global topology of the Hitchin system
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.
View
| Download (ext.)
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.
2013 | Journal Article | IST-REx-ID: 1469
Arithmetic harmonic analysis on character and quiver varieties II
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.
View
| DOI
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.
2013 | Journal Article | IST-REx-ID: 1470 |
Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
View
| DOI
| Download (ext.)
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
2013 | Journal Article | IST-REx-ID: 11758
38th International Colloquium on Automata, Languages and Programming
L. Aceto, M.H. Henzinger, J. Sgall, Information and Computation 222 (2013) 1.
View
| DOI
L. Aceto, M.H. Henzinger, J. Sgall, Information and Computation 222 (2013) 1.
2013 | Journal Article | IST-REx-ID: 1726
The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling
N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, C. Kalcheim, Development 140 (2013) 1740–1750.
View
| DOI
N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, C. Kalcheim, Development 140 (2013) 1740–1750.
2013 | Journal Article | IST-REx-ID: 1727
Quantitative imaging of morphogen gradients in drosophila imaginal discs
A. Kicheva, L. Holtzer, O. Wartlick, T. Schmidt, M. González Gaitán, Cold Spring Harbor Protocols 8 (2013) 387–403.
View
| DOI
A. Kicheva, L. Holtzer, O. Wartlick, T. Schmidt, M. González Gaitán, Cold Spring Harbor Protocols 8 (2013) 387–403.
2013 | Journal Article | IST-REx-ID: 1760 |
SiGe quantum dots for fast hole spin Rabi oscillations
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
View
| DOI
| Download (ext.)
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
2013 | Journal Article | IST-REx-ID: 1759 |
Nature of tunable hole g factors in quantum dots
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
N. Ares, V. Golovach, G. Katsaros, M. Stoffel, F. Fournel, L. Glazman, O. Schmidt, S. De Franceschi, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 1785
Experimental realization of non-Abelian non-adiabatic geometric gates
A. Abdumalikov, J.M. Fink, K. Juliusson, M. Pechal, S. Berger, A. Wallraff, S. Filipp, Nature 496 (2013) 482–485.
View
| DOI
A. Abdumalikov, J.M. Fink, K. Juliusson, M. Pechal, S. Berger, A. Wallraff, S. Filipp, Nature 496 (2013) 482–485.
2013 | Journal Article | IST-REx-ID: 1787
Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies
C. Lang, C. Eichler, L. Steffen, J.M. Fink, M. Woolley, A. Blais, A. Wallraff, Nature Physics 9 (2013) 345–348.
View
| DOI
C. Lang, C. Eichler, L. Steffen, J.M. Fink, M. Woolley, A. Blais, A. Wallraff, Nature Physics 9 (2013) 345–348.
2013 | Journal Article | IST-REx-ID: 1786 |
Collective suppression of linewidths in circuit QED
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).
View
| DOI
| Download (ext.)
F. Nissen, J.M. Fink, J. Mlynek, A. Wallraff, J. Keeling, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 1790
The sacred disease: The puzzling genetics of epileptic disorders
G. Novarino, S. Baek, J. Gleeson, Neuron 80 (2013) 9–11.
View
| DOI
G. Novarino, S. Baek, J. Gleeson, Neuron 80 (2013) 9–11.
2013 | Journal Article | IST-REx-ID: 1977
A long road towards the structure of respiratory complex I, a giant molecular proton pump
L.A. Sazanov, R. Baradaran, R. Efremov, J. Berrisford, G. Minhas, Biochemical Society Transactions 41 (2013) 1265–1271.
View
| DOI
L.A. Sazanov, R. Baradaran, R. Efremov, J. Berrisford, G. Minhas, Biochemical Society Transactions 41 (2013) 1265–1271.
2013 | Journal Article | IST-REx-ID: 1978
Crystal structure of the entire respiratory complex i
R. Baradaran, J. Berrisford, G. Minhas, L.A. Sazanov, Nature 494 (2013) 443–448.
View
| DOI
R. Baradaran, J. Berrisford, G. Minhas, L.A. Sazanov, Nature 494 (2013) 443–448.
2013 | Journal Article | IST-REx-ID: 1991
Reversal of an ancient sex chromosome to an autosome in Drosophila
B. Vicoso, D. Bachtrog, Nature 499 (2013) 332–335.
View
| DOI
B. Vicoso, D. Bachtrog, Nature 499 (2013) 332–335.
2013 | Journal Article | IST-REx-ID: 1988
Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation
M. Bonny, E. Fischer Friedrich, M. Loose, P. Schwille, K. Kruse, PLoS Computational Biology 9 (2013).
View
| DOI
M. Bonny, E. Fischer Friedrich, M. Loose, P. Schwille, K. Kruse, PLoS Computational Biology 9 (2013).
2013 | Journal Article | IST-REx-ID: 2010 |
Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.
2013 | Journal Article | IST-REx-ID: 2009 |
Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.
2013 | Journal Article | IST-REx-ID: 2074
Sex biased gene expression at homomorphic sex chromosomes in emus and its implication for sex chromosome evolution
B. Vicoso, V. Kaiser, D. Bachtrog, PNAS 110 (2013) 6453–6458.
View
| DOI
B. Vicoso, V. Kaiser, D. Bachtrog, PNAS 110 (2013) 6453–6458.
2013 | Journal Article | IST-REx-ID: 2076
Comparative sex chromosome genomics in snakes: Differentiation evolutionary strata and lack of global dosage compensation
B. Vicoso, J. Emerson, Y. Zektser, S. Mahajan, D. Bachtrog, PLoS Biology 11 (2013).
View
| DOI
B. Vicoso, J. Emerson, Y. Zektser, S. Mahajan, D. Bachtrog, PLoS Biology 11 (2013).
2013 | Journal Article | IST-REx-ID: 2108
Computational design of mechanical characters
S. Coros, B. Thomaszewski, G. Noris, S. Sueda, M. Forberg, R. Sumner, W. Matusik, B. Bickel, ACM Transactions on Graphics 32 (2013).
View
| DOI
S. Coros, B. Thomaszewski, G. Noris, S. Sueda, M. Forberg, R. Sumner, W. Matusik, B. Bickel, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2110
Fabricating translucent materials using continuous pigment mixtures
M. Papas, C. Regg, W. Jarosz, B. Bickel, P. Jackson, W. Matusik, S. Marschner, M. Groß, ACM Transactions on Graphics 32 (2013).
View
| DOI
M. Papas, C. Regg, W. Jarosz, B. Bickel, P. Jackson, W. Matusik, S. Marschner, M. Groß, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2111
Augmenting physical avatars using projector-based illumination
A. Bermano, P. Bruschweiler, A. Grundhöfer, D. Iwai, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
View
| DOI
A. Bermano, P. Bruschweiler, A. Grundhöfer, D. Iwai, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2109
Orthogonal slicing for additive manufacturing
K. Hildebrand, B. Bickel, M. Alexa, Computers and Graphics (Pergamon) 37 (2013) 669–675.
View
| DOI
K. Hildebrand, B. Bickel, M. Alexa, Computers and Graphics (Pergamon) 37 (2013) 669–675.
2013 | Journal Article | IST-REx-ID: 2107
Computational design of actuated deformable characters
M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
View
| DOI
M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, M. Groß, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2112
Modeling and estimation of internal friction in cloth
E. Miguel, R. Tamstorf, D. Bradley, S. Schvartzman, B. Thomaszewski, B. Bickel, W. Matusik, S. Marschner, M. Otaduy, ACM Transactions on Graphics 32 (2013).
View
| DOI
E. Miguel, R. Tamstorf, D. Bradley, S. Schvartzman, B. Thomaszewski, B. Bickel, W. Matusik, S. Marschner, M. Otaduy, ACM Transactions on Graphics 32 (2013).
2013 | Journal Article | IST-REx-ID: 2117 |
Poisson stochastic integration in Banach spaces
S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18 (2013).
View
| DOI
| Download (ext.)
S. Dirksen, J. Maas, J. Van Neerven, Electronic Journal of Probability 18 (2013).
2013 | Journal Article | IST-REx-ID: 2113
3D printing spatially varying BRDFs
O. Rouiller, B. Bickel, J. Kautz, W. Matusik, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 48–57.
View
| DOI
O. Rouiller, B. Bickel, J. Kautz, W. Matusik, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 48–57.
2013 | Journal Article | IST-REx-ID: 2114
Computational aspects of fabrication: Modeling, design and 3d printing
B. Bickel, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 24–25.
View
| DOI
B. Bickel, M. Alexa, IEEE Computer Graphics and Applications 33 (2013) 24–25.
2013 | Journal Article | IST-REx-ID: 2129 |
Gromov-Hausdorff convergence of discrete transportation metrics
N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
View
| DOI
| Download (ext.)
N. Gigli, J. Maas, SIAM Journal on Mathematical Analysis 45 (2013) 879–899.
2013 | Journal Article | IST-REx-ID: 2139 |
Manipulating scattering of ultracold atoms with light-induced dissipation
M. Lemeshko, Frontiers Physics 1 (2013).
View
| DOI
| Download (ext.)
M. Lemeshko, Frontiers Physics 1 (2013).
2013 | Conference Paper | IST-REx-ID: 2181 |
Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.
2013 | Conference Paper | IST-REx-ID: 2182
Quantitative abstraction refinement
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
View
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.
2013 | Conference Paper | IST-REx-ID: 2209
Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
View
| DOI
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
2013 | Journal Article | IST-REx-ID: 2204 |
Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).
View
| Files available
| DOI
| Download None (ext.)
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).
2013 | Journal Article | IST-REx-ID: 2206 |
Controllable quantum spin glasses with magnetic impurities embedded in quantum solids
M. Lemeshko, N. Yao, A. Gorshkov, H. Weimer, S. Bennett, T. Momose, S. Gopalakrishnan, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
View
| DOI
| Download (ext.)
M. Lemeshko, N. Yao, A. Gorshkov, H. Weimer, S. Bennett, T. Momose, S. Gopalakrishnan, Physical Review B - Condensed Matter and Materials Physics 88 (2013).
2013 | Book Review | IST-REx-ID: 2205 |
Manipulation of molecules with electromagnetic fields
M. Lemeshko, R. Krems, J. Doyle, S. Kais, Molecular Physics 111 (2013) 1648–1682.
View
| DOI
| Download (ext.)
M. Lemeshko, R. Krems, J. Doyle, S. Kais, Molecular Physics 111 (2013) 1648–1682.
2013 | Journal Article | IST-REx-ID: 2207 |
Dissipative binding of atoms by non-conservative forces
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
View
| DOI
| Download (ext.)
M. Lemeshko, H. Weimer, Nature Communications 4 (2013).
2013 | Conference Paper | IST-REx-ID: 2210 |
Reconstructing polygons from embedded straight skeletons
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
[Submitted Version]
View
| Download Submitted Version (ext.)
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
2013 | Conference Paper | IST-REx-ID: 2237 |
Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
[Submitted Version]
View
| Files available
| DOI
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
2013 | Conference Paper | IST-REx-ID: 2238
Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
View
| DOI
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
2013 | Conference Paper | IST-REx-ID: 2243 |
Elementary modal logics over transitive structures
J. Michaliszyn, J. Otop, 23 (2013) 563–577.
[Published Version]
View
| Files available
| DOI
J. Michaliszyn, J. Otop, 23 (2013) 563–577.
2013 | Conference Paper | IST-REx-ID: 2244 |
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
2013 | Conference Paper | IST-REx-ID: 2259 |
Learning with rounding, revisited: New reduction properties and applications
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
[Published Version]
View
| Files available
| DOI
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
2013 | Conference Paper | IST-REx-ID: 2258 |
Digital signatures with minimal overhead from indifferentiable random invertible functions
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
[Submitted Version]
View
| Files available
| DOI
E. Kiltz, K.Z. Pietrzak, M. Szegedy, 8042 (2013) 571–588.
2013 | Journal Article | IST-REx-ID: 2256 |
Linked (Open) Data - Bibliographische Daten im Semantic Web
P. Danowski, D. Goldfarb, V. Schaffner, W. Seidler, VÖB Mitteilungen 66 (2013) 559–587.
[Published Version]
View
| Files available
P. Danowski, D. Goldfarb, V. Schaffner, W. Seidler, VÖB Mitteilungen 66 (2013) 559–587.
2013 | Conference Paper | IST-REx-ID: 2260 |
Efficient signatures of knowledge and DAA in the standard model
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
2013 | Journal Article | IST-REx-ID: 2264 |
Neural development is dependent on the function of specificity protein 2 in cell cycle progression
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Liang, G. Xiao, H. Yin, S. Hippenmeyer, J. Horowitz, T. Ghashghaei, Development 140 (2013) 552–561.
2013 | Journal Article | IST-REx-ID: 2269
Analytic Visibility on the GPU
T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 32 (2013) 409–418.
View
| DOI
T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 32 (2013) 409–418.
2013 | Conference Paper | IST-REx-ID: 2270 |
Optimal Coalition Structures in Cooperative Graph Games
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
View
| Download None (ext.)
| arXiv
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
2013 | Report | IST-REx-ID: 2273 |
Reweighted message passing revisited
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, 2013.
View
| Download (ext.)
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, 2013.
2013 | Journal Article | IST-REx-ID: 2278
A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development
R. Pérez Gómez, J. Slovakova, N. Rives Quinto, A. Krejčí, A. Carmena, Journal of Cell Science 126 (2013) 4873–4884.
View
| DOI
R. Pérez Gómez, J. Slovakova, N. Rives Quinto, A. Krejčí, A. Carmena, Journal of Cell Science 126 (2013) 4873–4884.
2013 | Conference Paper | IST-REx-ID: 2276 |
Potts model, parametric maxflow and k-submodular functions
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Gridchyn, V. Kolmogorov, in:, IEEE, 2013, pp. 2320–2327.
2013 | Journal Article | IST-REx-ID: 2280 |
Packing ellipsoids with overlap
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Uhler, S. Wright, SIAM Review 55 (2013) 671–706.
2013 | Journal Article | IST-REx-ID: 2287 |
The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
[Published Version]
View
| Files available
| DOI
M. Pickup, S. Barrett, Ecology and Evolution 3 (2013) 629–639.
2013 | Journal Article | IST-REx-ID: 2282 |
Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, C.-P.J. Heisenberg, Nature Cell Biology 15 (2013) 1405–1414.
2013 | Journal Article | IST-REx-ID: 2283
Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
View
| DOI
C. Pull, W. Hughes, M. Brown, Naturwissenschaften 100 (2013) 1125–1136.
2013 | Journal Article | IST-REx-ID: 2286 |
The force and effect of cell proliferation
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
P. Campinho, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 2783–2784.
2013 | Journal Article | IST-REx-ID: 2289 |
Quantitative reactive modeling and verification
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, Computer Science Research and Development 28 (2013) 331–344.
2013 | Journal Article | IST-REx-ID: 2290 |
ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Y. Boutté, K. Jonsson, H. Mcfarlane, E. Johnson, D. Gendre, R. Swarup, J. Friml, L. Samuels, S. Robert, R. Bhalerao, PNAS 110 (2013) 16259–16264.
2013 | Conference Paper | IST-REx-ID: 2294 |
Drosophila Embryo Stage Annotation using Label Propagation
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T. Kazmar, E. Kvon, A. Stark, C. Lampert, in:, IEEE, 2013.
2013 | Conference (Editor) | IST-REx-ID: 2292
Mathematical Foundations of Computer Science 2013
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.
View
| DOI
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.
2013 | Conference Paper | IST-REx-ID: 2293 |
Learning to rank using privileged information
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
V. Sharmanska, N. Quadrianto, C. Lampert, in:, IEEE, 2013, pp. 825–832.
2013 | Conference Paper | IST-REx-ID: 2291 |
Cryptographically enforced RBAC
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Ferrara, G. Fuchsbauer, B. Warinschi, in:, IEEE, 2013, pp. 115–129.
2013 | Conference (Editor) | IST-REx-ID: 2288
Computational Methods in Systems Biology
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
View
| DOI
A. Gupta, T.A. Henzinger, eds., Computational Methods in Systems Biology, Springer, 2013.
2013 | Conference Paper | IST-REx-ID: 2298 |
Local shape analysis for overlaid data structures
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
[Submitted Version]
View
| Files available
| DOI
C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2013, pp. 150–171.
2013 | Journal Article | IST-REx-ID: 2299 |
Synthesis of AMBA AHB from formal specification: A case study
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
[Submitted Version]
View
| Files available
| DOI
Y. Godhal, K. Chatterjee, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 15 (2013) 585–601.
2013 | Journal Article | IST-REx-ID: 2297 |
Hot topics in cold gases: A mathematical physics perspective
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Seiringer, Japanese Journal of Mathematics 8 (2013) 185–232.
2013 | Book | IST-REx-ID: 2306 |
(Open) Linked Data in Bibliotheken
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.
[Published Version]
View
| Files available
| DOI
P. Danowski, A. Pohl, (Open) Linked Data in Bibliotheken, De Gruyter, 2013.