Please note that ISTA 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.

2079 Publications


2019 | Published | Journal Article | IST-REx-ID: 6832
Krndija D, Marjou FE, Guirao B, et al. Active cell migration is critical for steady-state epithelial turnover in the gut. Science. 2019;365(6454):705-710. doi:10.1126/science.aau3429
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6837
Tavano S, Heisenberg C-PJ. Migrasomes take center stage. Nature Cell Biology. 2019;21(8):918-920. doi:10.1038/s41556-019-0369-3
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6894 | OA
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6931 | OA
Nowak T, Rybicki J. Byzantine approximate agreement on graphs. In: 33rd International Symposium on Distributed Computing. Vol 146. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:29:1--29:17. doi:10.4230/LIPICS.DISC.2019.29
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6942 | OA
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6972 | OA
Lenzen C, Rybicki J. Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. Journal of the ACM. 2019;66(5). doi:10.1145/3339471
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Book Chapter | IST-REx-ID: 6987 | OA
McDougall A, Chenevert J, Godard BG, Dumollard R. Emergence of embryo shape during cleavage divisions. In: Tworzydlo W, Bilinski SM, eds. Evo-Devo: Non-Model Species in Cell and Developmental Biology. Vol 68. Springer Nature; 2019:127-154. doi:10.1007/978-3-030-23459-1_6
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6999 | OA
Huang D, Sun Y, Ma Z, et al. Salicylic acid-mediated plasmodesmal closure via Remorin-dependent lipid organization. Proceedings of the National Academy of Sciences of the United States of America. 2019;116(42):21274-21284. doi:10.1073/pnas.1911892116
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 7093 | OA
Huszár K, Spreer J, Wagner U. On the treewidth of triangulated 3-manifolds. Journal of Computational Geometry. 2019;10(2):70–98. doi:10.20382/JOGC.V10I2A5
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 7108 | OA
Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. Shellability is NP-complete. Journal of the ACM. 2019;66(3). doi:10.1145/3314024
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9
View | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 7150 | OA
Censor-Hillel K, Kaski P, Korhonen J, Lenzen C, Paz A, Suomela J. Algebraic methods in the congested clique. Distributed Computing. 2019;32(6):461-478. doi:10.1007/s00446-016-0270-2
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17
View | DOI | WoS
 

2019 | Published | Book (Editor) | IST-REx-ID: 7171
Kersting K, Lampert C, Rothkopf C, eds. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt. 1st ed. Wiesbaden: Springer Nature; 2019. doi:10.1007/978-3-658-26763-6
View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 7179 | OA
Klotz L, Wendler O, Frischknecht R, Shigemoto R, Schulze H, Enz R. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB Journal. 2019;33(12):13734-13746. doi:10.1096/fj.201901543R
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Conference Paper | IST-REx-ID: 7183 | OA
Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination for probabilistic VASS with nondeterminism. In: International Symposium on Automated Technology for Verification and Analysis. Vol 11781. Springer Nature; 2019:462-478. doi:10.1007/978-3-030-31784-3_27
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 72 | OA
Ferrari P, Ghosal P, Nejjar P. Limit law of a second class particle in TASEP with non-random initial condition. Annales de l’institut Henri Poincare (B) Probability and Statistics. 2019;55(3):1203-1225. doi:10.1214/18-AIHP916
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 7228
Koval N, Alistarh D-A, Elizarov R. Scalable FIFO channels for programming via communicating sequential processes. In: 25th Anniversary of Euro-Par. Vol 11725. Springer Nature; 2019:317-333. doi:10.1007/978-3-030-29400-7_23
View | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 7230 | OA
Arroyo Guevara AM, Derka M, Parada I. Extending simple drawings. In: 27th International Symposium on Graph Drawing and Network Visualization. Vol 11904. Springer Nature; 2019:230-243. doi:10.1007/978-3-030-35802-0_18
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 7231 | OA
Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed