Please note that IST 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.

2262 Publications


2014 | Journal Article | IST-REx-ID: 1886   OA
Hermundstad, Ann, John Briguglio, Mary Conte, Jonathan Victor, Vijay Balasubramanian, and Gasper Tkacik. “Variance Predicts Salience in Central Sensory Processing.” ELife, no. November (2014). https://doi.org/10.7554/eLife.03722.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2233   OA
Boker, Udi, and Thomas A Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.” Logical Methods in Computer Science 10, no. 1 (2014). https://doi.org/10.2168/LMCS-10(1:10)2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2187   OA
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, and Robert Könighofer. “Synthesizing Robust Systems.” Acta Informatica 51, no. 3–4 (2014): 193–220. https://doi.org/10.1007/s00236-013-0191-5.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163   OA
Chatterjee, Krishnendu, and Laurent Doyen. “Games with a Weak Adversary.” In Lecture Notes in Computer Science, 8573:110–21. Springer, 2014. https://doi.org/10.1007/978-3-662-43951-7_10.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7598   OA
Tan, Shutang, and Hong-Wei Xue. “Casein Kinase 1 Regulates Ethylene Synthesis by Phosphorylating and Promoting the Turnover of ACS5.” Cell Reports 9, no. 5 (2014): 1692–1702. https://doi.org/10.1016/j.celrep.2014.10.047.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 1786   OA
Nissen, Felix, Johannes M Fink, Jonas Mlynek, Andreas Wallraff, and Jonathan Keeling. “Collective Suppression of Linewidths in Circuit QED.” Physical Review Letters 110, no. 20 (2013). https://doi.org/10.1103/PhysRevLett.110.203602.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2152   OA
Bhongale, Satyan, Ludwig Mathey, Erhai Zhao, Susanne Yelin, and Mikhail Lemeshko. “Erratum: Quantum Phases of Quadrupolar Fermi Gases in Optical Lattices.” Physical Review Letters 111, no. 23 (2013). https://doi.org/10.1103/PhysRevLett.111.239901.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2210   OA
Biedl, Therese, Martin Held, and Stefan Huber. “Reconstructing Polygons from Embedded Straight Skeletons.” In 29th European Workshop on Computational Geometry, 95–98. TU Braunschweig, 2013.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2284   OA
Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia Cremer. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” BMC Evolutionary Biology 13, no. 1 (2013). https://doi.org/10.1186/1471-2148-13-225.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2289   OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development 28, no. 4 (2013): 331–44. https://doi.org/10.1007/s00450-013-0251-7.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2291   OA
Ferrara, Anna, Georg Fuchsbauer, and Bogdan Warinschi. “Cryptographically Enforced RBAC,” 115–29. IEEE, 2013. https://doi.org/10.1109/CSF.2013.15.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2258   OA
Kiltz, Eike, Krzysztof Z Pietrzak, and Mario Szegedy. “Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40041-4_31.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2260   OA
Bernhard, David, Georg Fuchsbauer, and Essam Ghadafi. “Efficient Signatures of Knowledge and DAA in the Standard Model.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-38980-1_33.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2272   OA
Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” In ICML’13 Proceedings of the 30th International Conference on International, 28:145–53. International Machine Learning Society, 2013.
View | Files available | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2277   OA
Simmons, Kristina, Jason Prentice, Gasper Tkacik, Jan Homann, Heather Yee, Stephanie Palmer, Philip Nelson, and Vijay Balasubramanian. “Transformation of Stimulus Correlations by the Retina.” PLoS Computational Biology 9, no. 12 (2013). https://doi.org/10.1371/journal.pcbi.1003344.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518   OA
Kolmogorov, Vladimir. “The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization,” 7965:625–36. Springer, 2013. https://doi.org/10.1007/978-3-642-39206-1_53.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520   OA
Quadrianto, Novi, Viktoriia Sharmanska, David Knowles, and Zoubin Ghahramani. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” In Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, 527–36. AUAI Press, 2013.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2448   OA
Remy, Estelle, Pawel Baster, Jirí Friml, and Paula Duque. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior 8, no. 10 (2013). https://doi.org/10.4161/psb.25688.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2467   OA
Bernstein, Gilbert, and Christopher J Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” ACM Transactions on Graphics 32, no. 4 (2013). https://doi.org/10.1145/2461912.2462027.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2405   OA
Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.” Communications in Mathematical Physics 319, no. 2 (2013): 557–73. https://doi.org/10.1007/s00220-012-1604-y.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed