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.




4963 Publications

2014 | Research Data Reference | IST-REx-ID: 9739
Chatterjee, K., Pavlogiannis, A., Adlam, B., & Novak, M. (2014). Detailed proofs for “The time scale of evolutionary innovation.” Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003818.s001
[Published Version] View | Files available | DOI
 
2014 | Research Data Reference | IST-REx-ID: 9740 | OA
Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2014). Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Dryad. https://doi.org/10.5061/dryad.vm0vc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9741 | OA
Lagator, M., Colegrave, N., & Neve, P. (2014). Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Dryad. https://doi.org/10.5061/dryad.85dn7
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9747 | OA
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Data from: Role of sex and migration in adaptation to sink environments. Dryad. https://doi.org/10.5061/dryad.s42n1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9752 | OA
Simmons, K., Prentice, J., Tkačik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2014). Data from: Transformation of stimulus correlations by the retina. Dryad. https://doi.org/10.5061/dryad.246qg
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9753 | OA
Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2014). Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. Dryad. https://doi.org/10.5061/dryad.nc0gc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9888
Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne, J. (2014). Supporting information. Public Library of Science. https://doi.org/10.1371/journal.pone.0103989.s003
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 9931
Dhar, R., Bergmiller, T., & Wagner, A. (2014). Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Evolution. Wiley. https://doi.org/10.1111/evo.12373
View | Files available | DOI | PubMed | Europe PMC
 
2014 | Research Data Reference | IST-REx-ID: 9932 | OA
Dhar, R., Bergmiller, T., & Wagner, A. (2014). Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Dryad. https://doi.org/10.5061/dryad.jc402
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2013 | Published | Journal Article | IST-REx-ID: 2443 | OA
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. Wiley. https://doi.org/10.1111/nph.12437
[Published Version] View | DOI | Download Published Version (ext.)
 
2013 | Published | 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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | 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
[Submitted Version] View | Files available | DOI
 
2013 | Published | 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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | 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
[Submitted Version] View | Files available | DOI
 
2013 | Published | 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. Taylor & Francis. https://doi.org/10.4161/psb.25688
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Published | 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. Cell Press. https://doi.org/10.1093/mp/sst044
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2466 | OA
Ando, Ryoichi, Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics 32 (4). 2013
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2467 | OA
Bernstein, G., & Wojtan, C. (2013). Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2461912.2462027
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2468 | OA
Bojsen-Hansen, M., & Wojtan, C. (2013). Liquid surface tracking with error compensation. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2461912.2461991
[Submitted Version] View | Files available | DOI
 
2013 | Published | 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. Cell Press. https://doi.org/10.1016/j.cub.2013.06.019
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed