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.

1850 Publications


2015 |Published| Journal Article | IST-REx-ID: 1514
M. Gómez Gonzalo et al., “Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission,” Cerebral Cortex, vol. 25, no. 10. Oxford University Press, pp. 3699–3712, 2015.
View | DOI
 

2015 |Published| Book Chapter | IST-REx-ID: 1531
V. Zobel, J. Reininghaus, and I. Hotz, “Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature,” in Visualization and Processing of Higher Order Descriptors for Multi-Valued Data, 1st ed., vol. 40, I. Hotz and T. Schultz, Eds. Springer, 2015, pp. 257–267.
View | DOI
 

2015 |Published| Journal Article | IST-REx-ID: 1530
V. Bierbaum and S. Klumpp, “Impact of the cell division cycle on gene circuits,” Physical Biology, vol. 12, no. 6. IOP Publishing Ltd., 2015.
View | DOI
 

2015 |Published| Journal Article | IST-REx-ID: 1536
J. Sasse et al., “Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport,” Current Biology, vol. 25, no. 5. Cell Press, pp. 647–655, 2015.
View | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1541
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, and R. Grosu, “XSpeed: Accelerating reachability analysis on multi-core processors,” vol. 9434. Springer, pp. 3–18, 2015.
View | DOI
 

2015 |Published| Book Chapter | IST-REx-ID: 1549 | OA
C. Mckenzie, I. Sanchez-Romero, and H. L. Janovjak, “Flipping the photoswitch: Ion channels under light control,” in Novel chemical tools to study ion channel biology, vol. 869, Springer, 2015, pp. 101–117.
[Submitted Version] View | Files available | DOI
 

2015 |Published| Journal Article | IST-REx-ID: 1565 | OA
D. Gavello, D. H. Vandael, S. Gosso, E. Carbone, and V. Carabelli, “Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells,” Journal of Physiology, vol. 593, no. 22. Wiley-Blackwell, pp. 4835–4853, 2015.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 |Published| Journal Article | IST-REx-ID: 1569 | OA
S. Doyle et al., “An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana,” PNAS, vol. 112, no. 7. National Academy of Sciences, pp. E806–E815, 2015.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 |Published| Conference Paper | IST-REx-ID: 1595 | OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.
[Submitted Version] View | Files available | DOI
 

2015 |Published| Book Chapter | IST-REx-ID: 1590 | OA
O. Aichholzer et al., “Representing directed trees as straight skeletons,” in Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 335–347.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 |Published| Conference Paper | IST-REx-ID: 1594
V. Forejt, J. Krčál, and J. Kretinsky, “Controller synthesis for MDPs and frequency LTL\GU,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, 2015, vol. 9450, pp. 162–177.
View | DOI
 

2015 |Published| Book Chapter | IST-REx-ID: 1596 | OA
R. Fulek and R. Radoičić, “Vertical visibility among parallel polygons in three dimensions,” in Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 373–379.
[Submitted Version] View | Files available | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1601 | OA
T. Babiak et al., “The Hanoi omega-automata format,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 479–486.
[Submitted Version] View | Files available | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1605 | OA
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, and R. Grosu, “Abstraction-based parameter synthesis for multiaffine systems,” presented at the HVC: Haifa Verification Conference, Haifa, Israel, 2015, vol. 9434, pp. 19–35.
[Submitted Version] View | Files available | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1606
L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” in 6th International Conference, Vienna, Austria, 2015, vol. 9333, pp. 281–286.
View | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1609 | OA
K. Chatterjee, L. Doyen, and M. Vardi, “The complexity of synthesis from probabilistic components,” in 42nd International Colloquium, Kyoto, Japan, 2015, vol. 9135, pp. 108–120.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 |Published| Conference Paper | IST-REx-ID: 1636 | OA
V. Kolmogorov, M. Rolinek, and R. Takhanov, “Effectiveness of structural restrictions for hybrid CSPs,” in 26th International Symposium, Nagoya, Japan, 2015, vol. 9472, pp. 566–577.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Conference Paper | IST-REx-ID: 1646 | OA
A. Banerjee, G. Fuchsbauer, C. Peikert, K. Z. Pietrzak, and S. Stevens, “Key-homomorphic constrained pseudorandom functions,” in 12th Theory of Cryptography Conference, Warsaw, Poland, 2015, vol. 9015, pp. 31–60.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2015 |Published| Conference Paper | IST-REx-ID: 1648 | OA
G. Fuchsbauer, Z. Jafargholi, and K. Z. Pietrzak, “A quasipolynomial reduction for generalized selective decryption on trees,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA, 2015, vol. 9215, pp. 601–620.
[Submitted Version] View | Files available | DOI
 

2015 |Published| Conference Paper | IST-REx-ID: 1649 | OA
F. Benhamouda, S. Krenn, V. Lyubashevsky, and K. Z. Pietrzak, “Efficient zero-knowledge proofs for commitments from learning with errors over rings,” vol. 9326. Springer, pp. 305–325, 2015.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-3-030-00150-6

Search

Filter Publications