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.
543 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1115 | 
Rueda, Alfredo, et al. Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO₃ WGM-Resonator. 7788479, IEEE, 2016, doi:10.1364/CLEO_SI.2016.SF2G.3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1324 |
Chatterjee, Krishnendu, and Martin Chmelik. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs.” Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, vol. 2016, AAAI Press, 2016, pp. 88–96, doi:10.1609/icaps.v26i1.13737.
View
| DOI
| Download None (ext.)
2016 | Published | Journal Article | IST-REx-ID: 7296 |
Volck, Theo, et al. “Method for Determination of the Internal Short Resistance and Heat Evolution at Different Mechanical Loads of a Lithium Ion Battery Cell Based on Dummy Pouch Cells.” Batteries, vol. 2, no. 2, 8, MDPI AG, 2016, doi:10.3390/batteries2020008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Technical Report | IST-REx-ID: 5448 |
Anonymous, 1, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1070 |
Chatterjee, Krishnendu, and Laurent Doyen. Computation Tree Logic for Synchronization Properties. Vol. 55, 98, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.98.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 948 |
Monk, Travis, et al. Neurons Equipped with Intrinsic Plasticity Learn Stimulus Intensity Statistics. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 4285–93.
View
| Download None (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1069 |
Chonev, Ventsislav K., et al. On the Skolem Problem for Continuous Linear Dynamical Systems. Vol. 55, 100, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.ICALP.2016.100.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1071 |
Chatterjee, Krishnendu, et al. Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs. Vol. 57, 28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.ESA.2016.28.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1098 |
Pentina, Anastasia, and Ruth Urner. Lifelong Learning with Weighted Majority Votes. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 3619–27.
[Published Version]
View
| Files available
2016 | Published | Conference Paper | IST-REx-ID: 1082 |
Chalk, Matthew J., et al. Relevant Sparse Codes with Variational Information Bottleneck. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 1965–73.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1381 |
Mabillard, Isaac, and Uli Wagner. Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the r-Metastable Range. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 51.1-51.12, doi:10.4230/LIPIcs.SoCG.2016.51.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1378 |
Dotterrer, Dominic, et al. On Expansion and Topological Overlap. Vol. 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 35.1-35.10, doi:10.4230/LIPIcs.SoCG.2016.35.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1105 |
Savin, Cristina, and Gašper Tkačik. Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods. Vol. 29, Neural Information Processing Systems Foundation, 2016, pp. 3610–18.
View
| Download None (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1103 |
Gurung, Amit, et al. Parallel Reachability Analysis for Hybrid Systems. 7797741, IEEE, 2016, doi:10.1109/MEMCOD.2016.7797741.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1524 |
Beica, Andreea, et al. Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. Vol. 9271, Springer, 2016, pp. 173–91, doi:10.1007/978-3-319-26916-0_10.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 19814 |
Bawden, L., et al. “Spin-Valley Locking in the Normal State of a Transition-Metal Dichalcogenide Superconductor.” Nature Communications, vol. 7, 11711, Springer Nature, 2016, doi:10.1038/ncomms11711.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1327 |
Brázdil, Tomáš, et al. “Stochastic Shortest Path with Energy Constraints in POMDPs.” Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–66.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1166 |
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in POMDPs.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32, doi:10.1609/aaai.v30i1.10422.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1320 |
Lang, Moritz, and Eduardo Sontag. Scale-Invariant Systems Realize Nonlinear Differential Operators. Vol. 2016–July, 7526722, IEEE, 2016, doi:10.1109/ACC.2016.7526722.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Thesis | IST-REx-ID: 1398 |
Ellis, Thomas. The Role of Pollinator-Mediated Selection in the Maintenance of a Flower Color Polymorphism in an Antirrhinum Majus Hybrid Zone. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:TH_526 .
[Published Version]
View
| Files available
| DOI