Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.”https://doi.org/10.1007/978-3-642-45221-5_13__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_13 .
LibreCat: https://research-explorer.ista.ac.at/record/2237
DOI: 10.1007/978-3-642-45221-5_13

Chatterjee, Krishnendu, Vojtbch Forejt, and Dominik Wojtczak. “Multi-Objective Discounted Reward Verification in Graphs and MDPs.”https://doi.org/10.1007/978-3-642-45221-5_17__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_17 .
LibreCat: https://research-explorer.ista.ac.at/record/2238
DOI: 10.1007/978-3-642-45221-5_17

Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.”https://doi.org/10.4230/LIPIcs.CSL.2013.563__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.563 .
LibreCat: https://research-explorer.ista.ac.at/record/2243
DOI: 10.4230/LIPIcs.CSL.2013.563

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.”https://doi.org/10.1007/978-3-319-03841-4_41__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-319-03841-4_41 .
LibreCat: https://research-explorer.ista.ac.at/record/2244
DOI: 10.1007/978-3-319-03841-4_41
arXiv: 1302.6475

Alwen, Joel F, Stephan Krenn, Krzysztof Z Pietrzak, and Daniel Wichs. “Learning with Rounding, Revisited: New Reduction Properties and Applications.”https://doi.org/10.1007/978-3-642-40041-4_4__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_4 .
LibreCat: https://research-explorer.ista.ac.at/record/2259
DOI: 10.1007/978-3-642-40041-4_4

Kiltz, Eike, Krzysztof Z Pietrzak, and Mario Szegedy. “Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.”https://doi.org/10.1007/978-3-642-40041-4_31__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_31 .
LibreCat: https://research-explorer.ista.ac.at/record/2258
DOI: 10.1007/978-3-642-40041-4_31

Danowski, Patrick, Doron Goldfarb, Verena Schaffner, and Wolfram Seidler. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2256

Bernhard, David, Georg Fuchsbauer, and Essam Ghadafi. “Efficient Signatures of Knowledge and DAA in the Standard Model.”https://doi.org/10.1007/978-3-642-38980-1_33__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-38980-1_33 .
LibreCat: https://research-explorer.ista.ac.at/record/2260
DOI: 10.1007/978-3-642-38980-1_33

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.”https://doi.org/10.1242/dev.085621__Development. Company of Biologists, 2013.https://doi.org/10.1242/dev.085621 .
LibreCat: https://research-explorer.ista.ac.at/record/2264
DOI: 10.1242/dev.085621
PMID: 23293287

Auzinger, Thomas, Michael Wimmer, and Stefan Jeschke. “Analytic Visibility on the GPU.”https://doi.org/DOI: 10.1111/cgf.12061__Computer Graphics Forum. Wiley-Blackwell, 2013.https://doi.org/DOI: 10.1111/cgf.12061 .
LibreCat: https://research-explorer.ista.ac.at/record/2269
DOI: DOI: 10.1111/cgf.12061

Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam. “Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2270
arXiv: 1108.5248

Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2273

Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejdí, and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.”https://doi.org/10.1242/jcs.125617__Journal of Cell Science. Company of Biologists, 2013.https://doi.org/10.1242/jcs.125617 .
LibreCat: https://research-explorer.ista.ac.at/record/2278
DOI: 10.1242/jcs.125617

Gridchyn, Igor, and Vladimir Kolmogorov. “Potts Model, Parametric Maxflow and k-Submodular Functions,”https://doi.org/10.1109/ICCV.2013.288__2320–27. IEEE, 2013.https://doi.org/10.1109/ICCV.2013.288 .
LibreCat: https://research-explorer.ista.ac.at/record/2276
DOI: 10.1109/ICCV.2013.288
arXiv: 1310.1771

Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.”https://doi.org/10.1137/120872309__SIAM Review. Society for Industrial and Applied Mathematics , 2013.https://doi.org/10.1137/120872309 .
LibreCat: https://research-explorer.ista.ac.at/record/2280
DOI: 10.1137/120872309
arXiv: 1204.0235

Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.”https://doi.org/10.1002/ece3.465__Ecology and Evolution. Wiley-Blackwell, 2013.https://doi.org/10.1002/ece3.465 .
LibreCat: https://research-explorer.ista.ac.at/record/2287
DOI: 10.1002/ece3.465

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.”https://doi.org/10.1038/ncb2869__Nature Cell Biology. Nature Publishing Group, 2013.https://doi.org/10.1038/ncb2869 .
LibreCat: https://research-explorer.ista.ac.at/record/2282
DOI: 10.1038/ncb2869

Pull, Christopher, William Hughes, and Markus Brown. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .”https://doi.org/10.1007/s00114-013-1115-5__Naturwissenschaften. Springer, 2013.https://doi.org/10.1007/s00114-013-1115-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2283
DOI: 10.1007/s00114-013-1115-5

Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of Cell Proliferation.”https://doi.org/10.1038/emboj.2013.225__EMBO Journal. Wiley-Blackwell, 2013.https://doi.org/10.1038/emboj.2013.225 .
LibreCat: https://research-explorer.ista.ac.at/record/2286
DOI: 10.1038/emboj.2013.225
PMID: 24097062

Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.”https://doi.org/10.1007/s00450-013-0251-7__Computer Science Research and Development. Springer, 2013.https://doi.org/10.1007/s00450-013-0251-7 .
LibreCat: https://research-explorer.ista.ac.at/record/2289
DOI: 10.1007/s00450-013-0251-7

Boutté, Yohann, Kristoffer Jonsson, Heather Mcfarlane, Errin Johnson, Delphine Gendre, Ranjan Swarup, Jií Friml, Lacey Samuels, Stéphanie Robert, and Rishikesh Bhalerao. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.”https://doi.org/10.1073/pnas.1309057110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1309057110 .
LibreCat: https://research-explorer.ista.ac.at/record/2290
DOI: 10.1073/pnas.1309057110
PMID: 24043780

Kazmar, Tomas, Evgeny Kvon, Alexander Stark, and Christoph Lampert. “Drosophila Embryo Stage Annotation Using Label Propagation.”https://doi.org/10.1109/ICCV.2013.139__IEEE, 2013.https://doi.org/10.1109/ICCV.2013.139 .
LibreCat: https://research-explorer.ista.ac.at/record/2294
DOI: 10.1109/ICCV.2013.139

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2292
DOI: 10.1007/978-3-642-40313-2

Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning to Rank Using Privileged Information,”https://doi.org/10.1109/ICCV.2013.107__825–32. IEEE, 2013.https://doi.org/10.1109/ICCV.2013.107 .
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 10.1109/ICCV.2013.107

Ferrara, Anna, Georg Fuchsbauer, and Bogdan Warinschi. “Cryptographically Enforced RBAC,”https://doi.org/10.1109/CSF.2013.15__115–29. IEEE, 2013.https://doi.org/10.1109/CSF.2013.15 .
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 10.1109/CSF.2013.15

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2288
DOI: 10.1007/978-3-642-40708-6

Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis for Overlaid Data Structures,”https://doi.org/10.1007/978-3-642-38856-9_10__7935:150–71. Springer, 2013.https://doi.org/10.1007/978-3-642-38856-9_10 .
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.”https://doi.org/10.1007/s10009-011-0207-9__International Journal on Software Tools for Technology Transfer. Springer, 2013.https://doi.org/10.1007/s10009-011-0207-9 .
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.”https://doi.org/10.1007/s11537-013-1264-5__Japanese Journal of Mathematics. Springer, 2013.https://doi.org/10.1007/s11537-013-1264-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50. De Gruyter, 2013.https://doi.org/10.1515/9783110278736 .
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 10.1515/9783110278736

Desai, Ankush, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. “P: Safe Asynchronous Event-Driven Programming.”https://doi.org/10.1145/2491956.2462184__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 .
LibreCat: https://research-explorer.ista.ac.at/record/2301
DOI: 10.1145/2491956.2462184

Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Realization of Stripes and Slabs in Two and Three Dimensions.”https://doi.org/10.1103/PhysRevB.88.064401__Physical Review B. American Physical Society, 2013.https://doi.org/10.1103/PhysRevB.88.064401 .
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.”https://doi.org/10.1007/s11515-013-1279-6__Frontiers in Biology. Springer, 2013.https://doi.org/10.1007/s11515-013-1279-6 .
LibreCat: https://research-explorer.ista.ac.at/record/2303
DOI: 10.1007/s11515-013-1279-6

Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.”https://doi.org/10.1016/j.endm.2013.07.008__Electronic Notes in Discrete Mathematics. Elsevier, 2013.https://doi.org/10.1016/j.endm.2013.07.008 .
LibreCat: https://research-explorer.ista.ac.at/record/2304
DOI: 10.1016/j.endm.2013.07.008

Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Disordered Bose-Einstein Condensates with Interaction,”https://doi.org/10.1142/9789814449243_0063__610–19. World Scientific Publishing, 2013.https://doi.org/10.1142/9789814449243_0063 .
LibreCat: https://research-explorer.ista.ac.at/record/2315
DOI: 10.1142/9789814449243_0063
arXiv: 1209.4046

Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction,”https://doi.org/10.1007/978-3-0348-0531-5_3__57–88. Springer, 2013.https://doi.org/10.1007/978-3-0348-0531-5_3 .
LibreCat: https://research-explorer.ista.ac.at/record/2319
DOI: 10.1007/978-3-0348-0531-5_3

Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.”https://doi.org/10.1007/978-3-642-40184-8_18__Lecture Notes in Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.1007/978-3-642-40184-8_18 .
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “A Positive Density Analogue of the Lieb-Thirring Inequality.”https://doi.org/10.1215/00127094-2019477__Duke Mathematical Journal. Duke University Press, 2013.https://doi.org/10.1215/00127094-2019477 .
LibreCat: https://research-explorer.ista.ac.at/record/2404
DOI: 10.1215/00127094-2019477

Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Condensation of Interacting Bosons in a Random Potential.”https://doi.org/10.1140/epjst/e2013-01759-5__European Physical Journal: Special Topics. Springer, 2013.https://doi.org/10.1140/epjst/e2013-01759-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2406
DOI: 10.1140/epjst/e2013-01759-5

Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.”https://doi.org/10.1007/s00220-012-1604-y__Communications in Mathematical Physics. Springer, 2013.https://doi.org/10.1007/s00220-012-1604-y .
LibreCat: https://research-explorer.ista.ac.at/record/2405
DOI: 10.1007/s00220-012-1604-y

Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting Bosons in a Trap.”https://doi.org/10.1007/s00220-013-1736-8__Communications in Mathematical Physics. Springer, 2013.https://doi.org/10.1007/s00220-013-1736-8 .
LibreCat: https://research-explorer.ista.ac.at/record/2408
DOI: 10.1007/s00220-013-1736-8

Kupczok, Anne, and Jonathan P Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .”https://doi.org/10.1186/1471-2148-13-54__BMC Evolutionary Biology. BioMed Central, 2013.https://doi.org/10.1186/1471-2148-13-54 .
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

Valderrama, Mario, Vicente Botella Soler, and Michel Le Van Quyen. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .”https://doi.org/10.1002/9783527671632.ch08__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 .
LibreCat: https://research-explorer.ista.ac.at/record/2413
DOI: 10.1002/9783527671632.ch08

Fernandes Redondo, Rodrigo A, Anne Kupczok, Gertraud Stift, and Jonathan P Bollback. “Complete Genome Sequence of the Novel Phage MG- Infecting Bacillus Weihenstephanensis.”https://doi.org/10.1128/genomeA.00216-13__Genome Announcements. American Society for Microbiology, 2013.https://doi.org/10.1128/genomeA.00216-13 .
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.”https://doi.org/10.1007/978-3-642-39799-8_54__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_54 .
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

Simon, Sibu, Martin Kubes, Pawel Baster, Stéphanie Robert, Petre Dobrev, Jií Friml, Jan Petrásek, and Eva Zaeímalová. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.”https://doi.org/10.1111/nph.12437__New Phytologist. Wiley, 2013.https://doi.org/10.1111/nph.12437 .
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437

Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.”https://doi.org/10.1007/978-3-642-39799-8_37__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_37 .
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

Chatterjee, Krishnendu, and Jakub aCki. “Faster Algorithms for Markov Decision Processes with Low Treewidth.”https://doi.org/10.1007/978-3-642-39799-8_36__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_36 .
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

Nodzyski, Tomasz, Murguel Feraru, Sibylle Hirsch, Riet De Rycke, Claudiu Nicuales, Jelle Van Leene, Geert De Jaeger, Steffen Vanneste, and Jií Friml. “Retromer Subunits VPA and VP Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.”https://doi.org/10.1093/mp/sst044__Molecular Plant. Cell Press, 2013.https://doi.org/10.1093/mp/sst044 .
LibreCat: https://research-explorer.ista.ac.at/record/2449
DOI: 10.1093/mp/sst044

Barbez, Elke, Martina Laková, Markéta Paezová, Alexis Maizel, Eva Zaeímalová, Jan Petrásek, Jií Friml, and Jürgen Kleine Vehn. “Single-Cell-Based System to Monitor Carrier Driven Cellular Auxin Homeostasis.”https://doi.org/10.1186/1471-2229-13-20__BMC Plant Biology. BioMed Central, 2013.https://doi.org/10.1186/1471-2229-13-20 .
LibreCat: https://research-explorer.ista.ac.at/record/2452
DOI: 10.1186/1471-2229-13-20

Liu, Junli, Saher Menhi, Jennifer Topping, Jií Friml, and Keith Lindsey. “Interaction of PLS and PIN and Hormonal Crosstalk in Arabidopsis Root Development.”https://doi.org/10.3389/fpls.2013.00075__Frontiers in Plant Science. Frontiers Research Foundation, 2013.https://doi.org/10.3389/fpls.2013.00075 .
LibreCat: https://research-explorer.ista.ac.at/record/2450
DOI: 10.3389/fpls.2013.00075

Baier, Stephan, and Timothy D Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.”https://doi.org/10.1515/crelle.2012.039__Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2013.https://doi.org/10.1515/crelle.2012.039 .
LibreCat: https://research-explorer.ista.ac.at/record/245
DOI: 10.1515/crelle.2012.039

Viaene, Tom, Charles Delwiche, Stefan Rensing, and Jií Friml. “Origin and Evolution of PIN Auxin Transporters in the Green Lineage.”https://doi.org/10.1016/j.tplants.2012.08.009__Trends in Plant Science. Cell Press, 2013.https://doi.org/10.1016/j.tplants.2012.08.009 .
LibreCat: https://research-explorer.ista.ac.at/record/2457
DOI: 10.1016/j.tplants.2012.08.009

Browning, Timothy D, and Ritabrata Munshi. “Rational Points on Singular Intersections of Quadrics.”https://doi.org/10.1112/S0010437X13007185__Compositio Mathematica. Cambridge University Press, 2013.https://doi.org/10.1112/S0010437X13007185 .
LibreCat: https://research-explorer.ista.ac.at/record/246
DOI: 10.1112/S0010437X13007185

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.”https://doi.org/10.1371/journal.pone.0070013__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0070013 .
LibreCat: https://research-explorer.ista.ac.at/record/2471
DOI: 10.1371/journal.pone.0070013

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.”https://doi.org/10.1371/journal.pone.0070069__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0070069 .
LibreCat: https://research-explorer.ista.ac.at/record/2472
DOI: 10.1371/journal.pone.0070069

covanová, Milada, Michael Sauer, Jan Rychtá, Jií Friml, Jan Petrásek, and Eva Zaeímalová. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.”https://doi.org/10.1371/journal.pone.0070050__PLoS One. Public Library of Science, 2013.https://doi.org/10.1371/journal.pone.0070050 .
LibreCat: https://research-explorer.ista.ac.at/record/2470
DOI: 10.1371/journal.pone.0070050

Ando, Ryoichi, Nils Thuerey, and Chris Wojtan. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.”https://doi.org/10.1145/2461912.2461982__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2461982 .
LibreCat: https://research-explorer.ista.ac.at/record/2466
DOI: 10.1145/2461912.2461982

Bernstein, Gilbert, and Chris Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.”https://doi.org/10.1145/2461912.2462027__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2462027 .
LibreCat: https://research-explorer.ista.ac.at/record/2467
DOI: 10.1145/2461912.2462027

Bojsen-Hansen, Morten, and Chris Wojtan. “Liquid Surface Tracking with Error Compensation.”https://doi.org/10.1145/2461912.2461991__ACM Transactions on Graphics. ACM, 2013.https://doi.org/10.1145/2461912.2461991 .
LibreCat: https://research-explorer.ista.ac.at/record/2468
DOI: 10.1145/2461912.2461991

Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “Three Functions of Cadherins in Cell Adhesion.”https://doi.org/10.1016/j.cub.2013.06.019__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2013.06.019 .
LibreCat: https://research-explorer.ista.ac.at/record/2469
DOI: 10.1016/j.cub.2013.06.019
PMID: 23885883

Browning, Timothy D. “The Lang-Weil Estimate for Cubic Hypersurfaces.”https://doi.org/10.4153/CMB-2011-177-4__Canadian Mathematical Bulletin. Unknown, 2013.https://doi.org/10.4153/CMB-2011-177-4 .
LibreCat: https://research-explorer.ista.ac.at/record/247
DOI: 10.4153/CMB-2011-177-4

Barton, Nicholas H, Alison Etheridge, Jerome Kelleher, and Amandine Véber. “Genetic Hitch-Hiking in Spatially Extended Populations.”https://doi.org/10.1016/j.tpb.2012.12.001__Theoretical Population Biology. Elsevier, 2013.https://doi.org/10.1016/j.tpb.2012.12.001 .
LibreCat: https://research-explorer.ista.ac.at/record/2473
DOI: 10.1016/j.tpb.2012.12.001

Budreck, Elaine, Oh Kwon, Jung Jung, Stéphane Baudouin, Albert Thommen, Hye Kim, Yugo Fukazawa, et al. “Neuroligin-1 Controls Synaptic Abundance of NMDA-Type Glutamate Receptors through Extracellular Coupling.”https://doi.org/10.1073/pnas.1214718110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1214718110 .
LibreCat: https://research-explorer.ista.ac.at/record/2478
DOI: 10.1073/pnas.1214718110

De La Bretèche, Régis, and Timothy D Browning. “Density of Châtelet Surfaces Failing the Hasse Principle.”https://doi.org/10.1112/plms/pdt060__Proceedings of the London Mathematical Society. Oxford University Press, 2013.https://doi.org/10.1112/plms/pdt060 .
LibreCat: https://research-explorer.ista.ac.at/record/250
DOI: 10.1112/plms/pdt060

De La Bretèche, Régis, and Timothy D Browning. “Counter Examples to the Hasse Principle among Certain Coflasque Tori.”https://doi.org/10.5802/jtnb.857__Journal de Theorie Des Nombres de Bordeaux. Universite de Bordeaux I, 2013.https://doi.org/10.5802/jtnb.857 .
LibreCat: https://research-explorer.ista.ac.at/record/251
DOI: 10.5802/jtnb.857

Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.”https://doi.org/10.1007/978-3-642-39212-2_3__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39212-2_3 .
LibreCat: https://research-explorer.ista.ac.at/record/2517
DOI: 10.1007/978-3-642-39212-2_3

Kolmogorov, Vladimir. “The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization,”https://doi.org/10.1007/978-3-642-39206-1_53__7965:625–36. Springer, 2013.https://doi.org/10.1007/978-3-642-39206-1_53 .
LibreCat: https://research-explorer.ista.ac.at/record/2518
DOI: 10.1007/978-3-642-39206-1_53
arXiv: 1207.7213

Lampert, Christoph, Hannes Nickisch, and Stefan Harmeling. “Attribute-Based Classification for Zero-Shot Learning of Object Categories.”https://doi.org/10.1109/TPAMI.2013.140__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2013.https://doi.org/10.1109/TPAMI.2013.140 .
LibreCat: https://research-explorer.ista.ac.at/record/2516
DOI: 10.1109/TPAMI.2013.140

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.
LibreCat: https://research-explorer.ista.ac.at/record/2520

Browning, Timothy D. “Counting Rational Points on Cubic Hypersurfaces: Corrigendum.”https://doi.org/10.1112/S0025579313000132__Mathematika. Unknown, 2013.https://doi.org/10.1112/S0025579313000132 .
LibreCat: https://research-explorer.ista.ac.at/record/253
DOI: 10.1112/S0025579313000132

Dobi, Alice, Simone Sartori, Daniela Busti, Herman Van Der Putten, Nicolas Singewald, Ryuichi Shigemoto, and Francesco Ferraguti. “Neural Substrates for the Distinct Effects of Presynaptic Group III Metabotropic Glutamate Receptors on Extinction of Contextual Fear Conditioning in Mice.”https://doi.org/10.1016/j.neuropharm.2012.05.025__Neuropharmacology. Elsevier, 2013.https://doi.org/10.1016/j.neuropharm.2012.05.025 .
LibreCat: https://research-explorer.ista.ac.at/record/2692
DOI: 10.1016/j.neuropharm.2012.05.025

Indriati, Dwi, Naomi Kamasawa, Ko Matsui, Andrea Meredith, Masahiko Watanabe, and Ryuichi Shigemoto. “Quantitative Localization of Ca.1 (P/Q-Type) Voltage-Dependent Calcium Channels in Purkinje Cells: Somatodendritic Gradient and Distinct Somatic Coclustering with Calcium-Activated Potassium Channels.”https://doi.org/10.1523/JNEUROSCI.2921-12.2013__Journal of Neuroscience. Society for Neuroscience, 2013.https://doi.org/10.1523/JNEUROSCI.2921-12.2013 .
LibreCat: https://research-explorer.ista.ac.at/record/2691
DOI: 10.1523/JNEUROSCI.2921-12.2013

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.”https://doi.org/10.1113/jphysiol.2012.241398__Journal of Physiology. Wiley-Blackwell, 2013.https://doi.org/10.1113/jphysiol.2012.241398 .
LibreCat: https://research-explorer.ista.ac.at/record/2690
DOI: 10.1113/jphysiol.2012.241398

Booker, Sam, Anna Gross, Daniel Althof, Ryuichi Shigemoto, Bernhard Bettler, Michael Frotscher, Matthew Hearing, et al. “Differential GABAB-Receptor-Mediated Effects in Perisomatic- and Dendrite-Targeting Parvalbumin Interneurons.”https://doi.org/10.1523/JNEUROSCI.1186-12.2013__Journal of Neuroscience. Society for Neuroscience, 2013.https://doi.org/10.1523/JNEUROSCI.1186-12.2013 .
LibreCat: https://research-explorer.ista.ac.at/record/2693
DOI: 10.1523/JNEUROSCI.1186-12.2013

Erdös, László, Søren Fournais, and Jan Solovej. “Stability and Semiclassics in Self-Generated Fields.”https://doi.org/10.4171/JEMS/416__Journal of the European Mathematical Society. European Mathematical Society, 2013.https://doi.org/10.4171/JEMS/416 .
LibreCat: https://research-explorer.ista.ac.at/record/2698
DOI: 10.4171/JEMS/416
arXiv: 1105.0506

Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Delocalization and Diffusion Profile for Random Band Matrices.”https://doi.org/10.1007/s00220-013-1773-3__Communications in Mathematical Physics. Springer, 2013.https://doi.org/10.1007/s00220-013-1773-3 .
LibreCat: https://research-explorer.ista.ac.at/record/2697
DOI: 10.1007/s00220-013-1773-3

Barton, Nicholas H, and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?”https://doi.org/10.1145/2463372.2463568__In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 1573–80. ACM, 2013.https://doi.org/10.1145/2463372.2463568 .
LibreCat: https://research-explorer.ista.ac.at/record/2718
DOI: 10.1145/2463372.2463568

Long, Hongan, Tiago Paixao, Ricardo Azevedo, and Rebecca Zufall. “Accumulation of Spontaneous Mutations in the Ciliate Tetrahymena Thermophila.”https://doi.org/10.1534/genetics.113.153536__Genetics. Genetics Society of America, 2013.https://doi.org/10.1534/genetics.113.153536 .
LibreCat: https://research-explorer.ista.ac.at/record/2720
DOI: 10.1534/genetics.113.153536
PMID: 23934880

Paixao, Tiago, and Nicholas H Barton. “A Variance Decomposition Approach to the Analysis of Genetic Algorithms.”https://doi.org/10.1145/2463372.2463470__In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 845–52. ACM, 2013.https://doi.org/10.1145/2463372.2463470 .
LibreCat: https://research-explorer.ista.ac.at/record/2719
DOI: 10.1145/2463372.2463470

Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.”https://doi.org/10.1007/s10955-013-0807-8__Journal of Statistical Physics. Springer, 2013.https://doi.org/10.1007/s10955-013-0807-8 .
LibreCat: https://research-explorer.ista.ac.at/record/2782
DOI: 10.1007/s10955-013-0807-8
arXiv: 1207.0031

Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Spectral Statistics of Erds-Rényi Graphs I: Local Semicircle Law.”https://doi.org/10.1214/11-AOP734__Annals of Probability. Institute of Mathematical Statistics, 2013.https://doi.org/10.1214/11-AOP734 .
LibreCat: https://research-explorer.ista.ac.at/record/2781
DOI: 10.1214/11-AOP734

Erdös, László, Antti Knowles, and Horng Yau. “Averaging Fluctuations in Resolvents of Random Band Matrices.”https://doi.org/10.1007/s00023-013-0235-y__Annales Henri Poincare. Birkhäuser, 2013.https://doi.org/10.1007/s00023-013-0235-y .
LibreCat: https://research-explorer.ista.ac.at/record/2780
DOI: 10.1007/s00023-013-0235-y

cadek, Martin, Marek Krcál, Jií Matousek, Lukás Vokínek, and Uli Wagner. “Extending Continuous Maps: Polynomiality and Undecidability.”https://doi.org/10.1145/2488608.2488683__In 45th Annual ACM Symposium on Theory of Computing, 595–604. ACM, 2013.https://doi.org/10.1145/2488608.2488683 .
LibreCat: https://research-explorer.ista.ac.at/record/2807
DOI: 10.1145/2488608.2488683

Landberg, Katarina, Eric Pederson, Tom Viaene, Behruz Bozorg, Jií 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.”https://doi.org/10.1104/pp.113.214023__Plant Physiology. American Society of Plant Biologists, 2013.https://doi.org/10.1104/pp.113.214023 .
LibreCat: https://research-explorer.ista.ac.at/record/2808
DOI: 10.1104/pp.113.214023
PMID: 23669745

Avila, Kerstin, and Björn Hof. “High-Precision Taylor-Couette Experiment to Study Subcritical Transitions and the Role of Boundary Conditions and Size Effects.”https://doi.org/10.1063/1.4807704__Review of Scientific Instruments. American Institute of Physics, 2013.https://doi.org/10.1063/1.4807704 .
LibreCat: https://research-explorer.ista.ac.at/record/2806
DOI: 10.1063/1.4807704

Holzner, Markus, Baofang Song, Marc Avila, and Björn Hof. “Lagrangian Approach to Laminar-Turbulent Interfaces in Transitional Pipe Flow.”https://doi.org/10.1017/jfm.2013.127__Journal of Fluid Mechanics. Cambridge University Press, 2013.https://doi.org/10.1017/jfm.2013.127 .
LibreCat: https://research-explorer.ista.ac.at/record/2805
DOI: 10.1017/jfm.2013.127

Vos, Marjon de, Frank Poelwijk, Nico Battich, Joseph Ndika, and Sander Tans. “Environmental Dependence of Genetic Constraint.”https://doi.org/10.1371/journal.pgen.1003580__PLoS Genetics. Public Library of Science, 2013.https://doi.org/10.1371/journal.pgen.1003580 .
LibreCat: https://research-explorer.ista.ac.at/record/2810
DOI: 10.1371/journal.pgen.1003580

Chatterjee, Krishnendu, Luca Alfaro, and Ritankar Majumdar. “The Complexity of Coverage.”https://doi.org/10.1142/S0129054113400066__International Journal of Foundations of Computer Science. World Scientific Publishing, 2013.https://doi.org/10.1142/S0129054113400066 .
LibreCat: https://research-explorer.ista.ac.at/record/2814
DOI: 10.1142/S0129054113400066
arXiv: 0804.4525

Avila, Marc, and Björn Hof. “Nature of Laminar-Turbulence Intermittency in Shear Flows.”https://doi.org/10.1103/PhysRevE.87.063012__Physical Review E. American Institute of Physics, 2013.https://doi.org/10.1103/PhysRevE.87.063012 .
LibreCat: https://research-explorer.ista.ac.at/record/2811
DOI: 10.1103/PhysRevE.87.063012
arXiv: 1306.5890

Samanta, Devranjan, Yves Dubief, Markus Holzner, Christof Schäfer, Alexander Morozov, Christian Wagner, and Björn Hof. “Elasto-Inertial Turbulence.”https://doi.org/10.1073/pnas.1219666110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1219666110 .
LibreCat: https://research-explorer.ista.ac.at/record/2813
DOI: 10.1073/pnas.1219666110
PMID: 23757498

Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in .”https://doi.org/10.1145/2462356.2462373__In Proceedings of the 29th Annual Symposium on Computational Geometry, 117–25. ACM, 2013.https://doi.org/10.1145/2462356.2462373 .
LibreCat: https://research-explorer.ista.ac.at/record/2812
DOI: 10.1145/2462356.2462373

Novak, Sebastian, Krishnendu Chatterjee, and Martin Nowak. “Density Games.”https://doi.org/10.1016/j.jtbi.2013.05.029__Journal of Theoretical Biology. Elsevier, 2013.https://doi.org/10.1016/j.jtbi.2013.05.029 .
LibreCat: https://research-explorer.ista.ac.at/record/2817
DOI: 10.1016/j.jtbi.2013.05.029

Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.”https://doi.org/10.1145/2461328.2461370__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 .
LibreCat: https://research-explorer.ista.ac.at/record/2819
DOI: 10.1145/2461328.2461370

Rajan, Kanaka, Olivier Marre, and Gasper Tkadik. “Learning Quadratic Receptive Fields from Neural Responses to Natural Stimuli.”https://doi.org/10.1162/NECO_a_00463__Neural Computation. MIT Press , 2013.https://doi.org/10.1162/NECO_a_00463 .
LibreCat: https://research-explorer.ista.ac.at/record/2818
DOI: 10.1162/NECO_a_00463
arXiv: 1209.0121

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.”https://doi.org/10.1016/j.ajhg.2013.04.005__American Journal of Human Genetics. Cell Press, 2013.https://doi.org/10.1016/j.ajhg.2013.04.005 .
LibreCat: https://research-explorer.ista.ac.at/record/2826
DOI: 10.1016/j.ajhg.2013.04.005
PMID: 23643385

Topp, Christopher, Anjali Iyer Pascuzzi, Jill Anderson, Cheng Lee, Paul Zurek, Olga Symonova, Ying Zheng, et al. “D Phenotyping and Quantitative Trait Locus Mapping Identify Core Regions of the Rice Genome Controlling Root Architecture.”https://doi.org/10.1073/pnas.1304354110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1304354110 .
LibreCat: https://research-explorer.ista.ac.at/record/2822
DOI: 10.1073/pnas.1304354110
PMID: 25673779

Remy, Estelle, Tânia Cabrito, Pawel Baster, Rita Batista, Miguel Teixeira, Jií 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.”https://doi.org/10.1105/tpc.113.110353__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.113.110353 .
LibreCat: https://research-explorer.ista.ac.at/record/2821
DOI: 10.1105/tpc.113.110353
PMID: 23524662

Du, Yunlong, Ricardo Tejos, Martina Beck, Ellie Himschoot, Hongjiang Li, Silke Robatzek, Steffen Vanneste, and Jií Friml. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.”https://doi.org/10.1073/pnas.1220205110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1220205110 .
LibreCat: https://research-explorer.ista.ac.at/record/2827
DOI: 10.1073/pnas.1220205110
PMID: 23613581

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.”https://doi.org/10.1111/j.1442-9993.2012.02404.x__Austral Ecology. Wiley-Blackwell, 2013.https://doi.org/10.1111/j.1442-9993.2012.02404.x .
LibreCat: https://research-explorer.ista.ac.at/record/2823
DOI: 10.1111/j.1442-9993.2012.02404.x