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

2018 | Published | Thesis | PhD | IST-REx-ID: 83 | OA
Abusalah HM. Proof systems for sustainable decentralized cryptocurrencies. 2018. doi:10.15479/AT:ISTA:TH_1046
[Published Version] View | Files available | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 85 | OA
Gilad E, Brown TA, Oskin M, Etsion Y. Snapshot based synchronization: A fast replacement for Hand-over-Hand locking. In: Vol 11014. Springer; 2018:465-479. doi:10.1007/978-3-319-96983-1_33
[Preprint] View | Files available | DOI | WoS
 
2018 | Submitted | Preprint | IST-REx-ID: 8547 | OA
Llorca A, Ciceri G, Beattie RJ, et al. Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture. bioRxiv. doi:10.1101/494088
[Preprint] View | DOI | Download Preprint (ext.)
 
2018 | Published | Book Chapter | IST-REx-ID: 86 | OA
Chatterjee K, Henzinger TA, Otop J. Computing average response time. In: Lohstroh M, Derler P, Sirjani M, eds. Principles of Modeling. Vol 10760. Springer; 2018:143-161. doi:10.1007/978-3-319-95246-8_9
[Submitted Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 8618 | OA
Gregor C, Sidenstein SC, Andresen M, Sahl SJ, Danzl JG, Hell SW. Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA. Scientific Reports. 2018;8. doi:10.1038/s41598-018-19947-1
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 87 | OA
Edelsbrunner H, Nikitenko A. Random inscribed polytopes have similar radius functions as Poisson-Delaunay mosaics. Annals of Applied Probability. 2018;28(5):3215-3238. doi:10.1214/18-AAP1389
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Thesis | PhD | IST-REx-ID: 9 | OA
Belyaeva V. Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . 2018. doi:10.15479/AT:ISTA:th1064
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 162 | OA
Kaucka M, Petersen J, Tesarova M, Szarowska B, Kastriti M, Xie M, Kicheva A, Annusver K, Kasper M, Symmons O, Pan L, Spitz F, Kaiser J, Hovorakova M, Zikmund T, Sunadome K, Matise MP, Wang H, Marklund U, Abdo H, Ernfors P, Maire P, Wurmser M, Chagin AS, Fried K, Adameyko I. 2018. Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage. eLife. 7, e34465.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 163 | OA
Reipert S, Goldammer H, Richardson C, et al. Agitation modules: Flexible means to accelerate automated freeze substitution. Journal of Histochemistry and Cytochemistry. 2018;66(12):903-921. doi:10.1369/0022155418786698
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 17 | OA
Varshney A, Steinberg V. Drag enhancement and drag reduction in viscoelastic flow. Physical Review Fluids. 2018;3(10). doi:10.1103/PhysRevFluids.3.103302
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 18 | OA
Kolmogorov V, Rolinek M. Superconcentrators of density 25.3. Ars Combinatoria. 2018;141(10):269-304.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 180 | OA
Lewi M, Lieb É, Seiringer R. Statistical mechanics of the uniform electron gas. Journal de l’Ecole Polytechnique - Mathematiques. 2018;5:79-116. doi:10.5802/jep.64
[Published Version] View | Files available | DOI | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 181 | OA
Erdös L, Krüger TH, Renfrew DT. Power law decay for systems of randomly coupled differential equations. SIAM Journal on Mathematical Analysis. 2018;50(3):3271-3290. doi:10.1137/17M1143125
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 182 | OA
Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL. In: Proceedings of the 21st International Conference on Hybrid Systems. ACM; 2018:177-186. doi:10.1145/3178126.3178132
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 183
Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:10.1145/3178126.3178131
View | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 184 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:41:1-41:16. doi:10.4230/LIPIcs.SoCG.2018.41
[Published Version] View | Files available | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 185 | OA
Fulek R, Kynčl J. Hanani-Tutte for approximating maps of graphs. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.39
[Published Version] View | Files available | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 186 | OA
Fulek R, Kynčl J. The ℤ2-Genus of Kuratowski minors. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:40.1-40.14. doi:10.4230/LIPIcs.SoCG.2018.40
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 187 | OA
Edelsbrunner H, Osang GF. The multi-cover persistence of Euclidean balls. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.34
[Published Version] View | Files available | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 188 | OA
Edelsbrunner H, Virk Z, Wagner H. Smallest enclosing spheres and Chernoff points in Bregman geometry. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018:35:1-35:13. doi:10.4230/LIPIcs.SoCG.2018.35
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed