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.

2926 Publications


2014 | Journal Article | IST-REx-ID: 1918 | OA
Bellazzini, Jacopo, Rupert Frank, Élliott Lieb, and Robert Seiringer. “Existence of Ground States for Negative Ions at the Binding Threshold.” Reviews in Mathematical Physics 26, no. 1 (2014). https://doi.org/10.1142/S0129055X13500219.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1919 | OA
Aziz, Wajeeha, Wen Wang, Sebnem Kesaf, Alsayed Mohamed, Yugo Fukazawa, and Ryuichi Shigemoto. “Distinct Kinetics of Synaptic Structural Plasticity, Memory Formation, and Memory Decay in Massed and Spaced Learning.” PNAS 111, no. 1 (2014): E194–202. https://doi.org/10.1073/pnas.1303317110.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920 | OA
Wang, Wen, Kazuhiko Nakadate, Miwako Masugi Tokita, Fumihiro Shutoh, Wajeeha Aziz, Etsuko Tarusawa, Andrea Lörincz, et al. “Distinct Cerebellar Engrams in Short-Term and Long-Term Motor Learning.” PNAS 111, no. 1 (2014): E188–93. https://doi.org/10.1073/pnas.1315541111.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1921 | OA
Tejos, Ricardo, Michael Sauer, Steffen Vanneste, MiriamPalacios Palacios-Gomez, Hongjiang Li, Mareike Heilmann, Ringo Van Wijk, et al. “Bipolar Plasma Membrane Distribution of Phosphoinositides and Their Requirement for Auxin-Mediated Cell Polarity and Patterning in Arabidopsis.” Plant Cell 26, no. 5 (2014): 2114–28. https://doi.org/10.1105/tpc.114.126185.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1922
Smet, Dajo, Petra Žádníková, Filip Vandenbussche, Eva Benková, and Dominique Van Der Straeten. “Dynamic Infrared Imaging Analysis of Apical Hook Development in Arabidopsis: The Case of Brassinosteroids.” New Phytologist 202, no. 4 (2014): 1398–1411. https://doi.org/10.1111/nph.12751.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1923 | OA
Berthoumieux, Hélène, Jean-Léon Maître, Carl-Philipp J Heisenberg, Ewa Paluch, Frank Julicher, and Guillaume Salbreux. “Active Elastic Thin Shell Theory for Cellular Deformations.” New Journal of Physics 16 (2014). https://doi.org/10.1088/1367-2630/16/6/065005.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1924
Le, Jie, Xuguang Liu, Kezhen Yang, Xiaolan Chen, Lingling Zhu, Hongzhe Wang, Ming Wang, et al. “Auxin Transport and Activity Regulate Stomatal Patterning and Development.” Nature Communications 5 (2014). https://doi.org/10.1038/ncomms4090.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1925 | OA
Lamprecht, Constanze, Birgit Plochberger, Verena Ruprecht, Stefan Wieser, Christian Rankl, Elena Heister, Barbara Unterauer, et al. “A Single-Molecule Approach to Explore Binding Uptake and Transport of Cancer Cell Targeting Nanotubes.” Nanotechnology 25, no. 12 (2014). https://doi.org/10.1088/0957-4484/25/12/125704.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1926 | OA
Sadel, Christian. “Absolutely Continuous Spectrum for Random Schrödinger Operators on the Fibonacci and Similar Tree-Strips.” Mathematical Physics, Analysis and Geometry 17, no. 3–4 (2014): 409–40. https://doi.org/10.1007/s11040-014-9163-4.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1928
Humplik, Jan, Alison Hill, and Martin Nowak. “Evolutionary Dynamics of Infectious Diseases in Finite Populations.” Journal of Theoretical Biology 360 (2014): 149–62. https://doi.org/10.1016/j.jtbi.2014.06.039.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1929
Alexeev, V V, V G Bogaevskaya, M M Preobrazhenskaya, A Y Ukhalov, Herbert Edelsbrunner, and Olga Yakimova. “An Algorithm for Cartographic Generalization That Preserves Global Topology.” Journal of Mathematical Sciences (United States) 203, no. 6 (2014): 754–60. https://doi.org/10.1007/s10958-014-2165-8.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1930
Günther, David, Alec Jacobson, Jan Reininghaus, Hans Seidel, Olga Sorkine Hornung, and Tino Weinkauf. “Fast and Memory-Efficient Topological Denoising of 2D and 3D Scalar Fields.” IEEE Transactions on Visualization and Computer Graphics 20, no. 12 (2014): 2585–94. https://doi.org/10.1109/TVCG.2014.2346432.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1931 | OA
Savin, Cristina, and Jochen Triesch. “Emergence of Task-Dependent Representations in Working Memory Circuits.” Frontiers in Computational Neuroscience 8, no. MAY (2014). https://doi.org/10.3389/fncom.2014.00057.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932 | OA
Trotter, Meredith, Daniel Weissman, Grant Peterson, Kayla Peck, and Joanna Masel. “Cryptic Genetic Variation Can Make "Irreducible Complexity" a Common Mode of Adaptation in Sexual Populations.” Evolution 68, no. 12 (2014): 3357–67. https://doi.org/10.1111/evo.12517.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1933
Hatakeyama, Jun, Yoshio Wakamatsu, Akira Nagafuchi, Ryoichiro Kageyama, Ryuichi Shigemoto, and Kenji Shimamura. “Cadherin-Based Adhesions in the Apical Endfoot Are Required for Active Notch Signaling to Control Neurogenesis in Vertebrates.” Development 141, no. 8 (2014): 1671–82. https://doi.org/10.1242/dev.102988.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1934
Marhavy, Peter, Jérôme Duclercq, Benjamin Weller, Elena Feraru, Agnieszka Bielach, Remko Offringa, Jirí Friml, Claus Schwechheimer, Angus Murphy, and Eva Benková. “Cytokinin Controls Polarity of PIN1-Dependent Auxin Transport during Lateral Root Organogenesis.” Current Biology 24, no. 9 (2014): 1031–37. https://doi.org/10.1016/j.cub.2014.04.002.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1935 | OA
Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Formation of Stripes and Slabs near the Ferromagnetic Transition.” Communications in Mathematical Physics 331, no. 1 (2014): 333–50. https://doi.org/10.1007/s00220-014-1923-2.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1936 | OA
Arbilly, Michal, Daniel Weissman, Marcus Feldman, and Uri Grodzinski. “An Arms Race between Producers and Scroungers Can Drive the Evolution of Social Cognition.” Behavioral Ecology 25, no. 3 (2014): 487–95. https://doi.org/10.1093/beheco/aru002.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937 | OA
Bourgade, Paul, László Erdös, and Horngtzer Yau. “Edge Universality of Beta Ensembles.” Communications in Mathematical Physics 332, no. 1 (2014): 261–353. https://doi.org/10.1007/s00220-014-2120-z.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum Systems.” In Proceeding of the International Congress of Mathematicans, 3:1175–94. Kyung Moon SA, 2014.
View | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science 547, no. C (2014): 104–16. https://doi.org/10.1016/j.tcs.2014.06.031.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. https://doi.org/10.1007/978-3-642-54013-4_10.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393 | OA
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 | Download Published Version (ext.)
 

2014 | Thesis | IST-REx-ID: 1395
Konrad, Matthias. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1402
Marhavá, Petra. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1403
Behrndt, Martin. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria, 2014.
View | Files available
 

2014 | Thesis | IST-REx-ID: 1404
Stock, Miriam. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria, 2014.
View
 

2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity,” 3:214–36. Kyung Moon SA Co. Ltd., 2014.
View | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.” In Proceedings of the QMath12 Conference, 127–37. World Scientific Publishing, 2014. https://doi.org/10.1142/9789814618144_0007.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1532
Yang, Huaiyu, Jenny Von Der Fecht Bartenbach, Jirí Friml, Jan Lohmann, Benjamin Neuhäuser, and Uwe Ludewig. “Auxin-Modulated Root Growth Inhibition in Arabidopsis Thaliana Seedlings with Ammonium as the Sole Nitrogen Source.” Functional Plant Biology 42, no. 3 (2014): 239–51. https://doi.org/10.1071/FP14171.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik, Gašper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One 9, no. 1 (2014). https://doi.org/10.1371/journal.pone.0085841.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 8500
Kaloshin, Vadim, Mark Levi, and Maria Saprykina. “Arnol′d Diffusion in a Pendulum Lattice.” Communications on Pure and Applied Mathematics 67, no. 5 (2014): 748–75. https://doi.org/10.1002/cpa.21509.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2009 | OA
Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality 5, no. 1 (2013): 137–66. https://doi.org/10.29012/jpc.v5i1.629.
View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2010 | OA
Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics 41, no. 2 (2013): 436–63. https://doi.org/10.1214/12-AOS1080.
View | DOI | Download Published Version (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013. https://doi.org/10.1145/2429069.2429109.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013. https://doi.org/10.1145/2429069.2429085.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2209
Biedl, Therese, Martin Held, and Stefan Huber. “Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input,” 37–46. IEEE, 2013. https://doi.org/10.1109/ISVD.2013.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 Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2237 | OA
Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-45221-5_13.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, Vojtěch Forejt, and Dominik Wojtczak. “Multi-Objective Discounted Reward Verification in Graphs and MDPs.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-45221-5_17.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.563.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-319-03841-4_41.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky, Benjamin, Johannes Reiter, Krishnendu Chatterjee, and Martin Nowak. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One 8, no. 12 (2013). https://doi.org/10.1371/journal.pone.0080814.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2256 | OA
Danowski, Patrick, Doron Goldfarb, Verena Schaffner, and Wolfram Seidler. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen 66, no. 3/4 (2013): 559–87.
View | Files available
 

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: 2259 | OA
Alwen, Joel F, Stephan Krenn, Krzysztof Z Pietrzak, and Daniel Wichs. “Learning with Rounding, Revisited: New Reduction Properties and Applications.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40041-4_4.
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 Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2264 | OA
Liang, Huixuan, Guanxi Xiao, Haifeng Yin, Simon Hippenmeyer, Jonathan Horowitz, and Troy Ghashghaei. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.” Development 140, no. 3 (2013): 552–61. https://doi.org/10.1242/dev.085621.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2270 | OA
Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam. “Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press, 2013.
View | Download None (ext.) | arXiv
 

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 Submitted Version (ext.)
 

2013 | Report | IST-REx-ID: 2273 | OA
Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
View | Download (ext.)
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. Proofs of Space. IST Austria, 2013.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2276 | OA
Gridchyn, Igor, and Vladimir Kolmogorov. “Potts Model, Parametric Maxflow and k-Submodular Functions,” 2320–27. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.288.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons, Kristina, Jason Prentice, Gašper Tkačik, 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 | Journal Article | IST-REx-ID: 2278
Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejčí, and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.” Journal of Cell Science 126, no. 21 (2013): 4873–84. https://doi.org/10.1242/jcs.125617.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279 | OA
Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-319-02444-8_10.
View | Files available | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 2280 | OA
Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM Review 55, no. 4 (2013): 671–706. https://doi.org/10.1137/120872309.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2282 | OA
Campinho, Pedro, Martin Behrndt, Jonas Ranft, Thomas Risler, Nicolas Minc, and Carl-Philipp J Heisenberg. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology 15 (2013): 1405–14. https://doi.org/10.1038/ncb2869.
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2283
Pull, Christopher, William Hughes, and Markus Brown. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .” Naturwissenschaften 100, no. 12 (2013): 1125–36. https://doi.org/10.1007/s00114-013-1115-5.
View | DOI
 

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: 2286 | OA
Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal 32, no. 21 (2013): 2783–84. https://doi.org/10.1038/emboj.2013.225.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2287 | OA
Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology and Evolution 3, no. 3 (2013): 629–39. https://doi.org/10.1002/ece3.465.
View | Files available | DOI
 

2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A Henzinger, eds. Computational Methods in Systems Biology. Vol. 8130. Springer, 2013. https://doi.org/10.1007/978-3-642-40708-6.
View | 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 | Journal Article | IST-REx-ID: 2290 | OA
Boutté, Yohann, Kristoffer Jonsson, Heather Mcfarlane, Errin Johnson, Delphine Gendre, Ranjan Swarup, Jirí Friml, Lacey Samuels, Stéphanie Robert, and Rishikesh Bhalerao. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS 110, no. 40 (2013): 16259–64. https://doi.org/10.1073/pnas.1309057110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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 Submitted Version (ext.)
 

2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, Krishnendu, and Jiri Sgall, eds. Mathematical Foundations of Computer Science 2013. Vol. 8087. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40313-2.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2293 | OA
Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning to Rank Using Privileged Information,” 825–32. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.107.
View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2294 | OA
Kazmar, Tomas, Evgeny Kvon, Alexander Stark, and Christoph Lampert. “Drosophila Embryo Stage Annotation Using Label Propagation.” IEEE, 2013. https://doi.org/10.1109/ICCV.2013.139.
View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2295 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics 8, no. 2 (2013): 185–232. https://doi.org/10.1007/s11537-013-1264-5.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2298 | OA
Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis for Overlaid Data Structures,” 7935:150–71. Springer, 2013. https://doi.org/10.1007/978-3-642-38856-9_10.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299 | OA
Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer 15, no. 5–6 (2013): 585–601. https://doi.org/10.1007/s10009-011-0207-9.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2300 | OA
Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B 88, no. 6 (2013). https://doi.org/10.1103/PhysRevB.88.064401.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2301
Desai, Ankush, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. “P: Safe Asynchronous Event-Driven Programming.” In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 321–31. ACM, 2013. https://doi.org/10.1145/2491956.2462184.
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 2303
Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.” Frontiers in Biology 8, no. 6 (2013): 557–68. https://doi.org/10.1007/s11515-013-1279-6.
View | 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: 2305 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013. https://doi.org/10.1109/LICS.2013.39.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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
 

Filters and Search Terms

extern<>1

Search

Filter Publications