Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2902 Publications

2013 | Journal Article | IST-REx-ID: 2286 | OA
Campinho, P., & Heisenberg, C.-P. J. (2013). The force and effect of cell proliferation. EMBO Journal, 32(21), 2783–2784. 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, M., & Barrett, S. (2013). The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant. Ecology and Evolution, 3(3), 629–639. https://doi.org/10.1002/ece3.465
View | Files available | DOI
 
2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, A., & Henzinger, T. A. (Eds.). (2013). Computational Methods in Systems Biology (Vol. 8130). Presented at the CMSB: Computational Methods in Systems Biology, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-40708-6
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2289 | OA
Henzinger, T. A. (2013). Quantitative reactive modeling and verification. Computer Science Research and Development, 28(4), 331–344. https://doi.org/10.1007/s00450-013-0251-7
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2290 | OA
Boutté, Y., Jonsson, K., Mcfarlane, H., Johnson, E., Gendre, D., Swarup, R., … Bhalerao, R. (2013). ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS, 110(40), 16259–16264. 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, A., Fuchsbauer, G., & Warinschi, B. (2013). Cryptographically enforced RBAC (pp. 115–129). Presented at the CSF: Computer Security Foundations, New Orleans, LA, United States: IEEE. https://doi.org/10.1109/CSF.2013.15
View | DOI | Download Submitted Version (ext.)
 
2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, K., & Sgall, J. (Eds.). (2013). Mathematical Foundations of Computer Science 2013 (Vol. 8087, p. VI-854). Presented at the MFCS: Mathematical Foundations of Computer Science, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-40313-2
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2293 | OA
Sharmanska, V., Quadrianto, N., & Lampert, C. (2013). Learning to rank using privileged information (pp. 825–832). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.107
View | DOI | Download Submitted Version (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2294 | OA
Kazmar, T., Kvon, E., Stark, A., & Lampert, C. (2013). Drosophila Embryo Stage Annotation using Label Propagation. Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.139
View | DOI | Download Submitted Version (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2295 | OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2013). What is decidable about partially observable Markov decision processes with omega-regular objectives. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.165
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, R. (2013). Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics, 8(2), 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, C., Enea, C., & Sighireanu, M. (2013). Local shape analysis for overlaid data structures (Vol. 7935, pp. 150–171). Presented at the SAS: Static Analysis Symposium, Seattle, WA, United States: Springer. https://doi.org/10.1007/978-3-642-38856-9_10
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2299 | OA
Godhal, Y., Chatterjee, K., & Henzinger, T. A. (2013). Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer, 15(5–6), 585–601. https://doi.org/10.1007/s10009-011-0207-9
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2300 | OA
Giuliani, A., Lieb, É., & Seiringer, R. (2013). Realization of stripes and slabs in two and three dimensions. Physical Review B, 88(6). https://doi.org/10.1103/PhysRevB.88.064401
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2301
Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., & Zufferey, D. (2013). P: Safe asynchronous event-driven programming. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 321–331). Seattle, WA, United States: ACM. https://doi.org/10.1145/2491956.2462184
View | DOI | Download None (ext.)
 
2013 | Journal Article | IST-REx-ID: 2303
Hippenmeyer, S. (2013). Dissection of gene function at clonal level using mosaic analysis with double markers. Frontiers in Biology, 8(6), 557–568. https://doi.org/10.1007/s11515-013-1279-6
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2304
Pausinger, F. (2013). Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics, 43, 43–50. https://doi.org/10.1016/j.endm.2013.07.008
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE. https://doi.org/10.1109/LICS.2013.39
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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: 450 | OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2013). Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences, 280(1750). https://doi.org/10.1098/rspb.2012.2058
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 476 | OA
Dickerson, D., & Bilkey, D. (2013). Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience, 7(DEC). https://doi.org/10.3389/fnbeh.2013.00217
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 499
Wakamoto, Y., Dhar, N., Chait, R. P., Schneider, K., Signorino Gelo, F., Leibler, S., & Mckinney, J. (2013). Dynamic persistence of antibiotic-stressed mycobacteria. Science, 339(6115), 91–95. https://doi.org/10.1126/science.1229858
View | DOI
 
2013 | Journal Article | IST-REx-ID: 500 | OA
Ward, M., Lycett, S., Avila, D., Bollback, J. P., & Leigh Brown, A. (2013). Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology, 13(1). https://doi.org/10.1186/1471-2148-13-222
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B., … Santos, F. (2013). A new species of tapir from the Amazon. Journal of Mammalogy, 94(6), 1331–1345. https://doi.org/10.1644/12-MAMM-A-169.1
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 502
Blazy, O., Fuchsbauer, G., Pointcheval, D., & Vergnaud, D. (2013). Short blind signatures. Journal of Computer Security, 21(5), 627–661. https://doi.org/10.3233/JCS-130477
View | DOI
 

Search

Display / Sort

Citation Style: APA

Export / Embed