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.
1621 Publications
2015 |Published| Conference Paper | IST-REx-ID: 11837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Welfare maximization with friends-of-friends network externalities
S. Bhattacharya, W. Dvorák, M.H. Henzinger, Martin Starnberger, in:, 32nd International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Bhattacharya, W. Dvorák, M.H. Henzinger, Martin Starnberger, in:, 32nd International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102.
2015 |Published| Conference Paper | IST-REx-ID: 1498 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The need for language support for fault-tolerant distributed systems
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
[Published Version]
View
| Files available
| DOI
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
2015 |Published| Journal Article | IST-REx-ID: 1514
Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission
M. Gómez Gonzalo, M. Navarrete, G. Perea, A. Covelo, M. Martín Fernández, R. Shigemoto, R. Luján, A. Araque, Cerebral Cortex 25 (2015) 3699–3712.
View
| DOI
M. Gómez Gonzalo, M. Navarrete, G. Perea, A. Covelo, M. Martín Fernández, R. Shigemoto, R. Luján, A. Araque, Cerebral Cortex 25 (2015) 3699–3712.
2015 |Published| Book Chapter | IST-REx-ID: 1531
Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature
V. Zobel, J. Reininghaus, I. Hotz, in:, I. Hotz, T. Schultz (Eds.), Visualization and Processing of Higher Order Descriptors for Multi-Valued Data, 1st ed., Springer, 2015, pp. 257–267.
View
| DOI
V. Zobel, J. Reininghaus, I. Hotz, in:, I. Hotz, T. Schultz (Eds.), Visualization and Processing of Higher Order Descriptors for Multi-Valued Data, 1st ed., Springer, 2015, pp. 257–267.
2015 |Published| Conference Paper | IST-REx-ID: 1541
XSpeed: Accelerating reachability analysis on multi-core processors
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, R. Grosu, 9434 (2015) 3–18.
View
| DOI
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, R. Grosu, 9434 (2015) 3–18.
2015 |Published| Journal Article | IST-REx-ID: 1565 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells
D. Gavello, D.H. Vandael, S. Gosso, E. Carbone, V. Carabelli, Journal of Physiology 593 (2015) 4835–4853.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Gavello, D.H. Vandael, S. Gosso, E. Carbone, V. Carabelli, Journal of Physiology 593 (2015) 4835–4853.
2015 |Published| Journal Article | IST-REx-ID: 1569 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana
S. Doyle, A. Haegera, T. Vain, A. Rigala, C. Viotti, M. Łangowskaa, Q. Maa, J. Friml, N. Raikhel, G. Hickse, S. Robert, PNAS 112 (2015) E806–E815.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Doyle, A. Haegera, T. Vain, A. Rigala, C. Viotti, M. Łangowskaa, Q. Maa, J. Friml, N. Raikhel, G. Hickse, S. Robert, PNAS 112 (2015) E806–E815.
2015 |Published| Conference Paper | IST-REx-ID: 1595 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
[Submitted Version]
View
| Files available
| DOI
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
2015 |Published| Book Chapter | IST-REx-ID: 1590 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Representing directed trees as straight skeletons
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.
[Preprint]
View
| DOI
| Download Preprint (ext.)
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.
2015 |Published| Conference Paper | IST-REx-ID: 1594
Controller synthesis for MDPs and frequency LTL\GU
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
View
| DOI
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
2015 |Published| Book Chapter | IST-REx-ID: 1596 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vertical visibility among parallel polygons in three dimensions
R. Fulek, R. Radoičić, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 373–379.
[Submitted Version]
View
| Files available
| DOI
R. Fulek, R. Radoičić, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 373–379.
2015 |Published| Conference Paper | IST-REx-ID: 1601 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
[Submitted Version]
View
| Files available
| DOI
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
2015 |Published| Conference Paper | IST-REx-ID: 1605 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 1609 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 1636 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Effectiveness of structural restrictions for hybrid CSPs
V. Kolmogorov, M. Rolinek, R. Takhanov, in:, 26th International Symposium, Springer Nature, 2015, pp. 566–577.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, M. Rolinek, R. Takhanov, in:, 26th International Symposium, Springer Nature, 2015, pp. 566–577.
2015 |Published| Conference Paper | IST-REx-ID: 1646 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Key-homomorphic constrained pseudorandom functions
A. Banerjee, G. Fuchsbauer, C. Peikert, K.Z. Pietrzak, S. Stevens, in:, 12th Theory of Cryptography Conference, Springer Nature, 2015, pp. 31–60.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
A. Banerjee, G. Fuchsbauer, C. Peikert, K.Z. Pietrzak, S. Stevens, in:, 12th Theory of Cryptography Conference, Springer Nature, 2015, pp. 31–60.
2015 |Published| Conference Paper | IST-REx-ID: 1648 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A quasipolynomial reduction for generalized selective decryption on trees
G. Fuchsbauer, Z. Jafargholi, K.Z. Pietrzak, in:, Springer, 2015, pp. 601–620.
[Submitted Version]
View
| Files available
| DOI
G. Fuchsbauer, Z. Jafargholi, K.Z. Pietrzak, in:, Springer, 2015, pp. 601–620.
2015 |Published| Conference Paper | IST-REx-ID: 1649 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Efficient zero-knowledge proofs for commitments from learning with errors over rings
F. Benhamouda, S. Krenn, V. Lyubashevsky, K.Z. Pietrzak, 9326 (2015) 305–325.
[Published Version]
View
| Files available
| DOI
F. Benhamouda, S. Krenn, V. Lyubashevsky, K.Z. Pietrzak, 9326 (2015) 305–325.
2015 |Published| Conference Paper | IST-REx-ID: 1644 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Query-complexity amplification for random oracles
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, Springer, 2015, pp. 159–180.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, Springer, 2015, pp. 159–180.