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.

8978 Publications

 

2011 | Conference Paper | IST-REx-ID: 3206
Submodular decomposition framework for inference in associative Markov networks with global constraints
A. Osokin, D. Vetrov, V. Kolmogorov, in:, IEEE, 2011, pp. 1889–1896.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3205
Dynamic tree block coordinate ascent
D. Tarlow, D. Batra, P. Kohli, V. Kolmogorov, in:, Omnipress, 2011, pp. 113–120.
View | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3207
Object cosegmentation
S. Vicente, C. Rother, V. Kolmogorov, in:, IEEE, 2011, pp. 2217–2224.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3240
Leftover hash lemma revisited
B. Barak, Y. Dodis, H. Krawczyk, O. Pereira, K.Z. Pietrzak, F. Standaert, Y. Yu, in:, Springer, 2011, pp. 1–20.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3264
Solving recursion-free Horn clauses over LI+UIF
A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011, pp. 188–203.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3266
Probabilistic joint image segmentation and labeling
A. Ion, J. Carreira, C. Sminchisescu, in:, NIPS Proceedings, Neural Information Processing Systems Foundation, 2011, pp. 1827–1835.
View
 

2011 | Journal Article | IST-REx-ID: 3269 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3267
Hardness results for homology localization
C. Chen, D. Freedman, Discrete & Computational Geometry 45 (2011) 425–448.
View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 3268
Algebraic topology for computer vision
D. Freedman, C. Chen, in:, Computer Vision, Nova Science Publishers, 2011, pp. 239–268.
View | Download None (ext.)
 

2011 | Journal Article | IST-REx-ID: 3288 | OA
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
 

2011 | Journal Article | IST-REx-ID: 3286
Cationic amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic host cells
J. Weghuber, M. Aichinger, M. Brameshuber, S. Wieser, V. Ruprecht, B. Plochberger, J. Madl, A. Horner, S. Reipert, K. Lohner, T. Henics, G. Schuetz, Biochimica et Biophysica Acta (BBA) - Biomembranes 1808 (2011) 2581–2590.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3287
What can we learn from single molecule trajectories?
V. Ruprecht, M. Axmann, S. Wieser, G. Schuetz, Current Protein & Peptide Science 12 (2011) 714–724.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3285
Spot variation fluorescence correlation spectroscopy allows for superresolution chronoscopy of confinement times in membranes
V. Ruprecht, S. Wieser, D. Marguet, G. Schuetz, Biophysical Journal 100 (2011) 2839–2845.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3302 | OA
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
 

2011 | Conference Paper | IST-REx-ID: 3301 | OA
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
 

2011 | Conference Paper | IST-REx-ID: 3299 | OA
Propagation models for computing biochemical reaction networks
T.A. Henzinger, M. Mateescu, in:, Springer, 2011, pp. 1–3.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3316 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3318 | OA [Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Book Chapter | IST-REx-ID: 3335 | OA
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
 

2011 | Conference Paper | IST-REx-ID: 3329 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3332 | OA
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
 

2011 | Conference Paper | IST-REx-ID: 3330 | OA
Root refinement for real polynomials
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3328 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3334
Letter from the new editors-in-chief
H. Edelsbrunner, J. Pach, G. Ziegler, Discrete & Computational Geometry 45 (2011) 1–2.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3353 | OA
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
 

2011 | Conference Paper | IST-REx-ID: 3355 | OA
Quantitative evaluation of BFT protocols
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3350
Minimum attention controller synthesis for omega regular objectives
K. Chatterjee, R. Majumdar, in:, U. Fahrenberg, S. Tripakis (Eds.), Springer, 2011, pp. 145–159.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3351 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3354
Qualitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 12 (2011).
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 335
Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect
M. Ibáñez, J. Fan, W. Li, D. Cadavid, R. Nafria, A. Carrete, A. Cabot, Chemistry of Materials 23 (2011) 3095–3104.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3352
Biology as reactivity
J. Fisher, D. Harel, T.A. Henzinger, Communications of the ACM 54 (2011) 72–82.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362 | OA
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
 

2011 | Conference Paper | IST-REx-ID: 3365 | OA
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
 

2011 | Conference Paper | IST-REx-ID: 3367
An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, in:, ACM, 2011, pp. 207–216.
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363 | OA
The decidability frontier for probabilistic automata on infinite words
K. Chatterjee, T.A. Henzinger, M. Tracol, (n.d.).
[Preprint] View | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3372 | OA
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
 

2011 | Journal Article | IST-REx-ID: 3371 | OA
Cells on the move in Philadelphia
M.K. Sixt, C. Parent, Molecular Biology and Evolution 22 (2011) 724.
[Published Version] View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3374 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3368 | OA
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
 

2011 | Journal Article | IST-REx-ID: 3370 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3369
The multiple faces of RIM
A. Pernia-Andrade, P.M. Jonas, Neuron 69 (2011) 185–187.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3396 | OA
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
 

2011 | Journal Article | IST-REx-ID: 3394 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3390 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3391 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3397 | OA
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.)
 

2011 | Journal Article | IST-REx-ID: 3405 | OA
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
 

2011 | Journal Article | IST-REx-ID: 341
Morphology evolution of Cu2−xS nanoparticles: from spheres to dodecahedrons
W. Li, A. Shavel, R. Guzman, J. Rubio Garcia, C. Flox, J. Fan, D. Cadavid, M. Ibáñez, J. Arbiol, J. Morante, A. Cabot, Chemical Communications 47 (2011) 10332–10334.
View | DOI
 

Search

Filter Publications