Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5473 Publications
2015 | Published | Conference Paper | IST-REx-ID: 1607 | 
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Vol. 9206, Springer, 2015, pp. 140–57, doi:10.1007/978-3-319-21690-4_9.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1609 |
Chatterjee, Krishnendu, et al. “The Complexity of Synthesis from Probabilistic Components.” 42nd International Colloquium, vol. 9135, Springer Nature, 2015, pp. 108–20, doi:10.1007/978-3-662-47666-6_9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1610 |
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” 42nd International Colloquium, vol. 9135, no. Part II, Springer Nature, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1611 |
Whitfield, Jason, et al. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.” Protein Science, vol. 24, no. 9, Wiley, 2015, pp. 1412–22, doi:10.1002/pro.2721.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1614 |
Strüber, Michael, et al. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS, vol. 112, no. 4, National Academy of Sciences, 2015, pp. 1220–25, doi:10.1073/pnas.1412996112.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1615 |
Hammer, Matthieu, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports, vol. 13, no. 3, Cell Press, 2015, pp. 516–23, doi:10.1016/j.celrep.2015.09.011.
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1618 |
Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1623 |
Hammar, Petter, et al. “Single-Cell Screening of Photosynthetic Growth and Lactate Production by Cyanobacteria.” Biotechnology for Biofuels, vol. 8, no. 1, 193, BioMed Central, 2015, doi:10.1186/s13068-015-0380-2.
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1624 |
Pavlogiannis, Andreas, et al. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports, vol. 5, 17147, Nature Publishing Group, 2015, doi:10.1038/srep17147.
[Published Version]
View
| Files available
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1625
Bermano, Amit, et al. Detailed Spatio-Temporal Reconstruction of Eyelids. Vol. 34, no. 4, 44, ACM, 2015, doi:10.1145/2766924.
View
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1626
Martin, Tobias, et al. OmniAD: Data-Driven Omni-Directional Aerodynamics. Vol. 34, no. 4, 113, ACM, 2015, doi:10.1145/2766919.
View
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1627
Pérez, Jesús, et al. Design and Fabrication of Flexible Rod Meshes. Vol. 34, no. 4, 138, ACM, 2015, doi:10.1145/2766998.
View
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1628 |
Schumacher, Christian, et al. Microstructures to Control Elasticity in 3D Printing. Vol. 34, no. 4, 136, ACM, 2015, doi:10.1145/2766926.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1630 |
Guerrero, Paul, et al. Learning Shape Placements by Example. Vol. 34, no. 4, 108, ACM, 2015, doi:10.1145/2766933.
[Submitted Version]
View
| Files available
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1632 |
Ando, Ryoichi, et al. A Stream Function Solver for Liquid Simulations. Vol. 34, no. 4, 53, ACM, 2015, doi:10.1145/2766935.
[Submitted Version]
View
| Files available
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1633 |
Hahn, David, and Chris Wojtan. High-Resolution Brittle Fracture Simulation with Boundary Elements. Vol. 34, no. 4, 151, ACM, 2015, doi:10.1145/2766896.
[Submitted Version]
View
| Files available
| DOI
2015 | Published | Conference Paper | IST-REx-ID: 1634 |
Da, Fang, et al. Double Bubbles sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams. Vol. 34, no. 4, 149, ACM, 2015, doi:10.1145/2767003.
[Submitted Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1635 |
Erbar, Matthias, et al. “Discrete Ricci Curvature Bounds for Bernoulli-Laplace and Random Transposition Models.” Annales de La Faculté Des Sciences de Toulouse, vol. 24, no. 4, Faculté des sciences de Toulouse, 2015, pp. 781–800, doi:10.5802/afst.1464.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1636 |
Kolmogorov, Vladimir, et al. “Effectiveness of Structural Restrictions for Hybrid CSPs.” 26th International Symposium, vol. 9472, Springer Nature, 2015, pp. 566–77, doi:10.1007/978-3-662-48971-0_48.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1637 |
Kolmogorov, Vladimir, et al. The Complexity of General-Valued CSPs. IEEE, 2015, pp. 1246–58, doi:10.1109/FOCS.2015.80.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)