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.




6697 Publications

2018 | Published | Journal Article | IST-REx-ID: 6009 | OA
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 2018;40(3). doi:10.1145/3210257
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 5977 | OA
Chatterjee K, Fu H, Goharshady AK, Okati N. Computational approaches for stochastic shortest path on succinct MDPs. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Vol 2018. IJCAI; 2018:4700-4707. doi:10.24963/ijcai.2018/653
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 402 | OA
Brown M, Assen FP, Leithner AF, et al. Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice. Science. 2018;359(6382):1408-1411. doi:10.1126/science.aal3662
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 612 | OA
Luján R, Aguado C, Ciruela F, et al. Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. 2018;223(3):1565-1587. doi:10.1007/s00429-017-1568-y
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Thesis | PhD | IST-REx-ID: 6263 | OA
Lukacisinova M. Genetic determinants of antibiotic resistance evolution. 2018. doi:10.15479/AT:ISTA:th1072
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | PhD | IST-REx-ID: 10 | OA
Laukoter S. Role of genomic imprinting in cerebral cortex development. 2018:1-139. doi:10.15479/AT:ISTA:th1057
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | PhD | IST-REx-ID: 539 | OA
Hurny A. Identification and characterization of novel auxin-cytokinin cross-talk components. 2018. doi:10.15479/AT:ISTA:th_930
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | PhD | IST-REx-ID: 49 | OA
Watzinger H. Ge hut wires - from growth to hole spin resonance. 2018. doi:10.15479/AT:ISTA:th_1033
[Published Version] View | Files available | DOI
 
2018 | Published | Thesis | PhD | IST-REx-ID: 51 | OA
Case MJ. From the left to the right: A tale of asymmetries, environments, and hippocampal development. 2018. doi:10.15479/AT:ISTA:th_1032
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1084
Fang C, Nagy-Staron AA, Grafe M, et al. Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis. Molecular Microbiology. 2017;104(1):16-31. doi:10.1111/mmi.13597
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1085 | OA
Wright A, Darolti I, Bloch N, et al. Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation. Nature Communications. 2017;8. doi:10.1038/ncomms14251
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1087 | OA
Song B, Barkley D, Hof B, Avila M. Speed and structure of turbulent fronts in pipe flow. Journal of Fluid Mechanics. 2017;813:1045-1059. doi:10.1017/jfm.2017.14
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1089 | OA
Fallat S, Lauritzen S, Sadeghi K, Uhler C, Wermuth N, Zwiernik P. Total positivity in Markov structures. Annals of Statistics. 2017;45(3):1152-1184. doi:10.1214/16-AOS1478
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1104 | OA
Deny S, Ferrari U, Mace E, et al. Multiplexed computations in retinal ganglion cells of a single type. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-02159-y
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1108 | OA
Zimin A, Lampert C. Learning theory for conditional risk minimization. In: Vol 54. ML Research Press; 2017:213-222.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1109 | OA
Shepperson B, Søndergaard A, Christiansen L, et al. Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free. Physical Review Letters. 2017;118(20). doi:10.1103/PhysRevLett.118.203203
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1110 | OA
Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 2017;7. doi:10.1038/srep41906
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1111 | OA
Heredia J, Trubenova B, Sudholt D, Paixao T. Selection limits to adaptive walks on correlated landscapes. Genetics. 2017;205(2):803-825. doi:10.1534/genetics.116.189340
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Published | Conference Paper | IST-REx-ID: 1112
Paixao T, Pérez Heredia J. An application of stochastic differential equations to evolutionary algorithms. In: Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. ACM; 2017:3-11. doi:10.1145/3040718.3040729
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1113 | OA
Fulek R, Pelsmajer M, Schaefer M. Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. 2017;21(1):135-154. doi:10.7155/jgaa.00408
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed