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.
7047 Publications
2012 |Published| Journal Article | IST-REx-ID: 2911
Open problems in discrete and computational geometry
H. Edelsbrunner, A. Ivanov, R. Karasev, Automatic Control and Computer Sciences in print (2012).
View
H. Edelsbrunner, A. Ivanov, R. Karasev, Automatic Control and Computer Sciences in print (2012).
2012 |Published| Conference Paper | IST-REx-ID: 2930 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
2012 |Published| Preprint | IST-REx-ID: 2928 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
2012 |Published| Report | IST-REx-ID: 2929 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The power of linear programming for valued CSPs: a constructive characterization
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
View
| Download (ext.)
V. Kolmogorov, The Power of Linear Programming for Valued CSPs: A Constructive Characterization, Unknown, 2012.
2012 |Published| Conference Paper | IST-REx-ID: 2937 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
2012 |Published| Conference Paper | IST-REx-ID: 2936 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
2012 |Published| Journal Article | IST-REx-ID: 2938
Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies
L.V. Ugelvig, S. Cremer, Functional Ecology 26 (2012) 1300–1312.
View
| DOI
L.V. Ugelvig, S. Cremer, Functional Ecology 26 (2012) 1300–1312.
2012 |Published| Journal Article | IST-REx-ID: 2931
A dual decomposition approach to feature correspondence
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
View
| DOI
L. Torresani, V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 35 (2012) 259–271.
2012 |Published| Conference Paper | IST-REx-ID: 2942
Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
View
| DOI
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
2012 |Published| Journal Article | IST-REx-ID: 2943 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions
N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology 86 (2012) 1318–1333.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
N. Hadizadeh Yazdi, C.C. Guet, R. Johnson, J. Marko, Molecular Microbiology 86 (2012) 1318–1333.
2012 |Published| Journal Article | IST-REx-ID: 2941 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the optimality of functionals over triangulations of Delaunay sets
N. Dolbilin, H. Edelsbrunner, O. Musin, Russian Mathematical Surveys 67 (2012) 781–783.
[Submitted Version]
View
| Files available
| DOI
N. Dolbilin, H. Edelsbrunner, O. Musin, Russian Mathematical Surveys 67 (2012) 781–783.
2012 |Published| Journal Article | IST-REx-ID: 2946 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
MicroRNAs associated with the different human Argonaute proteins
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.
[Published Version]
View
| Files available
| DOI
A. Dueck, C. Ziegler, A. Eichner, E. Berezikov, G. Meister, Nucleic Acids Research 40 (2012) 9850–9862.
2012 |Published| Conference Paper | IST-REx-ID: 2947 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Equivalence of games with probabilistic uncertainty and partial observation games
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, M. Chmelik, R. Majumdar, in:, Springer, 2012, pp. 385–399.
2012 |Published| Journal Article | IST-REx-ID: 2945
HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes
J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.
View
| DOI
J. Girard, C. Moussion, R. Förster, Nature Reviews Immunology 12 (2012) 762–773.
2012 |Published| Journal Article | IST-REx-ID: 2949
The medial entorhinal cortex keeps Up
D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.
View
| DOI
| Download None (ext.)
D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.
2012 |Published| Journal Article | IST-REx-ID: 2954 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
A. Pernia-Andrade, S. Goswami, Y. Stickler, U. Fröbe, A. Schlögl, P.M. Jonas, Biophysical Journal 103 (2012) 1429–1439.
2012 |Published| Journal Article | IST-REx-ID: 2950
Forces driving epithelial spreading in zebrafish gastrulation
M. Behrndt, G. Salbreux, P. Campinho, R. Hauschild, F. Oswald, J. Roensch, S. Grill, C.-P.J. Heisenberg, Science 338 (2012) 257–260.
View
| Files available
| DOI
M. Behrndt, G. Salbreux, P. Campinho, R. Hauschild, F. Oswald, J. Roensch, S. Grill, C.-P.J. Heisenberg, Science 338 (2012) 257–260.
2012 |Published| Journal Article | IST-REx-ID: 2951
Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Science 338 (2012) 253–256.
View
| DOI
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Science 338 (2012) 253–256.
2012 |Published| Journal Article | IST-REx-ID: 2952
Convergent extension Using collective cell migration and cell intercalation to shape embryos
M. Tada, C.-P.J. Heisenberg, Development 139 (2012) 3897–3904.
View
| DOI
M. Tada, C.-P.J. Heisenberg, Development 139 (2012) 3897–3904.
2012 |Published| Journal Article | IST-REx-ID: 2953
Cell-cell adhesion and extracellular matrix diversity counts
C.-P.J. Heisenberg, R. Fässler, Current Opinion in Cell Biology 24 (2012) 559–561.
View
| DOI
C.-P.J. Heisenberg, R. Fässler, Current Opinion in Cell Biology 24 (2012) 559–561.