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, P., & Pohl, A. (2013). (Open) Linked Data in Bibliotheken (Vol. 50). De Gruyter. https://doi.org/10.1515/9783110278736
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
Henzinger, T. A., & Otop, J. (2013). From model checking to model measuring. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-40184-8_20
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2328 | OA
Henzinger, T. A., Sezgin, A., & Vafeiadis, V. (2013). Aspect-oriented linearizability proofs. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-40184-8_18
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, K., & Velner, Y. (2013). Hyperplane separation technique for multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentinia: Springer. 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, R. A., Kupczok, A., Stift, G., & Bollback, J. P. (2013). Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements, 1(3). https://doi.org/10.1128/genomeA.00216-13
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2412 | OA
Kupczok, A., & Bollback, J. P. (2013). Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology, 13(1), 54–54. https://doi.org/10.1186/1471-2148-13-54
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 2413
Valderrama, M., Botella Soler, V., & Le Van Quyen, M. (2013). Neuronal oscillations scale up and scale down the brain dynamics . In M. Meyer & Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Wiley-VCH. https://doi.org/10.1002/9783527671632.ch08
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2443
Simon, S., Kubeš, M., Baster, P., Robert, S., Dobrev, P., Friml, J., … Zažímalová, E. (2013). Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist, 200(4), 1034–1048. https://doi.org/10.1111/nph.12437
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2444 | OA
Chatterjee, K., & Ła̧Cki, J. (2013). Faster algorithms for Markov decision processes with low treewidth. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. 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, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2446 | OA
Chatterjee, K., Gaiser, A., & Kretinsky, J. (2013). Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. 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, R., Wies, T., & Zufferey, D. (2013). Automating separation logic using SMT. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_54
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior, 8(10). 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, T., Feraru, M., Hirsch, S., De Rycke, R., Nicuales, C., Van Leene, J., … Friml, J. (2013). Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis. Molecular Plant, 6(6), 1849–1862. https://doi.org/10.1093/mp/sst044
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2466 | OA
Ando, R., Thuerey, N., & Wojtan, C. J. (2013). Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2461982
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2467 | OA
Bernstein, G., & Wojtan, C. J. (2013). Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2462027
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2468 | OA
Bojsen-Hansen, M., & Wojtan, C. J. (2013). Liquid surface tracking with error compensation. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2461991
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2469 | OA
Maître, J.-L., & Heisenberg, C.-P. J. (2013). Three functions of cadherins in cell adhesion. Current Biology, 23(14), R626–R633. 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á, M., Sauer, M., Rychtář, J., Friml, J., Petrášek, J., & Zažímalová, E. (2013). Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One, 8(7). https://doi.org/10.1371/journal.pone.0070050
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2471 | OA
Sanchez-Romero, I., Ariza, A., Wilson, K., Skjøt, M., Vind, J., De Maria, L., … Sánchez Ruiz, J. (2013). Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One, 8(7). https://doi.org/10.1371/journal.pone.0070013
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2472 | OA
Cazzonelli, C., Vanstraelen, M., Simon, S., Yin, K., Carron Arthur, A., Nisar, N., … Pogson, B. (2013). Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development. PLoS One, 8(7). https://doi.org/10.1371/journal.pone.0070069
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2473 | OA
Barton, N. H., Etheridge, A., Kelleher, J., & Véber, A. (2013). Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology, 87(8), 75–89. https://doi.org/10.1016/j.tpb.2012.12.001
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2516
Lampert, C., Nickisch, H., & Harmeling, S. (2013). Attribute-based classification for zero-shot learning of object categories. IEEE Transactions on Pattern Analysis and Machine Intelligence, 36(3), 453–465. https://doi.org/10.1109/TPAMI.2013.140
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, S., Boker, U., & Kupferman, O. (2013). Formalizing and reasoning about quality. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_3
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518 | OA
Kolmogorov, V. (2013). The power of linear programming for finite-valued CSPs: A constructive characterization (Vol. 7965, pp. 625–636). Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. 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, N., Sharmanska, V., Knowles, D., & Ghahramani, Z. (2013). The supervised IBP: Neighbourhood preserving infinite latent feature models. In Proceedings of the 29th conference uncertainty in Artificial Intelligence (pp. 527–536). Bellevue, WA, United States: AUAI Press.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2698 | OA
Erdös, L., Fournais, S., & Solovej, J. (2013). Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society, 15(6), 2093–2113. https://doi.org/10.4171/JEMS/416
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2718 | OA
Barton, N. H., & Paixao, T. (2013). Can quantitative and population genetics help us understand evolutionary computation? In Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp. 1573–1580). Amsterdam, Netherlands: ACM. https://doi.org/10.1145/2463372.2463568
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2719
Paixao, T., & Barton, N. H. (2013). A variance decomposition approach to the analysis of genetic algorithms. In Proceedings of the 15th annual conference on Genetic and evolutionary computation (pp. 845–852). Amsterdam, Netherlands: ACM. https://doi.org/10.1145/2463372.2463470
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2782 | OA
Erdös, L., & Farrell, B. (2013). Local eigenvalue density for general MANOVA matrices. Journal of Statistical Physics, 152(6), 1003–1032. https://doi.org/10.1007/s10955-013-0807-8
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2806
Avila, K., & Hof, B. (2013). High-precision Taylor-Couette experiment to study subcritical transitions and the role of boundary conditions and size effects. Review of Scientific Instruments, 84(6). https://doi.org/10.1063/1.4807704
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2807 | OA
Čadek, M., Krcál, M., Matoušek, J., Vokřínek, L., & Wagner, U. (2013). Extending continuous maps: Polynomiality and undecidability. In 45th Annual ACM Symposium on theory of computing (pp. 595–604). Palo Alto, CA, United States: ACM. https://doi.org/10.1145/2488608.2488683
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2808 | OA
Landberg, K., Pederson, E., Viaene, T., Bozorg, B., Friml, J., Jönsson, H., … Sundberg, E. (2013). 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(3), 1406–1419. 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
de Vos, M., Poelwijk, F., Battich, N., Ndika, J., & Tans, S. (2013). Environmental dependence of genetic constraint. PLoS Genetics, 9(6). https://doi.org/10.1371/journal.pgen.1003580
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2811 | OA
Avila, M., & Hof, B. (2013). Nature of laminar-turbulence intermittency in shear flows. Physical Review E, 87(6). https://doi.org/10.1103/PhysRevE.87.063012
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2812 | OA
Attali, D., Bauer, U., Devillers, O., Glisse, M., & Lieutier, A. (2013). Homological reconstruction and simplification in R3. In Proceedings of the 29th annual symposium on Computational Geometry (pp. 117–125). Rio de Janeiro, Brazil: ACM. https://doi.org/10.1145/2462356.2462373
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2813 | OA
Samanta, D., Dubief, Y., Holzner, M., Schäfer, C., Morozov, A., Wagner, C., & Hof, B. (2013). Elasto-inertial turbulence. PNAS, 110(26), 10557–10562. 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, K., Alfaro, L., & Majumdar, R. (2013). The complexity of coverage. International Journal of Foundations of Computer Science, 24(2), 165–185. https://doi.org/10.1142/S0129054113400066
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2815
Edelsbrunner, H., Fasy, B. T., & Rote, G. (2013). Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Discrete & Computational Geometry, 49(4), 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ć, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P., … Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife, 2. https://doi.org/10.7554/eLife.00747
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2817 | OA
Novak, S., Chatterjee, K., & Nowak, M. (2013). Density games. Journal of Theoretical Biology, 334, 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, K., Marre, O., & Tkacik, G. (2013). Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation, 25(7), 1661–1692. https://doi.org/10.1162/NECO_a_00463
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2819 | OA
Chatterjee, K., & Prabhu, V. (2013). Quantitative timed simulation functions and refinement metrics for real-time systems. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (Vol. 1, pp. 273–282). Philadelphia, PA USA: Springer. https://doi.org/10.1145/2461328.2461370
View | DOI | Download Preprint (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, K., Kößler, A., & Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM. https://doi.org/10.1145/2461328.2461356
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2821 | OA
Remy, E., Cabrito, T., Baster, P., Batista, R., Teixeira, M., Friml, J., … Duque, P. (2013). A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell, 25(3), 901–926. 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, C., Iyer Pascuzzi, A., Anderson, J., Lee, C., Zurek, P., Symonova, O., … Benfey, P. (2013). 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS, 110(18), E1695–E1704. https://doi.org/10.1073/pnas.1304354110
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2823
Pickup, M., Wilson, S., Freudenberger, D., Nicholls, N., Gould, L., Hnatiuk, S., & Delandre, J. (2013). Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology, 38(3), 300–312. https://doi.org/10.1111/j.1442-9993.2012.02404.x
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2824
Chatterjee, K., & Prabhu, V. (2013). Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation, 228229, 83–119. https://doi.org/10.1016/j.ic.2013.04.003
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2826 | OA
Tran Viet, K., Powell, C., Barathi, V., Klemm, T., Maurer Stroh, S., Limviphuvadh, V., … Young, T. (2013). Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics, 92(5), 820–826. 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, Y., Tejos, R., Beck, M., Himschoot, E., Li, H., Robatzek, S., … Friml, J. (2013). Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS, 110(19), 7946–7951. 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