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.

2812 Publications


2013 | Book | IST-REx-ID: 2306 | OA
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50. De Gruyter, 2013. https://doi.org/10.1515/9783110278736.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_20.
View | Files available | 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 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_35.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2410 | OA
Fernandes Redondo, Rodrigo A, Anne Kupczok, Gertraud Stift, and Jonathan P Bollback. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements 1, no. 3 (2013). https://doi.org/10.1128/genomeA.00216-13.
View | Files available | DOI
 

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 | Book Chapter | IST-REx-ID: 2413
Valderrama, Mario, Vicente Botella Soler, and Michel Le Van Quyen. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .” In Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson. Wiley-VCH, 2013. https://doi.org/10.1002/9783527671632.ch08.
View | 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 | Conference Paper | IST-REx-ID: 2444 | OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. “Faster Algorithms for Markov Decision Processes with Low Treewidth.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_36.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,” 8044:951–67. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_68.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2446 | OA
Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_37.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2447 | OA
Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_54.
View | Files available | 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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2449
Nodzyński, Tomasz, Murguel Feraru, Sibylle Hirsch, Riet De Rycke, Claudiu Nicuales, Jelle Van Leene, Geert De Jaeger, Steffen Vanneste, and Jirí Friml. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.” Molecular Plant 6, no. 6 (2013): 1849–62. https://doi.org/10.1093/mp/sst044.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2466 | OA
Ando, Ryoichi, Nils Thuerey, and Christopher J Wojtan. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.” ACM Transactions on Graphics 32, no. 4 (2013). https://doi.org/10.1145/2461912.2461982.
View | Files available | 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: 2468 | OA
Bojsen-Hansen, Morten, and Christopher J Wojtan. “Liquid Surface Tracking with Error Compensation.” ACM Transactions on Graphics 32, no. 4 (2013). https://doi.org/10.1145/2461912.2461991.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2469 | OA
Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “Three Functions of Cadherins in Cell Adhesion.” Current Biology 23, no. 14 (2013): R626–33. https://doi.org/10.1016/j.cub.2013.06.019.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2470 | OA
Čovanová, Milada, Michael Sauer, Jan Rychtář, Jiří Friml, Jan Petrášek, and Eva Zažímalová. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.” PLoS One 8, no. 7 (2013). https://doi.org/10.1371/journal.pone.0070050.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2471 | OA
Sanchez-Romero, Inmaculada, Antonio Ariza, Keith Wilson, Michael Skjøt, Jesper Vind, Leonardo De Maria, Lars Skov, and Jose Sánchez Ruiz. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.” PLoS One 8, no. 7 (2013). https://doi.org/10.1371/journal.pone.0070013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2472 | OA
Cazzonelli, Christopher, Marleen Vanstraelen, Sibu Simon, Kuide Yin, Ashley Carron Arthur, Nazia Nisar, Gauri Tarle, et al. “Role of the Arabidopsis PIN6 Auxin Transporter in Auxin Homeostasis and Auxin-Mediated Development.” PLoS One 8, no. 7 (2013). https://doi.org/10.1371/journal.pone.0070069.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2473 | OA
Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Genetic Hitch-Hiking in Spatially Extended Populations.” Theoretical Population Biology 87, no. 8 (2013): 75–89. https://doi.org/10.1016/j.tpb.2012.12.001.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2516
Lampert, Christoph, Hannes Nickisch, and Stefan Harmeling. “Attribute-Based Classification for Zero-Shot Learning of Object Categories.” IEEE Transactions on Pattern Analysis and Machine Intelligence 36, no. 3 (2013): 453–65. https://doi.org/10.1109/TPAMI.2013.140.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_3.
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 Preprint (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: 2698 | OA
Erdös, László, Søren Fournais, and Jan Solovej. “Stability and Semiclassics in Self-Generated Fields.” Journal of the European Mathematical Society 15, no. 6 (2013): 2093–2113. https://doi.org/10.4171/JEMS/416.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2718 | OA
Barton, Nicholas H, and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?” In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 1573–80. ACM, 2013. https://doi.org/10.1145/2463372.2463568.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2719
Paixao, Tiago, and Nicholas H Barton. “A Variance Decomposition Approach to the Analysis of Genetic Algorithms.” In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 845–52. ACM, 2013. https://doi.org/10.1145/2463372.2463470.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2782 | OA
Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.” Journal of Statistical Physics 152, no. 6 (2013): 1003–32. https://doi.org/10.1007/s10955-013-0807-8.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2806
Avila, Kerstin, and Björn Hof. “High-Precision Taylor-Couette Experiment to Study Subcritical Transitions and the Role of Boundary Conditions and Size Effects.” Review of Scientific Instruments 84, no. 6 (2013). https://doi.org/10.1063/1.4807704.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2807 | OA
Čadek, Martin, Marek Krcál, Jiří Matoušek, Lukáš Vokřínek, and Uli Wagner. “Extending Continuous Maps: Polynomiality and Undecidability.” In 45th Annual ACM Symposium on Theory of Computing, 595–604. ACM, 2013. https://doi.org/10.1145/2488608.2488683.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2808 | OA
Landberg, Katarina, Eric Pederson, Tom Viaene, Behruz Bozorg, Jirí Friml, Henrik Jönsson, Mattias Thelander, and Eva Sundberg. “The Moss Physcomitrella Patens Reproductive Organ Development Is Highly Organized, Affected by the Two SHI/STY Genes and by the Level of Active Auxin in the SHI/STY Expression Domain.” Plant Physiology 162, no. 3 (2013): 1406–19. https://doi.org/10.1104/pp.113.214023.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2810 | OA
Vos, Marjon de, Frank Poelwijk, Nico Battich, Joseph Ndika, and Sander Tans. “Environmental Dependence of Genetic Constraint.” PLoS Genetics 9, no. 6 (2013). https://doi.org/10.1371/journal.pgen.1003580.
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 Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2812 | OA
Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in R3.” In Proceedings of the 29th Annual Symposium on Computational Geometry, 117–25. ACM, 2013. https://doi.org/10.1145/2462356.2462373.
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2813 | OA
Samanta, Devranjan, Yves Dubief, Markus Holzner, Christof Schäfer, Alexander Morozov, Christian Wagner, and Björn Hof. “Elasto-Inertial Turbulence.” PNAS 110, no. 26 (2013): 10557–62. https://doi.org/10.1073/pnas.1219666110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2814 | OA
Chatterjee, Krishnendu, Luca Alfaro, and Ritankar Majumdar. “The Complexity of Coverage.” International Journal of Foundations of Computer Science 24, no. 2 (2013): 165–85. https://doi.org/10.1142/S0129054113400066.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2815
Edelsbrunner, Herbert, Brittany Terese Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.” Discrete & Computational Geometry 49, no. 4 (2013): 797–822. https://doi.org/10.1007/s00454-013-9517-x.
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: 2817 | OA
Novak, Sebastian, Krishnendu Chatterjee, and Martin Nowak. “Density Games.” Journal of Theoretical Biology 334 (2013): 26–34. https://doi.org/10.1016/j.jtbi.2013.05.029.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2818 | OA
Rajan, Kanaka, Olivier Marre, and Gasper Tkacik. “Learning Quadratic Receptive Fields from Neural Responses to Natural Stimuli.” Neural Computation 25, no. 7 (2013): 1661–92. https://doi.org/10.1162/NECO_a_00463.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2819 | OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 1:273–82. Springer, 2013. https://doi.org/10.1145/2461328.2461370.
View | DOI | Download Preprint (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 163–72. ACM, 2013. https://doi.org/10.1145/2461328.2461356.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2821 | OA
Remy, Estelle, Tânia Cabrito, Pawel Baster, Rita Batista, Miguel Teixeira, Jirí Friml, Isabel Sá Correia, and Paula Duque. “A Major Facilitator Superfamily Transporter Plays a Dual Role in Polar Auxin Transport and Drought Stress Tolerance in Arabidopsis.” Plant Cell 25, no. 3 (2013): 901–26. https://doi.org/10.1105/tpc.113.110353.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2822 | OA
Topp, Christopher, Anjali Iyer Pascuzzi, Jill Anderson, Cheng Lee, Paul Zurek, Olga Symonova, Ying Zheng, et al. “3D Phenotyping and Quantitative Trait Locus Mapping Identify Core Regions of the Rice Genome Controlling Root Architecture.” PNAS 110, no. 18 (2013): E1695–1704. https://doi.org/10.1073/pnas.1304354110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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: 2824
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” Information and Computation 228–229 (2013): 83–119. https://doi.org/10.1016/j.ic.2013.04.003.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2826 | OA
Tran Viet, Khanh, Caldwell Powell, Veluchamy Barathi, Thomas Klemm, Sebastian Maurer Stroh, Vachiranee Limviphuvadh, Vincent Soler, et al. “Mutations in SCO2 Are Associated with Autosomal-Dominant High-Grade Myopia.” American Journal of Human Genetics 92, no. 5 (2013): 820–26. https://doi.org/10.1016/j.ajhg.2013.04.005.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2827 | OA
Du, Yunlong, Ricardo Tejos, Martina Beck, Ellie Himschoot, Hongjiang Li, Silke Robatzek, Steffen Vanneste, and Jirí Friml. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.” PNAS 110, no. 19 (2013): 7946–51. https://doi.org/10.1073/pnas.1220205110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications