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.
5783 Publications
2012 | Conference Paper | IST-REx-ID: 3123 |
Explicit mesh surfaces for particle based fluids
J. Yu, C. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Wiley, 2012, pp. 815–824.
[Submitted Version]
View
| Files available
| DOI
J. Yu, C. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Wiley, 2012, pp. 815–824.
2012 | Journal Article | IST-REx-ID: 3244 |
Die Zeit des Abwartens ist vorbei!
P. Danowski, BuB - Forum Bibliothek und Information 64 (2012) 284.
[Published Version]
View
| Download Published Version (ext.)
P. Danowski, BuB - Forum Bibliothek und Information 64 (2012) 284.
2012 | Journal Article | IST-REx-ID: 3243 |
Zwischen Technologie und Information
P. Danowski, Büchereiperspektiven 2012 (2012) 11.
[Published Version]
View
| Download Published Version (ext.)
P. Danowski, Büchereiperspektiven 2012 (2012) 11.
2012 | Conference Paper | IST-REx-ID: 3127 |
The most persistent soft-clique in a set of sampled graphs
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–218.
[Preprint]
View
| Download Preprint (ext.)
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–218.
2012 | Journal Article | IST-REx-ID: 2904 |
Weak multipliers for generalized van der Corput sequences
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.
[Published Version]
View
| Files available
| DOI
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.
2012 | Journal Article | IST-REx-ID: 2902 |
Fractal and computational geometry for generalizing cartographic objects
H. Edelsbrunner, O. Musin, A. Ukhalov, O. Yakimova, V. Alexeev, V. Bogaevskaya, A. Gorohov, M. Preobrazhenskaya, Modeling and Analysis of Information Systems 19 (2012) 152–160.
[Published Version]
View
| Download Published Version (ext.)
H. Edelsbrunner, O. Musin, A. Ukhalov, O. Yakimova, V. Alexeev, V. Bogaevskaya, A. Gorohov, M. Preobrazhenskaya, Modeling and Analysis of Information Systems 19 (2012) 152–160.
2011 | Journal Article | IST-REx-ID: 10389 |
Soft elastic surfaces as a platform for particle self-assembly
A. Šarić, A. Cacciuto, Soft Matter 7 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Šarić, A. Cacciuto, Soft Matter 7 (2011).
2011 | Journal Article | IST-REx-ID: 1050 |
Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
2011 | Journal Article | IST-REx-ID: 1048 |
Ultracold and dense samples of ground-state molecules in lattice potentials
H. Nägerl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J.G. Danzl, Journal of Physics: Conference Series 264 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Nägerl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J.G. Danzl, Journal of Physics: Conference Series 264 (2011).
2011 | Journal Article | IST-REx-ID: 1052 |
Optimal trapping wavelengths of Cs 2 molecules in an optical lattice
R. Vexiau, N. Bouloufa, M. Aymar, J.G. Danzl, M. Mark, H. Nägerl, O. Dulieu, European Physical Journal D 65 (2011) 243–250.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Vexiau, N. Bouloufa, M. Aymar, J.G. Danzl, M. Mark, H. Nägerl, O. Dulieu, European Physical Journal D 65 (2011) 243–250.
2011 | Journal Article | IST-REx-ID: 1053 |
Precision measurements on a tunable Mott insulator of ultracold atoms
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Daley, H. Nägerl, Physical Review Letters 107 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Daley, H. Nägerl, Physical Review Letters 107 (2011).
2011 | Journal Article | IST-REx-ID: 1054 |
Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension
E. Haller, M. Rabie, M. Mark, J.G. Danzl, R. Hart, K. Lauber, G. Pupillo, H. Nägerl, Physical Review Letters 107 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Haller, M. Rabie, M. Mark, J.G. Danzl, R. Hart, K. Lauber, G. Pupillo, H. Nägerl, Physical Review Letters 107 (2011).
2011 | Journal Article | IST-REx-ID: 11094 |
POM121 and Sun1 play a role in early steps of interphase NPC assembly
J.A. Talamas, M. Hetzer, Journal of Cell Biology 194 (2011) 27–37.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.A. Talamas, M. Hetzer, Journal of Cell Biology 194 (2011) 27–37.
2011 | Journal Article | IST-REx-ID: 112 |
Droplet and cluster formation in freely falling granular streams
S.R. Waitukaitis, H. Grütjen, J. Royer, H. Jaeger, Physical Review E 83 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, H. Grütjen, J. Royer, H. Jaeger, Physical Review E 83 (2011).
2011 | Journal Article | IST-REx-ID: 12651 |
Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile
L. Petersen, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 116 (2011).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Petersen, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 116 (2011).
2011 | Journal Article | IST-REx-ID: 12649 |
The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model
D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, P. Burlando, Water Resources Research 47 (2011).
[Published Version]
View
| DOI
| Download Published Version (ext.)
D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, P. Burlando, Water Resources Research 47 (2011).
2011 | Journal Article | IST-REx-ID: 12652 |
Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling
F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal of Glaciology 57 (2011) 367–381.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal of Glaciology 57 (2011) 367–381.
2011 | Journal Article | IST-REx-ID: 1467 |
Arithmetic harmonic analysis on character and quiver varieties
T. Hausel, E. Letellier, F. Rodríguez Villegas, Duke Mathematical Journal 160 (2011) 323–400.
View
| DOI
| Download (ext.)
T. Hausel, E. Letellier, F. Rodríguez Villegas, Duke Mathematical Journal 160 (2011) 323–400.
2011 | Journal Article | IST-REx-ID: 1754 |
Joule-assisted silicidation for short-channel silicon nanowire devices
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, M. Sanquer, S. De Franceschi, ACS Nano 5 (2011) 7117–7123.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, M. Sanquer, S. De Franceschi, ACS Nano 5 (2011) 7117–7123.
2011 | Journal Article | IST-REx-ID: 1755 |
Observation of spin-selective tunneling in sige nanocrystals
G. Katsaros, V. Golovach, P. Spathis, N. Ares, M. Stoffel, F. Fournel, O. Schmidt, L. Glazman, S. De Franceschi, Physical Review Letters 107 (2011).
View
| DOI
| Download (ext.)
G. Katsaros, V. Golovach, P. Spathis, N. Ares, M. Stoffel, F. Fournel, O. Schmidt, L. Glazman, S. De Franceschi, Physical Review Letters 107 (2011).
2011 | Journal Article | IST-REx-ID: 1777 |
Experimental state tomography of itinerant single microwave photons
C. Eichler, D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, A. Wallraff, Physical Review Letters 106 (2011).
View
| Files available
| DOI
| Download None (ext.)
C. Eichler, D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, A. Wallraff, Physical Review Letters 106 (2011).
2011 | Journal Article | IST-REx-ID: 1778 |
Observation of resonant photon blockade at microwave frequencies using correlation function measurements
C. Lang, D. Bozyigit, C. Eichler, L. Steffen, J.M. Fink, A. Abdumalikov, M. Baur, S. Filipp, M. Da Silva, A. Blais, A. Wallraff, Physical Review Letters 106 (2011).
View
| DOI
| Download (ext.)
C. Lang, D. Bozyigit, C. Eichler, L. Steffen, J.M. Fink, A. Abdumalikov, M. Baur, S. Filipp, M. Da Silva, A. Blais, A. Wallraff, Physical Review Letters 106 (2011).
2011 | Journal Article | IST-REx-ID: 1815 |
Adaptive response and enlargement of dynamic range
T. Friedlander, N. Brenner, Mathematical Biosciences and Engineering 8 (2011) 515–526.
View
| DOI
| Download (ext.)
T. Friedlander, N. Brenner, Mathematical Biosciences and Engineering 8 (2011) 515–526.
2011 | Journal Article | IST-REx-ID: 2072 |
Lack of global dosage compensation in Schistosoma mansoni, a female-heterogametic parasite
B. Vicoso, D. Bachtrog, Genome Biology and Evolution 3 (2011) 230–235.
[Published Version]
View
| Files available
| DOI
B. Vicoso, D. Bachtrog, Genome Biology and Evolution 3 (2011) 230–235.
2011 | Book Chapter | IST-REx-ID: 2116 |
Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators
J. Maas, J. Van Neerven, in:, Parabolic Problems, Birkhäuser, 2011, pp. 463–477.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, in:, Parabolic Problems, Birkhäuser, 2011, pp. 463–477.
2011 | Journal Article | IST-REx-ID: 2122 |
Conical square functions and non-tangential maximal functions with respect to the Gaussian measure
J. Maas, J. Van Neerven, P. Portal, Publicacions Matemàtiques 55 (2011) 313–341.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, P. Portal, Publicacions Matemàtiques 55 (2011) 313–341.
2011 | Journal Article | IST-REx-ID: 2123 |
A Trotter product formula for gradient flows in metric spaces
P. Clément, J. Maas, Journal of Evolution Equations 11 (2011) 405–427.
View
| Files available
| DOI
| Download None (ext.)
P. Clément, J. Maas, Journal of Evolution Equations 11 (2011) 405–427.
2011 | Journal Article | IST-REx-ID: 2126 |
Gradient flows of the entropy for finite Markov chains
J. Maas, Journal of Functional Analysis 261 (2011) 2250–2292.
View
| DOI
| Download (ext.)
J. Maas, Journal of Functional Analysis 261 (2011) 2250–2292.
2011 | Preprint | IST-REx-ID: 2138 |
Controlling a diatomic shape resonance with non-resonant light
R. Ağanoğlu, M. Lemeshko, B. Friedrich, R. González Férez, C. Koch, Unknown (2011).
View
| Download (ext.)
R. Ağanoğlu, M. Lemeshko, B. Friedrich, R. González Férez, C. Koch, Unknown (2011).
2011 | Journal Article | IST-REx-ID: 2200 |
Supersymmetry identifies molecular Stark states whose eigenproperties can be obtained analytically
M. Lemeshko, M. Mustafa, S. Kais, B. Friedrich, New Journal of Physics 13 (2011).
View
| DOI
| Download (ext.)
M. Lemeshko, M. Mustafa, S. Kais, B. Friedrich, New Journal of Physics 13 (2011).
2011 | Journal Article | IST-REx-ID: 2199 |
Supersymmetric factorization yields exact solutions to the molecular Stark-effect problem for "stretched" states
M. Lemeshko, M. Mustafa, S. Kais, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).
View
| DOI
| Download (ext.)
M. Lemeshko, M. Mustafa, S. Kais, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).
2011 | Journal Article | IST-REx-ID: 2198 |
Shaping interactions between polar molecules with far-off-resonant light
M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).
View
| DOI
| Download (ext.)
M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).
2011 | Conference Paper | IST-REx-ID: 2320 |
Binding, stability, and non-binding of multi-polaron systems
R. Frank, É. Lieb, R. Seiringer, L. Thomas, in:, World Scientific Publishing, 2011, pp. 21–32.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, L. Thomas, in:, World Scientific Publishing, 2011, pp. 21–32.
2011 | Conference Paper | IST-REx-ID: 2321 |
A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials
R. Frank, A. Laptev, R. Seiringer, in:, Springer, 2011, pp. 39–44.
View
| DOI
| Download (ext.)
R. Frank, A. Laptev, R. Seiringer, in:, Springer, 2011, pp. 39–44.
2011 | Journal Article | IST-REx-ID: 2390 |
Stability and absence of binding for multi-polaron systems
R. Frank, É. Lieb, R. Seiringer, L. Thomas, Publications Mathematiques de l Institut Des Hautes Etudes Scientifiques 113 (2011) 39–67.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, L. Thomas, Publications Mathematiques de l Institut Des Hautes Etudes Scientifiques 113 (2011) 39–67.
2011 | Journal Article | IST-REx-ID: 2391 |
Energy cost to make a hole in the fermi sea
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Physical Review Letters 106 (2011).
View
| DOI
| Download (ext.)
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Physical Review Letters 106 (2011).
2011 | Journal Article | IST-REx-ID: 2393 |
The excitation spectrum for weakly interacting Bosons
R. Seiringer, Communications in Mathematical Physics 306 (2011) 565–578.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 306 (2011) 565–578.
2011 | Journal Article | IST-REx-ID: 2454 |
Phosphorylation switch modulates the interdigitated pattern of PIN1 localization and cell expansion in Arabidopsis leaf epidermis
H. Li, D. Lin, P. Dhonukshe, S. Nagawa, D. Chen, J. Friml, B. Scheres, H. Guo, Z. Yang, Cell Research 21 (2011) 970–978.
View
| DOI
| Download (ext.)
H. Li, D. Lin, P. Dhonukshe, S. Nagawa, D. Chen, J. Friml, B. Scheres, H. Guo, Z. Yang, Cell Research 21 (2011) 970–978.
2011 | Journal Article | IST-REx-ID: 2961 |
Detecting epistasis via Markov bases
A. Malaspinas, C. Uhler, Journal of Algebraic Statistics 2 (2011) 36–53.
View
| DOI
| Download (ext.)
A. Malaspinas, C. Uhler, Journal of Algebraic Statistics 2 (2011) 36–53.
2011 | Journal Article | IST-REx-ID: 3092 |
Feedback models for polarized auxin transport: An emerging trend
K.T. Wabnik, W. Govaerts, J. Friml, J. Kleine Vehn, Molecular BioSystems 7 (2011) 2352–2359.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K.T. Wabnik, W. Govaerts, J. Friml, J. Kleine Vehn, Molecular BioSystems 7 (2011) 2352–2359.
2011 | Journal Article | IST-REx-ID: 3091 |
Fleeting hormone cues get stabilized for plant organogenesis
M. Sauer, J. Friml, Molecular Systems Biology 7 (2011).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Sauer, J. Friml, Molecular Systems Biology 7 (2011).
2011 | Journal Article | IST-REx-ID: 3269 |
Perceptual global illumination cancellation in complex projection environments
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
2011 | Journal Article | IST-REx-ID: 3288 |
Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, N. Hamilton, PLoS One 6 (2011).
[Published Version]
View
| Files available
| DOI
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, N. Hamilton, PLoS One 6 (2011).
2011 | Conference Paper | IST-REx-ID: 3302 |
Static scheduling in clouds
T.A. Henzinger, A. Singh, V. Singh, T. Wies, D. Zufferey, in:, USENIX, 2011, pp. 1–6.
[Submitted Version]
View
| Files available
T.A. Henzinger, A. Singh, V. Singh, T. Wies, D. Zufferey, in:, USENIX, 2011, pp. 1–6.
2011 | Conference Paper | IST-REx-ID: 3301 |
Tail approximation for the chemical master equation
T.A. Henzinger, M. Mateescu, in:, Tampere International Center for Signal Processing, 2011.
[Submitted Version]
View
| Files available
T.A. Henzinger, M. Mateescu, in:, Tampere International Center for Signal Processing, 2011.
2011 | Conference Paper | IST-REx-ID: 3299 |
Propagation models for computing biochemical reaction networks
T.A. Henzinger, M. Mateescu, in:, Springer, 2011, pp. 1–3.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, M. Mateescu, in:, Springer, 2011, pp. 1–3.
2011 | Conference Paper | IST-REx-ID: 3316 |
Specification-centered robustness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–185.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–185.
2011 | Journal Article | IST-REx-ID: 3318 |
How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses
E. Eggermann, P.M. Jonas, Nature Neuroscience 15 (2011) 20–22.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
E. Eggermann, P.M. Jonas, Nature Neuroscience 15 (2011) 20–22.
2011 | Book Chapter | IST-REx-ID: 3335 |
Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web
R. Van De Weygaert, G. Vegter, H. Edelsbrunner, B. Jones, P. Pranav, C. Park, W. Hellwing, B. Eldering, N. Kruithof, P. Bos, J. Hidding, J. Feldbrugge, E. Ten Have, M. Van Engelen, M. Caroli, M. Teillaud, in:, M. Gavrilova, K. Tan, M. Mostafavi (Eds.), Transactions on Computational Science XIV, Springer, 2011, pp. 60–101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Van De Weygaert, G. Vegter, H. Edelsbrunner, B. Jones, P. Pranav, C. Park, W. Hellwing, B. Eldering, N. Kruithof, P. Bos, J. Hidding, J. Feldbrugge, E. Ten Have, M. Van Engelen, M. Caroli, M. Teillaud, in:, M. Gavrilova, K. Tan, M. Mostafavi (Eds.), Transactions on Computational Science XIV, Springer, 2011, pp. 60–101.
2011 | Conference Paper | IST-REx-ID: 3329 |
Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 187–196.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, in:, Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 187–196.
2011 | Journal Article | IST-REx-ID: 3332 |
A note on the complexity of real algebraic hypersurfaces
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.
[Submitted Version]
View
| Files available
| DOI
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.
2011 | Conference Paper | IST-REx-ID: 3330 |
Root refinement for real polynomials
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
2011 | Conference Paper | IST-REx-ID: 3328 |
A generic algebraic kernel for non linear geometric applications
E. Berberich, M. Hemmer, M. Kerber, in:, ACM, 2011, pp. 179–186.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E. Berberich, M. Hemmer, M. Kerber, in:, ACM, 2011, pp. 179–186.
2011 | Journal Article | IST-REx-ID: 3353 |
A theory of synchronous relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2011).
[Submitted Version]
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2011).
2011 | Conference Paper | IST-REx-ID: 3355 |
Quantitative evaluation of BFT protocols
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.
[Submitted Version]
View
| Files available
| DOI
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.
2011 | Conference Paper | IST-REx-ID: 3351 |
On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.
2011 | Conference Paper | IST-REx-ID: 3349 |
A reduction from parity games to simple stochastic games
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.
2011 | Conference Paper | IST-REx-ID: 3362 |
Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
[Submitted Version]
View
| Files available
| DOI
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
2011 | Conference Paper | IST-REx-ID: 3365 |
QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.
2011 | Preprint | IST-REx-ID: 3363 |
The decidability frontier for probabilistic automata on infinite words
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).
2011 | Journal Article | IST-REx-ID: 3372 |
Inclusive fitness theory and eusociality
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
2011 | Journal Article | IST-REx-ID: 3371 |
Cells on the move in Philadelphia
M.K. Sixt, C. Parent, Molecular Biology and Evolution 22 (2011) 724.
[Published Version]
View
| Files available
| DOI
M.K. Sixt, C. Parent, Molecular Biology and Evolution 22 (2011) 724.
2011 | Journal Article | IST-REx-ID: 3374 |
Information transmission in genetic regulatory networks a review
G. Tkačik, A. Walczak, Journal of Physics: Condensed Matter 23 (2011).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Tkačik, A. Walczak, Journal of Physics: Condensed Matter 23 (2011).
2011 | Journal Article | IST-REx-ID: 3368 |
Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
G. Krens, S. Möllmert, C.-P.J. Heisenberg, PNAS 108 (2011) E9–E10.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
G. Krens, S. Möllmert, C.-P.J. Heisenberg, PNAS 108 (2011) E9–E10.
2011 | Journal Article | IST-REx-ID: 3370 |
Consequences of different null models on the tree shape bias of supertree methods
A. Kupczok, Systematic Biology 60 (2011) 218–225.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Kupczok, Systematic Biology 60 (2011) 218–225.
2011 | Journal Article | IST-REx-ID: 3396 |
Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
P. Stockinger, C.-P.J. Heisenberg, J.-L. Maître, Development 138 (2011) 4673–4683.
[Published Version]
View
| Files available
| DOI
P. Stockinger, C.-P.J. Heisenberg, J.-L. Maître, Development 138 (2011) 4673–4683.
2011 | Journal Article | IST-REx-ID: 3394 |
Genetic drift widens the expected cline but narrows the expected cline width
J. Polechova, N.H. Barton, Genetics 189 (2011) 227–235.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Polechova, N.H. Barton, Genetics 189 (2011) 227–235.
2011 | Journal Article | IST-REx-ID: 3390 |
The relation between reproductive value and genetic contribution
N.H. Barton, A. Etheridge, Genetics 188 (2011) 953–973.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, A. Etheridge, Genetics 188 (2011) 953–973.
2011 | Journal Article | IST-REx-ID: 3391 |
The contribution of statistical physics to evolutionary biology
H. de Vladar, N.H. Barton, Trends in Ecology and Evolution 26 (2011) 424–432.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
H. de Vladar, N.H. Barton, Trends in Ecology and Evolution 26 (2011) 424–432.
2011 | Journal Article | IST-REx-ID: 3397 |
The role of adhesion energy in controlling cell-cell contacts
J.-L. Maître, C.-P.J. Heisenberg, Current Opinion in Cell Biology 23 (2011) 508–514.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.-L. Maître, C.-P.J. Heisenberg, Current Opinion in Cell Biology 23 (2011) 508–514.
2011 | Journal Article | IST-REx-ID: 3405 |
Modern ionotropic glutamate receptor with a K+ selectivity signature sequence
H.L. Janovjak, G. Sandoz, E. Isacoff, Nature Communications 2 (2011) 1–6.
[Submitted Version]
View
| Files available
| DOI
H.L. Janovjak, G. Sandoz, E. Isacoff, Nature Communications 2 (2011) 1–6.
2011 | Journal Article | IST-REx-ID: 3505 |
In vitro analysis of chemotactic leukocyte migration in 3D environments
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
2011 | Journal Article | IST-REx-ID: 3784 |
Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description
F. Palero, G. Guerao, P. Clark, P. Abello, Journal of the Marine Biological Association of the United Kingdom 91 (2011) 485–492.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Palero, G. Guerao, P. Clark, P. Abello, Journal of the Marine Biological Association of the United Kingdom 91 (2011) 485–492.
2011 | Book Chapter | IST-REx-ID: 3796 |
Covering and packing with spheres by diagonal distortion in R^n
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.
2011 | Journal Article | IST-REx-ID: 3381 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, IJFCS: International Journal of Foundations of Computer Science 22 (2011) 823–841.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, IJFCS: International Journal of Foundations of Computer Science 22 (2011) 823–841.
2011 | Journal Article | IST-REx-ID: 386 |
STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3
Z. Alpichshev, J.G. Analytis, J.H. Chu, I.R. Fisher, A. Kapitulnik, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Alpichshev, J.G. Analytis, J.H. Chu, I.R. Fisher, A. Kapitulnik, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
2011 | Journal Article | IST-REx-ID: 3315 |
Timed parity games: Complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
2011 | Journal Article | IST-REx-ID: 3101 |
The AP 3 adaptor complex is required for vacuolar function in Arabidopsis
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
View
| DOI
| Download (ext.)
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
2011 | Journal Article | IST-REx-ID: 3100 |
Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis
S. Vanneste, F. Coppens, E. Lee, T. Donner, Z. Xie, G. Van Isterdael, S. Dhondt, F. De Winter, B. De Rybel, M. Vuylsteke, L. De Veylder, J. Friml, D. Inzé, E. Grotewold, E. Scarpella, F. Sack, G. Beemster, T. Beeckman, EMBO Journal 30 (2011) 3430–3441.
View
| DOI
| Download (ext.)
S. Vanneste, F. Coppens, E. Lee, T. Donner, Z. Xie, G. Van Isterdael, S. Dhondt, F. De Winter, B. De Rybel, M. Vuylsteke, L. De Veylder, J. Friml, D. Inzé, E. Grotewold, E. Scarpella, F. Sack, G. Beemster, T. Beeckman, EMBO Journal 30 (2011) 3430–3441.
2011 | Journal Article | IST-REx-ID: 3276 |
Fast, scalable, Bayesian spike identification for multi-electrode arrays
J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, P. Nelson, PLoS One 6 (2011).
View
| Files available
| DOI
J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, P. Nelson, PLoS One 6 (2011).
2011 | Conference Paper | IST-REx-ID: 3298 |
Hybrid smoothed particle hydrodynamics
K. Raveendran, C. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
[Submitted Version]
View
| Files available
| DOI
K. Raveendran, C. Wojtan, G. Turk, in:, S. Spencer (Ed.), ACM, 2011, pp. 33–42.
2011 | Conference Paper | IST-REx-ID: 3297 |
Liquid simulation with mesh-based surface tracking
C. Wojtan, M. Müller Fischer, T. Brochu, in:, ACM, 2011.
[Published Version]
View
| Files available
| DOI
C. Wojtan, M. Müller Fischer, T. Brochu, in:, ACM, 2011.
2011 | Journal Article | IST-REx-ID: 3290 |
A general method for calculating likelihoods under the coalescent process
K. Lohse, R. Harrison, N.H. Barton, Genetics 189 (2011) 977–987.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Lohse, R. Harrison, N.H. Barton, Genetics 189 (2011) 977–987.
2011 | Conference Poster | IST-REx-ID: 3312 |
Detailed reconstruction of 3D plant root shape
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, P. Benfey, Detailed Reconstruction of 3D Plant Root Shape, IEEE, 2011.
[Submitted Version]
View
| Files available
| DOI
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, P. Benfey, Detailed Reconstruction of 3D Plant Root Shape, IEEE, 2011.
2011 | Conference Paper | IST-REx-ID: 3313 |
Diffusion runs low on persistence fast
C. Chen, H. Edelsbrunner, in:, Proceedings of the IEEE International Conference on Computer Vision, IEEE, 2011.
[Submitted Version]
View
| Files available
| DOI
C. Chen, H. Edelsbrunner, in:, Proceedings of the IEEE International Conference on Computer Vision, IEEE, 2011.
2011 | Book Chapter | IST-REx-ID: 3311 |
Alpha shapes - a survey
H. Edelsbrunner, in:, R. van de Weygaert, G. Vegter, J. Ritzerveld, V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, Springer, n.d.
[Submitted Version]
View
| Files available
H. Edelsbrunner, in:, R. van de Weygaert, G. Vegter, J. Ritzerveld, V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, Springer, n.d.
2011 | Conference Paper | IST-REx-ID: 3326 |
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
[Submitted Version]
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
2011 | Conference Paper | IST-REx-ID: 3324 |
Decision procedures for automating termination proofs
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
2011 | Preprint | IST-REx-ID: 3339 |
Magnifying lens abstraction for stochastic games with discounted and long-run average objectives
K. Chatterjee, L. De Alfaro, R. Pritam, ArXiv (2011).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. De Alfaro, R. Pritam, ArXiv (2011).
2011 | Conference Paper | IST-REx-ID: 3342 |
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M.H. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
2011 | Conference Paper | IST-REx-ID: 3347 |
Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
2011 | Conference Paper | IST-REx-ID: 3346 |
Two views on multiple mean payoff objectives in Markov Decision Processes
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
2011 | Conference Paper | IST-REx-ID: 3348 |
Synthesis of memory efficient real time controllers for safety objectives
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.
2011 | Conference Paper | IST-REx-ID: 3343 |
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M.H. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, M.H. Henzinger, in:, SIAM, 2011, pp. 1318–1336.
2011 | Conference Paper | IST-REx-ID: 3360 |
Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
2011 | Conference Paper | IST-REx-ID: 3361 |
The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.
2011 | Conference Paper | IST-REx-ID: 3358 |
Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
2011 | Journal Article | IST-REx-ID: 3379 |
Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P.J. Heisenberg, D. Kimelman, Developmental Biology 354 (2011) 102–110.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
R. Row, J.-L. Maître, B. Martin, P. Stockinger, C.-P.J. Heisenberg, D. Kimelman, Developmental Biology 354 (2011) 102–110.
2011 | Journal Article | IST-REx-ID: 3376 |
Resolution of gene regulatory conflicts caused by combinations of antibiotics
M.T. Bollenbach, R. Kishony, Molecular Cell 42 (2011) 413–425.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M.T. Bollenbach, R. Kishony, Molecular Cell 42 (2011) 413–425.
2011 | Journal Article | IST-REx-ID: 3380 |
Mapping Mendelian traits in asexual progeny using changes in marker allele frequency
S. Logeswaran, N.H. Barton, Genetical Research 93 (2011) 221–232.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Logeswaran, N.H. Barton, Genetical Research 93 (2011) 221–232.