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.
5750 Publications
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 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.
2013 | Journal Article | IST-REx-ID: 2300 |
Realization of stripes and slabs in two and three dimensions
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).
2013 | Conference Paper | IST-REx-ID: 2315 |
Disordered Bose-Einstein condensates with interaction
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.
2013 | Conference Paper | IST-REx-ID: 2319 |
Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, in:, Springer, 2013, pp. 57–88.
View
| DOI
| Download (ext.)
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, in:, Springer, 2013, pp. 57–88.
2013 | Conference Paper | IST-REx-ID: 2328 |
Aspect-oriented linearizability proofs
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.
2013 | Journal Article | IST-REx-ID: 2404 |
A positive density analogue of the Lieb-Thirring inequality
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Duke Mathematical Journal 162 (2013) 435–495.
View
| DOI
| Download (ext.)
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Duke Mathematical Journal 162 (2013) 435–495.
2013 | Journal Article | IST-REx-ID: 2405 |
Symmetry of bipolaron bound states for small Coulomb repulsion
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 319 (2013) 557–573.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 319 (2013) 557–573.
2013 | Journal Article | IST-REx-ID: 2408 |
The excitation spectrum for weakly interacting Bosons in a trap
P. Grech, R. Seiringer, Communications in Mathematical Physics 322 (2013) 559–591.
View
| DOI
| Download (ext.)
P. Grech, R. Seiringer, Communications in Mathematical Physics 322 (2013) 559–591.
2013 | Journal Article | IST-REx-ID: 2412 |
Probabilistic models for CRISPR spacer content evolution
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
[Published Version]
View
| Files available
| DOI
A. Kupczok, J.P. Bollback, BMC Evolutionary Biology 13 (2013) 54–54.
2013 | Journal Article | IST-REx-ID: 2410 |
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 | Conference Paper | IST-REx-ID: 2447 |
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 | Journal Article | IST-REx-ID: 2443 |
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 | Conference Paper | IST-REx-ID: 2446 |
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 | Conference Paper | IST-REx-ID: 2444 |
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 | Journal Article | IST-REx-ID: 245 |
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 | Journal Article | IST-REx-ID: 2471 |
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 | Journal Article | IST-REx-ID: 2472 |
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 | Journal Article | IST-REx-ID: 2470 |
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 | Journal Article | IST-REx-ID: 2466 |
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 | Journal Article | IST-REx-ID: 2467 |
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 | Journal Article | IST-REx-ID: 2468 |
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 | Journal Article | IST-REx-ID: 2469 |
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 | Journal Article | IST-REx-ID: 2473 |
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.
2013 | Journal Article | IST-REx-ID: 250 |
Density of Châtelet surfaces failing the Hasse principle
R. De La Bretèche, T.D. Browning, Proceedings of the London Mathematical Society 108 (2013) 1030–1078.
View
| DOI
| Download (ext.)
R. De La Bretèche, T.D. Browning, Proceedings of the London Mathematical Society 108 (2013) 1030–1078.
2013 | Conference Paper | IST-REx-ID: 2517 |
Formalizing and reasoning about quality
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
[Submitted Version]
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
2013 | Conference Paper | IST-REx-ID: 2518 |
The power of linear programming for finite-valued CSPs: A constructive characterization
V. Kolmogorov, in:, Springer, 2013, pp. 625–636.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, in:, Springer, 2013, pp. 625–636.
2013 | Conference Paper | IST-REx-ID: 2520 |
The supervised IBP: Neighbourhood preserving infinite latent feature models
N. Quadrianto, V. Sharmanska, D. Knowles, Z. Ghahramani, in:, Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–536.
[Submitted Version]
View
| Files available
N. Quadrianto, V. Sharmanska, D. Knowles, Z. Ghahramani, in:, Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–536.
2013 | Journal Article | IST-REx-ID: 2698 |
Stability and semiclassics in self-generated fields
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.
2013 | Journal Article | IST-REx-ID: 2697 |
Delocalization and diffusion profile for random band matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 323 (2013) 367–416.
View
| DOI
| Download (ext.)
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 323 (2013) 367–416.
2013 | Conference Paper | IST-REx-ID: 2718 |
Can quantitative and population genetics help us understand evolutionary computation?
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
2013 | Journal Article | IST-REx-ID: 2720 |
Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.
2013 | Journal Article | IST-REx-ID: 2782 |
Local eigenvalue density for general MANOVA matrices
L. Erdös, B. Farrell, Journal of Statistical Physics 152 (2013) 1003–1032.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, B. Farrell, Journal of Statistical Physics 152 (2013) 1003–1032.
2013 | Journal Article | IST-REx-ID: 2781 |
Spectral statistics of Erdős-Rényi graphs I: Local semicircle law
L. Erdös, A. Knowles, H. Yau, J. Yin, Annals of Probability 41 (2013) 2279–2375.
View
| DOI
| Download (ext.)
L. Erdös, A. Knowles, H. Yau, J. Yin, Annals of Probability 41 (2013) 2279–2375.
2013 | Journal Article | IST-REx-ID: 2780 |
Averaging fluctuations in resolvents of random band matrices
L. Erdös, A. Knowles, H. Yau, Annales Henri Poincare 14 (2013) 1837–1926.
View
| DOI
| Download (ext.)
L. Erdös, A. Knowles, H. Yau, Annales Henri Poincare 14 (2013) 1837–1926.
2013 | Conference Paper | IST-REx-ID: 2807 |
Extending continuous maps: Polynomiality and undecidability
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.
[Submitted Version]
View
| Files available
| DOI
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.
2013 | Journal Article | IST-REx-ID: 2808 |
The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Landberg, E. Pederson, T. Viaene, B. Bozorg, J. Friml, H. Jönsson, M. Thelander, E. Sundberg, Plant Physiology 162 (2013) 1406–1419.
2013 | Journal Article | IST-REx-ID: 2810 |
Environmental dependence of genetic constraint
M. de Vos, F. Poelwijk, N. Battich, J. Ndika, S. Tans, PLoS Genetics 9 (2013).
[Published Version]
View
| Files available
| DOI
M. de Vos, F. Poelwijk, N. Battich, J. Ndika, S. Tans, PLoS Genetics 9 (2013).
2013 | Journal Article | IST-REx-ID: 2814 |
The complexity of coverage
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Alfaro, R. Majumdar, International Journal of Foundations of Computer Science 24 (2013) 165–185.
2013 | Journal Article | IST-REx-ID: 2811 |
Nature of laminar-turbulence intermittency in shear flows
M. Avila, B. Hof, Physical Review E 87 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Avila, B. Hof, Physical Review E 87 (2013).
2013 | Journal Article | IST-REx-ID: 2813 |
Elasto-inertial turbulence
D. Samanta, Y. Dubief, M. Holzner, C. Schäfer, A. Morozov, C. Wagner, B. Hof, PNAS 110 (2013) 10557–10562.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Samanta, Y. Dubief, M. Holzner, C. Schäfer, A. Morozov, C. Wagner, B. Hof, PNAS 110 (2013) 10557–10562.
2013 | Conference Paper | IST-REx-ID: 2812 |
Homological reconstruction and simplification in R3
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, in:, Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–125.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, in:, Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–125.
2013 | Journal Article | IST-REx-ID: 2817 |
Density games
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
[Published Version]
View
| Files available
| DOI
S. Novak, K. Chatterjee, M. Nowak, Journal of Theoretical Biology 334 (2013) 26–34.
2013 | Conference Paper | IST-REx-ID: 2819 |
Quantitative timed simulation functions and refinement metrics for real-time systems
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
2013 | Journal Article | IST-REx-ID: 2818 |
Learning quadratic receptive fields from neural responses to natural stimuli
K. Rajan, O. Marre, G. Tkačik, Neural Computation 25 (2013) 1661–1692.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Rajan, O. Marre, G. Tkačik, Neural Computation 25 (2013) 1661–1692.
2013 | Journal Article | IST-REx-ID: 2826 |
Mutations in SCO2 are associated with autosomal-dominant high-grade myopia
K. Tran Viet, C. Powell, V. Barathi, T. Klemm, S. Maurer Stroh, V. Limviphuvadh, V. Soler, C. Ho, T. Yanovitch, G. Schneider, Y. Li, E. Nading, R. Metlapally, S. Saw, L. Goh, S. Rozen, T. Young, American Journal of Human Genetics 92 (2013) 820–826.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Tran Viet, C. Powell, V. Barathi, T. Klemm, S. Maurer Stroh, V. Limviphuvadh, V. Soler, C. Ho, T. Yanovitch, G. Schneider, Y. Li, E. Nading, R. Metlapally, S. Saw, L. Goh, S. Rozen, T. Young, American Journal of Human Genetics 92 (2013) 820–826.