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.

5483 Publications


2014 | Journal Article | IST-REx-ID: 863
Moroz, Leonid, Kevin Kocot, Mathew Citarella, Sohn Dosung, Tigran Norekian, Inna Povolotskaya, Anastasia Grigorenko, et al. “The Ctenophore Genome and the Evolutionary Origins of Neural Systems.” Nature 510, no. 7503 (2014): 109–14. https://doi.org/10.1038/nature13400.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 926
Hannezo, Edouard, Jacques Prost, and Jean Joanny. “Growth Homeostatic Regulation and Stem Cell Dynamics in Tissues.” Journal of the Royal Society Interface 11, no. 93 (2014). https://doi.org/10.1098/rsif.2013.0895.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 96   OA
Higginbotham, Andrew P, Ferdinand Kuemmeth, Micah Hanson, Arthur Gossard, and Charles Marcus. “Coherent Operations and Screening in Multielectron Spin Qubits.” APS Physics, Physical Review Letters 112, no. 2 (2014). https://doi.org/10.1103/PhysRevLett.112.026801.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 1393
Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014. https://doi.org/10.1145/2593882.2593900.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2031   OA
Arai, Itaru, and Peter M Jonas. “Nanodomain Coupling Explains Ca^2+ Independence of Transmitter Release Time Course at a Fast Central Synapse.” ELife 3 (2014). https://doi.org/10.7554/eLife.04057.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1906   OA
Arikan, Murat, Reinhold Preiner, Claus Scheiblauer, Stefan Jeschke, and Michael Wimmer. “Large-Scale Point-Cloud Visualization through Localized Textured Surface Reconstruction.” IEEE Transactions on Visualization and Computer Graphics 20, no. 9 (2014): 1280–92. https://doi.org/10.1109/TVCG.2014.2312011.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2062   OA
Hu, Hua, Jian Gan, and Peter M Jonas. “Fast-Spiking Parvalbumin^+ GABAergic Interneurons: From Cellular Design to Microcircuit Function.” Science 345, no. 6196 (2014). https://doi.org/10.1126/science.1255263.
View | Files available | DOI
 

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 | Technical Report | IST-REx-ID: 5415
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 7303
Freunberger, Stefan Alexander, Yuhui Chen, Fanny Bardé, Kensuke Takechi, Fuminori Mizuno, and Peter G. Bruce. “Nonaqueous Electrolytes.” In The Lithium Air Battery: Fundamentals, edited by Nobuyuki Imanishi, Alan C. Luntz, and Peter Bruce, 23–58. New York, NY: Springer Nature, 2014. https://doi.org/10.1007/978-1-4899-8062-5_2.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 117
Jaeger, Heinrich, Marc Miskin, and Scott R Waitukaitis. “From Nanoscale Cohesion to Macroscale Entanglement: Opportunities for Designing Granular Aggregate Behaviour by Tailoring Grain Shape and Interactions.” In AIP Conference Proceedings, 1542:3–6. AIP, 2013. https://doi.org/10.1063/1.4811858.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1469
Hausel, Tamas, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics 234 (2013): 85–128. https://doi.org/10.1016/j.aim.2012.10.009.
View | 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: 1988
Bonny, Mike, Elisabeth Fischer Friedrich, Martin Loose, Petra Schwille, and Karsten Kruse. “Membrane Binding of MinE Allows for a Comprehensive Description of Min-Protein Pattern Formation.” PLoS Computational Biology 9, no. 12 (2013). https://doi.org/10.1371/journal.pcbi.1003347.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
Skouras, Mélina, Bernhard Thomaszewski, Stelian Coros, Bernd Bickel, and Markus Groß. “Computational Design of Actuated Deformable Characters.” ACM Transactions on Graphics 32, no. 4 (2013). https://doi.org/10.1145/2461912.2461979.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2114
Bickel, Bernd, and Marc Alexa. “Computational Aspects of Fabrication: Modeling, Design and 3d Printing.” IEEE Computer Graphics and Applications 33, no. 6 (2013): 24–25. https://doi.org/10.1109/MCG.2013.89.
View | DOI
 

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 | Journal Article | IST-REx-ID: 2304
Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.” Electronic Notes in Discrete Mathematics 43 (2013): 43–50. https://doi.org/10.1016/j.endm.2013.07.008.
View | DOI
 

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: 2450
Liu, Junli, Saher Menhi, Jennifer Topping, Jirí Friml, and Keith Lindsey. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.” Frontiers in Plant Science 4, no. 75 (2013). https://doi.org/10.3389/fpls.2013.00075.
View | DOI
 

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: 251
De La Bretèche, Régis, and Timothy D Browning. “Counter Examples to the Hasse Principle among Certain Coflasque Tori.” Journal de Theorie Des Nombres de Bordeaux 26, no. 1 (2013): 25–44. https://doi.org/10.5802/jtnb.857.
View | 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.)
 

2013 | Journal Article | IST-REx-ID: 2412   OA
Kupczok, Anne, and Jonathan P Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .” BMC Evolutionary Biology 13, no. 1 (2013): 54–54. https://doi.org/10.1186/1471-2148-13-54.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2443
Simon, Sibu, Martin Kubeš, Pawel Baster, Stéphanie Robert, Petre Dobrev, Jirí Friml, Jan Petrášek, and Eva Zažímalová. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist 200, no. 4 (2013): 1034–48. https://doi.org/10.1111/nph.12437.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2690
Budisantoso, Timotheus, Harumi Harada, Naomi Kamasawa, Yugo Fukazawa, Ryuichi Shigemoto, and Ko Matsui. “Evaluation of Glutamate Concentration Transient in the Synaptic Cleft of the Rat Calyx of Held.” Journal of Physiology 591, no. 1 (2013): 219–39. https://doi.org/10.1113/jphysiol.2012.241398.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2823
Pickup, Melinda, Susie Wilson, David Freudenberger, Nick Nicholls, Lori Gould, Sarah Hnatiuk, and Jeni Delandre. “Post-Fire Recovery of Revegetated Woodland Communities in South-Eastern Australia.” Austral Ecology 38, no. 3 (2013): 300–312. https://doi.org/10.1111/j.1442-9993.2012.02404.x.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2828   OA
Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs.” Journal of the ACM 60, no. 2 (2013). https://doi.org/10.1145/2450142.2450146.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2830
Moussion, Christine, and Michael K Sixt. “A Conduit to Amplify Innate Immunity.” Immunity 38, no. 5 (2013): 853–54. https://doi.org/10.1016/j.immuni.2013.05.005.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2835   OA
Yu, Hong, Michael Karampelias, Stéphanie Robert, Wendy Peer, Ranjan Swarup, Songqing Ye, Lei Ge, et al. “Root Ultraviolet B-Sensitive1/Weak Auxin Response3 Is Essential for Polar Auxin Transport in Arabidopsis.” Plant Physiology 162, no. 2 (2013): 965–76. https://doi.org/10.1104/pp.113.217018.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2842   OA
Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Inference in Two Dimensions: Allele Frequencies versus Lengths of Shared Sequence Blocks.” Theoretical Population Biology 87, no. 1 (2013): 105–19. https://doi.org/10.1016/j.tpb.2013.03.001.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816   OA
Božić, Ivana, Johannes Reiter, Benjamin Allen, Tibor Antal, Krishnendu Chatterjee, Preya Shah, Yo Moon, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife 2 (2013). https://doi.org/10.7554/eLife.00747.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2811   OA
Avila, Marc, and Björn Hof. “Nature of Laminar-Turbulence Intermittency in Shear Flows.” Physical Review E 87, no. 6 (2013). https://doi.org/10.1103/PhysRevE.87.063012.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2861
Botella Soler, Vicente, José Oteo, Javier Ros, and Paul Glendinning. “Lyapunov Exponent and Topological Entropy Plateaus in Piecewise Linear Maps.” Journal of Physics A: Mathematical and Theoretical 46, no. 12 (2013). https://doi.org/10.1088/1751-8113/46/12/125101.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2880   OA
Marhavy, Peter, Marleen Vanstraelen, Bert De Rybel, Ding Zhaojun, Malcolm Bennett, Tom Beeckman, and Eva Benková. “Auxin Reflux between the Endodermis and Pericycle Promotes Lateral Root Initiation.” EMBO Journal 32, no. 1 (2013): 149–58. https://doi.org/10.1038/emboj.2012.303.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera, Antonin, Thomas A Henzinger, Jaroslav Nesetril, Tomas Vojnar, and David Antos, eds. Mathematical and Engineering Methods in Computer Science. Vol. 7721. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36046-6.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed