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.
1953 Publications
2015 |Published| Conference Paper | IST-REx-ID: 11787 | 
Henzinger, Monika H., et al. “Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time.” 2nd International Colloquium on Automata, Languages and Programming, vol. 9134, Springer Nature, 2015, pp. 713–24, doi:10.1007/978-3-662-47672-7_58.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11788 |
Dvořák, Wolfgang, and Monika H. Henzinger. “Online Ad Assignment with an Ad Exchange.” 12th International Workshop of Approximation and Online Algorithms, vol. 8952, Springer Nature, 2015, pp. 156–167, doi:10.1007/978-3-319-18263-6_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11786 |
Bhattacharya, Sayan, et al. “Design of Dynamic Algorithms via Primal-Dual Method.” 42nd International Colloquium on Automata, Languages and Programming, vol. 9134, Springer Nature, 2015, pp. 206–18, doi:10.1007/978-3-662-47672-7_17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11837 |
Bhattacharya, Sayan, et al. “Welfare Maximization with Friends-of-Friends Network Externalities.” 32nd International Symposium on Theoretical Aspects of Computer Science, vol. 30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:10.4230/LIPICS.STACS.2015.90.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1498 |
Dragoi, Cezara, et al. The Need for Language Support for Fault-Tolerant Distributed Systems. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:10.4230/LIPIcs.SNAPL.2015.90.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1514
Gómez Gonzalo, Marta, et al. “Endocannabinoids Induce Lateral Long Term Potentiation of Transmitter Release by Stimulation of Gliotransmission.” Cerebral Cortex, vol. 25, no. 10, Oxford University Press, 2015, pp. 3699–712, doi:10.1093/cercor/bhu231.
View
| DOI
2015 |Published| Book Chapter | IST-REx-ID: 1531
Zobel, Valentin, et al. “Visualizing Symmetric Indefinite 2D Tensor Fields Using The Heat Kernel Signature.” Visualization and Processing of Higher Order Descriptors for Multi-Valued Data, edited by Ingrid Hotz and Thomas Schultz, 1st ed., vol. 40, Springer, 2015, pp. 257–67, doi:10.1007/978-3-319-15090-1_13.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1530
Bierbaum, Veronika, and Stefan Klumpp. “Impact of the Cell Division Cycle on Gene Circuits.” Physical Biology, vol. 12, no. 6, 066003, IOP Publishing Ltd., 2015, doi:10.1088/1478-3975/12/6/066003.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, et al. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology, vol. 25, no. 5, Cell Press, 2015, pp. 647–55, doi:10.1016/j.cub.2015.01.015.
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1541
Ray, Rajarshi, et al. XSpeed: Accelerating Reachability Analysis on Multi-Core Processors. Vol. 9434, Springer, 2015, pp. 3–18, doi:10.1007/978-3-319-26287-1_1.
View
| DOI
2015 |Published| Book Chapter | IST-REx-ID: 1549 |
Mckenzie, Catherine, et al. “Flipping the Photoswitch: Ion Channels under Light Control.” Novel Chemical Tools to Study Ion Channel Biology, vol. 869, Springer, 2015, pp. 101–17, doi:10.1007/978-1-4939-2845-3_6.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1565 |
Gavello, Daniela, et al. “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, 2015, pp. 4835–53, doi:10.1113/JP271078.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 1569 |
Doyle, Siamsa, 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, 2015, pp. E806–15, doi:10.1073/pnas.1424856112.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1595 |
Fulek, Radoslav, et al. Hanani-Tutte for Radial Planarity. Vol. 9411, Springer, 2015, pp. 99–110, doi:10.1007/978-3-319-27261-0_9.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Book Chapter | IST-REx-ID: 1590 |
Aichholzer, Oswin, et al. “Representing Directed Trees as Straight Skeletons.” Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 335–47, doi:10.1007/978-3-319-27261-0_28.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1594
Forejt, Vojtěch, et al. Controller Synthesis for MDPs and Frequency LTL\GU. Vol. 9450, Springer, 2015, pp. 162–77, doi:10.1007/978-3-662-48899-7_12.
View
| DOI
2015 |Published| Book Chapter | IST-REx-ID: 1596 |
Fulek, Radoslav, and Radoš Radoičić. “Vertical Visibility among Parallel Polygons in Three Dimensions.” Graph Drawing and Network Visualization, vol. 9411, Springer Nature, 2015, pp. 373–79, doi:10.1007/978-3-319-27261-0_31.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1601 |
Babiak, Tomáš, et al. The Hanoi Omega-Automata Format. Vol. 9206, Springer, 2015, pp. 479–86, doi:10.1007/978-3-319-21690-4_31.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1605 |
Bogomolov, Sergiy, et al. Abstraction-Based Parameter Synthesis for Multiaffine Systems. Vol. 9434, Springer, 2015, pp. 19–35, doi:10.1007/978-3-319-26287-1_2.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1606
Nguyen, Luan, et al. “Runtime Verification for Hybrid Analysis Tools.” 6th International Conference, vol. 9333, Springer Nature, 2015, pp. 281–86, doi:10.1007/978-3-319-23820-3_19.
View
| DOI