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.

5255 Publications


2014 | Technical Report | IST-REx-ID: 5427   OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-314-v1-1.
View | Files available | DOI
 

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 | Report | IST-REx-ID: 5422   OA
Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2257
Tkacik, Gasper, Olivier Marre, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Searching for Collective Behavior in a Large Network of Sensory Neurons.” PLoS Computational Biology 10, no. 1 (2014). https://doi.org/10.1371/journal.pcbi.1003408.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122   OA
Linneweber, Gerit A., Jake Jacobson, Karl Emanuel Busch, Bruno Hudry, Christo P. Christov, Dirk Dormann, Michaela Yuan, et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.” Cell 156, no. 1–2 (2014): 69–83. https://doi.org/10.1016/j.cell.2013.12.008.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1999
Stroeymeyt, Nathalie, Barbara E Casillas Perez, and Sylvia Cremer. “Organisational Immunity in Social Insects.” Current Opinion in Insect Science 5, no. 1 (2014): 1–15. https://doi.org/10.1016/j.cois.2014.09.001.
View | Files available | 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): 026801. https://doi.org/10.1103/PhysRevLett.112.026801.
View | DOI | Download (ext.) | arXiv
 

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 | 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: 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: 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: 2900
Azevedo, Ricardo, Rolf Lohaus, and Tiago Paixao. “Networking Networks.” Evolution & Development 10, no. 5 (2013): 514–15.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 352
Cadavid, Doris, Maria Ibanez, Alexey Shavel, Oscar Durá, Marco López De La Torre, and Andreu Cabot. “Organic Ligand Displacement by Metal Salts to Enhance Nanoparticle Functionality: Thermoelectric Properties of Ag Inf 2 Inf Te.” Journal of Materials Chemistry A 1, no. 15 (2013): 4864–70. https://doi.org/10.1039/C3TA01455J.
View | 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 | Conference Paper | IST-REx-ID: 1387
Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.
View | DOI
 

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 | 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: 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): 225. 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: 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: 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: 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: 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: 2328   OA
Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” Lecture Notes in Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.1007/978-3-642-40184-8_18.
View | Files available | DOI
 

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): e1003344. https://doi.org/10.1371/journal.pcbi.1003344.
View | Files available | 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 | Conference Paper | IST-REx-ID: 2847   OA
Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.” Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36742-7_5.
View | Files available | DOI | Download (ext.)
 

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): 125101. 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
 

2013 | Conference Paper | IST-REx-ID: 2948   OA
Tommasi, Tatiana, Novi Quadrianto, Barbara Caputo, and Christoph Lampert. “Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-37331-2_1.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2854   OA
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences 79, no. 5 (2013): 640–57. https://doi.org/10.1016/j.jcss.2012.12.001.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed