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.
5339 Publications
2015 | Published | Conference Paper | IST-REx-ID: 1605 | 
Abstraction-based parameter synthesis for multiaffine systems
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
[Submitted Version]
View
| Files available
| DOI
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
2015 | Published | Conference Paper | IST-REx-ID: 1606
Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286.
View
| DOI
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, in:, 6th International Conference, Springer Nature, 2015, pp. 281–286.
2015 | Published | Conference Paper | IST-REx-ID: 1607 |
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
2015 | Published | Conference Paper | IST-REx-ID: 1609 |
The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, M. Vardi, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 108–120.
2015 | Published | Conference Paper | IST-REx-ID: 1610 |
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.
2015 | Published | 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.
[Submitted Version]
View
| DOI
| Download Submitted Version (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 | Published | Journal Article | IST-REx-ID: 1614 |
Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells
M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Strüber, P.M. Jonas, M. Bartos, PNAS 112 (2015) 1220–1225.
2015 | Published | Journal Article | IST-REx-ID: 1615 |
Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism
M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523.
[Published Version]
View
| Files available
| DOI
M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523.
2015 | Published | Journal Article | IST-REx-ID: 1618 |
Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites
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
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.
2015 | Published | 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).
[Published Version]
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 | Published | Journal Article | IST-REx-ID: 1624 |
Cellular cooperation with shift updating and repulsion
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
[Published Version]
View
| Files available
| DOI
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 1625
Detailed spatio-temporal reconstruction of eyelids
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015.
View
| DOI
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1626
OmniAD: Data-driven omni-directional aerodynamics
T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015.
View
| DOI
T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1627
Design and fabrication of flexible rod meshes
J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015.
View
| DOI
J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015.
2015 | Published | 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1630 |
Learning shape placements by example
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.
[Submitted Version]
View
| Files available
| DOI
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, in:, ACM, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1632 |
A stream function solver for liquid simulations
R. Ando, N. Thuerey, C. Wojtan, in:, ACM, 2015.
[Submitted Version]
View
| Files available
| DOI
R. Ando, N. Thuerey, C. Wojtan, in:, ACM, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1633 |
High-resolution brittle fracture simulation with boundary elements
D. Hahn, C. Wojtan, in:, ACM, 2015.
[Submitted Version]
View
| Files available
| DOI
D. Hahn, C. Wojtan, in:, ACM, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1634 |
Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams
F. Da, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2015.
[Submitted Version]
View
| Files available
| DOI
F. Da, C. Batty, C. Wojtan, E. Grinspun, in:, ACM, 2015.
2015 | Published | 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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.