en
Please note that IST 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.
358 Publications
2015 | Journal Article | IST-REx-ID: 1539   

Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space
J. Ruess, Journal of Chemical Physics 143 (2015).
View
| Files available
| DOI
J. Ruess, Journal of Chemical Physics 143 (2015).
2015 | Journal Article | IST-REx-ID: 1572   

Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
View
| DOI
| Download (ext.)
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
2015 | Conference Paper | IST-REx-ID: 1596   

Vertical visibility among parallel polygons in three dimensions
R. Fulek, R. Radoičić, 9411 (2015) 373–379.
View
| Files available
| DOI
R. Fulek, R. Radoičić, 9411 (2015) 373–379.
2015 | Journal Article | IST-REx-ID: 1577   

Birth of a new gene on the Y chromosome of Drosophila melanogaster
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.
2015 | Journal Article | IST-REx-ID: 1623   

Single-cell screening of photosynthetic growth and lactate production by cyanobacteria
P. Hammar, A. Angermayr, S. Sjostrom, J. Van Der Meer, K. Hellingwerf, E. Hudson, H. Joensson, Biotechnology for Biofuels 8 (2015).
View
| Files available
| DOI
P. Hammar, A. Angermayr, S. Sjostrom, J. Van Der Meer, K. Hellingwerf, E. Hudson, H. Joensson, Biotechnology for Biofuels 8 (2015).
2015 | Conference Paper | IST-REx-ID: 1628
Microstructures to control elasticity in 3D printing
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015, p. 136.
View
| DOI
| Download (ext.)
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015, p. 136.
2015 | Conference Paper | IST-REx-ID: 1630   

Learning shape placements by example
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.
View
| Files available
| DOI
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.
2015 | Journal Article | IST-REx-ID: 1611   

Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.
2015 | Conference Paper | IST-REx-ID: 1609   

The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, 9135 (2015) 108–120.
View
| DOI
| Download (ext.)
K. Chatterjee, L. Doyen, M. Vardi, 9135 (2015) 108–120.
2015 | Journal Article | IST-REx-ID: 1635   

Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.
View
| DOI
| Download (ext.)
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.
2015 | Journal Article | IST-REx-ID: 1680
On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
View
| DOI
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
2015 | Conference Paper | IST-REx-ID: 1685   

A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. De Mesmay, in:, Springer, 2015, pp. 386–398.
View
| DOI
| Download (ext.)
V. Cohen Addad, A.N. De Mesmay, in:, Springer, 2015, pp. 386–398.
2015 | Conference Paper | IST-REx-ID: 1647   

Practical round-optimal blind signatures in the standard model
G. Fuchsbauer, C. Hanser, D. Slamanig, in:, Springer, 2015, pp. 233–253.
View
| Files available
| DOI
| Download (ext.)
G. Fuchsbauer, C. Hanser, D. Slamanig, in:, Springer, 2015, pp. 233–253.
2015 | Conference Paper | IST-REx-ID: 1654   

Generic security of NMAC and HMAC with input whitening
P. Gazi, K.Z. Pietrzak, S. Tessaro, 9453 (2015) 85–109.
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, S. Tessaro, 9453 (2015) 85–109.
2015 | Journal Article | IST-REx-ID: 1666   

Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkacik, PLoS Genetics 11 (2015).
View
| Files available
| DOI
M. Tugrul, T. Paixao, N.H. Barton, G. Tkacik, PLoS Genetics 11 (2015).
2015 | Journal Article | IST-REx-ID: 1673   

Amplifiers of selection
B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015) 20150114.
View
| Files available
| DOI
B. Adlam, K. Chatterjee, M. Nowak, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471 (2015) 20150114.
2015 | Journal Article | IST-REx-ID: 1642   

Clustered planarity testing revisited
R. Fulek, J. Kynčl, I. Malinovič, D. Pálvölgyi, Electronic Journal of Combinatorics 22 (2015).
View
| Files available
R. Fulek, J. Kynčl, I. Malinovič, D. Pálvölgyi, Electronic Journal of Combinatorics 22 (2015).
2015 | Conference Paper | IST-REx-ID: 1692
Eliminating spurious transitions in reachability with support functions
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.
View
| DOI
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.
2015 | Journal Article | IST-REx-ID: 1697   

High accuracy decoding of dynamical motion from a large retinal population
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkacik, M. Berry, PLoS Computational Biology 11 (2015).
View
| Files available
| DOI
O. Marre, V. Botella Soler, K. Simmons, T. Mora, G. Tkacik, M. Berry, PLoS Computational Biology 11 (2015).
2015 | Journal Article | IST-REx-ID: 1700   

Ultralong-range order in the Fermi-Hubbard model with long-range interactions
E. Van Loon, M. Katsnelson, M. Lemeshko, Physical Review B 92 (2015).
View
| DOI
| Download (ext.)
E. Van Loon, M. Katsnelson, M. Lemeshko, Physical Review B 92 (2015).