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.
6206 Publications
2015 | Conference Paper | IST-REx-ID: 1607 | 
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-21690-4_9
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1609 |
Chatterjee, K., Doyen, L., & Vardi, M. (2015). The complexity of synthesis from probabilistic components. Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer. https://doi.org/10.1007/978-3-662-47666-6_9
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer. https://doi.org/10.1007/978-3-662-47666-6_10
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1611 |
Whitfield, J., Zhang, W., Herde, M., Clifton, B., Radziejewski, J., Janovjak, H. L., … Jackson, C. (2015). Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. Wiley. https://doi.org/10.1002/pro.2721
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1614 |
Strüber, M., Jonas, P. M., & Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1412996112
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1615 |
Hammer, M., Krueger Burg, D., Tuffy, L., Cooper, B., Taschenberger, H., Goswami, S., … Brose, N. (2015). Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2015.09.011
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1618 |
Veldkamp, C., Kiermaier, E., Gabel Eissens, S., Gillitzer, M., Lippner, D., Disilvio, F., … Peterson, F. (2015). Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. ACS. https://doi.org/10.1021/acs.biochem.5b00560
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1623 |
Hammar, P., Angermayr, A., Sjostrom, S., Van Der Meer, J., Hellingwerf, K., Hudson, E., & Joensson, H. (2015). Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. BioMed Central. https://doi.org/10.1186/s13068-015-0380-2
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1624 |
Pavlogiannis, A., Chatterjee, K., Adlam, B., & Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep17147
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1625
Bermano, A., Beeler, T., Kozlov, Y., Bradley, D., Bickel, B., & Gross, M. (2015). Detailed spatio-temporal reconstruction of eyelids (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766924
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1626
Martin, T., Umetani, N., & Bickel, B. (2015). OmniAD: Data-driven omni-directional aerodynamics (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766919
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1627
Pérez, J., Thomaszewski, B., Coros, S., Bickel, B., Canabal, J., Sumner, R., & Otaduy, M. (2015). Design and fabrication of flexible rod meshes (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766998
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1628 |
Schumacher, C., Bickel, B., Rys, J., Marschner, S., Daraio, C., & Gross, M. (2015). Microstructures to control elasticity in 3D printing (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766926
View
| DOI
| Download Published Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1630 |
Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2015). Learning shape placements by example (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766933
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1632 |
Ando, R., Thuerey, N., & Wojtan, C. J. (2015). A stream function solver for liquid simulations (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766935
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1633 |
Hahn, D., & Wojtan, C. J. (2015). High-resolution brittle fracture simulation with boundary elements (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766896
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1634 |
Da, F., Batty, C., Wojtan, C. J., & Grinspun, E. (2015). Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2767003
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1635 |
Erbar, M., Maas, J., & Tetali, P. (2015). Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de La Faculté Des Sciences de Toulouse. Univ. Paul Sabatier. https://doi.org/10.5802/afst.1464
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1636 |
Kolmogorov, V., Rolinek, M., & Takhanov, R. (2015). Effectiveness of structural restrictions for hybrid CSPs. Presented at the ISAAC: International Symposium on Algorithms and Computation, Nagoya, Japan: Springer. https://doi.org/10.1007/978-3-662-48971-0_48
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1637 |
Kolmogorov, V., Krokhin, A., & Rolinek, M. (2015). The complexity of general-valued CSPs (pp. 1246–1258). Presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States: IEEE. https://doi.org/10.1109/FOCS.2015.80
View
| Files available
| DOI
| Download Preprint (ext.)