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
2013 |Published| Journal Article | IST-REx-ID: 2410 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
[Published Version]
View
| Files available
| DOI
R.A. Fernandes Redondo, A. Kupczok, G. Stift, J.P. Bollback, Genome Announcements 1 (2013).
2013 |Published| Conference Paper | IST-REx-ID: 2447 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Automating separation logic using SMT
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
[Submitted Version]
View
| Files available
| DOI
R. Piskac, T. Wies, D. Zufferey, 8044 (2013) 773–789.
2013 |Published| Journal Article | IST-REx-ID: 2443 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek, E. Zažímalová, New Phytologist 200 (2013) 1034–1048.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Simon, M. Kubeš, P. Baster, S. Robert, P. Dobrev, J. Friml, J. Petrášek, E. Zažímalová, New Phytologist 200 (2013) 1034–1048.
2013 |Published| Conference Paper | IST-REx-ID: 2446 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A. Gaiser, J. Kretinsky, 8044 (2013) 559–575.
2013 |Published| Conference Paper | IST-REx-ID: 2444 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Faster algorithms for Markov decision processes with low treewidth
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, J. Ła̧Cki, 8044 (2013) 543–558.
2013 |Published| Journal Article | IST-REx-ID: 2449
Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
View
| DOI
T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
2013 |Published| Journal Article | IST-REx-ID: 2452
Single-cell-based system to monitor carrier driven cellular auxin homeostasis
E. Barbez, M. Laňková, M. Pařezová, A. Maizel, E. Zažímalová, J. Petrášek, J. Friml, J. Kleine Vehn, BMC Plant Biology 13 (2013).
View
| DOI
E. Barbez, M. Laňková, M. Pařezová, A. Maizel, E. Zažímalová, J. Petrášek, J. Friml, J. Kleine Vehn, BMC Plant Biology 13 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2450
Interaction of PLS and PIN and hormonal crosstalk in Arabidopsis root development
J. Liu, S. Menhi, J. Topping, J. Friml, K. Lindsey, Frontiers in Plant Science 4 (2013).
View
| DOI
J. Liu, S. Menhi, J. Topping, J. Friml, K. Lindsey, Frontiers in Plant Science 4 (2013).
2013 |Published| Journal Article | IST-REx-ID: 245 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
View
| DOI
| Download (ext.)
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
2013 |Published| Journal Article | IST-REx-ID: 2457
Origin and evolution of PIN auxin transporters in the green lineage
T. Viaene, C. Delwiche, S. Rensing, J. Friml, Trends in Plant Science 18 (2013) 5–10.
View
| DOI
T. Viaene, C. Delwiche, S. Rensing, J. Friml, Trends in Plant Science 18 (2013) 5–10.
2013 |Published| Journal Article | IST-REx-ID: 246
Rational points on singular intersections of quadrics
T.D. Browning, R. Munshi, Compositio Mathematica 149 (2013) 1457–1494.
View
| DOI
T.D. Browning, R. Munshi, Compositio Mathematica 149 (2013) 1457–1494.
2013 |Published| Journal Article | IST-REx-ID: 2471 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mechanism of protein kinetic stabilization by engineered disulfide crosslinks
I. Sanchez-Romero, A. Ariza, K. Wilson, M. Skjøt, J. Vind, L. De Maria, L. Skov, J. Sánchez Ruiz, PLoS One 8 (2013).
[Published Version]
View
| Files available
| DOI
I. Sanchez-Romero, A. Ariza, K. Wilson, M. Skjøt, J. Vind, L. De Maria, L. Skov, J. Sánchez Ruiz, PLoS One 8 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2472 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development
C. Cazzonelli, M. Vanstraelen, S. Simon, K. Yin, A. Carron Arthur, N. Nisar, G. Tarle, A. Cuttriss, I. Searle, E. Benková, U. Mathesius, J. Masle, J. Friml, B. Pogson, PLoS One 8 (2013).
[Published Version]
View
| Files available
| DOI
C. Cazzonelli, M. Vanstraelen, S. Simon, K. Yin, A. Carron Arthur, N. Nisar, G. Tarle, A. Cuttriss, I. Searle, E. Benková, U. Mathesius, J. Masle, J. Friml, B. Pogson, PLoS One 8 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2470 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, E. Zažímalová, PLoS One 8 (2013).
[Published Version]
View
| Files available
| DOI
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, E. Zažímalová, PLoS One 8 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2466 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Highly adaptive liquid simulations on tetrahedral meshes
R. Ando, N. Thuerey, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version]
View
| Files available
| DOI
R. Ando, N. Thuerey, C. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2467 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Putting holes in holey geometry: Topology change for arbitrary surfaces
G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version]
View
| Files available
| DOI
G. Bernstein, C. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2468 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Liquid surface tracking with error compensation
M. Bojsen-Hansen, C. Wojtan, ACM Transactions on Graphics 32 (2013).
[Submitted Version]
View
| Files available
| DOI
M. Bojsen-Hansen, C. Wojtan, ACM Transactions on Graphics 32 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2469 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Three functions of cadherins in cell adhesion
J.-L. Maître, C.-P.J. Heisenberg, Current Biology 23 (2013) R626–R633.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J.-L. Maître, C.-P.J. Heisenberg, Current Biology 23 (2013) R626–R633.
2013 |Published| Journal Article | IST-REx-ID: 247
The Lang-Weil estimate for cubic hypersurfaces
T.D. Browning, Canadian Mathematical Bulletin 56 (2013) 500–502.
View
| DOI
T.D. Browning, Canadian Mathematical Bulletin 56 (2013) 500–502.
2013 |Published| Journal Article | IST-REx-ID: 2473 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Genetic hitch-hiking in spatially extended populations
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, A. Etheridge, J. Kelleher, A. Véber, Theoretical Population Biology 87 (2013) 75–89.