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.

6326 Publications


2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
Kong, Hui, et al. Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. Vol. 10981, Springer, 2018, pp. 449–67, doi:10.1007/978-3-319-96145-3_24.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 143 | OA
Brázdil, Tomáš, et al. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Vol. F138033, IEEE, 2018, pp. 185–94, doi:10.1145/3209108.3209191.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 144
Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194.
View | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 145 | OA
Truckenbrodt, Sven M., et al. “Newly Produced Synaptic Vesicle Proteins Are Preferentially Used in Synaptic Transmission.” The EMBO Journal, vol. 37, no. 15, e98044, Wiley, 2018, doi:10.15252/embj.201798044.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 146 | OA
Shi, Chun Lin, et al. “The Dynamics of Root Cap Sloughing in Arabidopsis Is Regulated by Peptide Signalling.” Nature Plants, vol. 4, no. 8, Nature Publishing Group, 2018, pp. 596–604, doi:10.1038/s41477-018-0212-z.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 147 | OA
Kania, Urszula, et al. “The Inhibitor Endosidin 4 Targets SEC7 Domain-Type ARF GTPase Exchange Factors and Interferes with Sub Cellular Trafficking in Eukaryotes.” The Plant Cell, vol. 30, no. 10, Oxford University Press, 2018, pp. 2553–72, doi:10.1105/tpc.18.00127.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 18 | OA
Kolmogorov, Vladimir, and Michal Rolinek. “Superconcentrators of Density 25.3.” Ars Combinatoria, vol. 141, no. 10, Charles Babbage Research Centre, 2018, pp. 269–304.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 180 | OA
Lewi, Mathieu, et al. “Statistical Mechanics of the Uniform Electron Gas.” Journal de l’Ecole Polytechnique - Mathematiques, vol. 5, Ecole Polytechnique, 2018, pp. 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ászló, et al. “Power Law Decay for Systems of Randomly Coupled Differential Equations.” SIAM Journal on Mathematical Analysis, vol. 50, no. 3, Society for Industrial and Applied Mathematics , 2018, pp. 3271–90, doi:10.1137/17M1143125.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 182 | OA
Bakhirkin, Alexey, et al. “Efficient Parametric Identification for STL.” Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–86, doi:10.1145/3178126.3178132.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 183
Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, 2018, pp. 197–206, doi:10.1145/3178126.3178131.
View | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 184 | OA
Goaoc, Xavier, et al. Shellability Is NP-Complete. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 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, Radoslav, and Jan Kynčl. Hanani-Tutte for Approximating Maps of Graphs. Vol. 99, 39, 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, Radoslav, and Jan Kynčl. The ℤ2-Genus of Kuratowski Minors. Vol. 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 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, Herbert, and Georg F. Osang. The Multi-Cover Persistence of Euclidean Balls. Vol. 99, 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.SoCG.2018.34.
[Published Version] View | Files available | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 13 | OA
Alderighi, Thomas, et al. “Metamolds: Computational Design of Silicone Molds.” ACM Trans. Graph., vol. 37, no. 4, 136, ACM, 2018, doi:10.1145/3197517.3201381.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Research Data Reference | IST-REx-ID: 13055 | OA
Stroeymeyt, Nathalie, et al. Social Network Plasticity Decreases Disease Transmission in a Eusocial Insect. Zenodo, 2018, doi:10.5281/ZENODO.1322669.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Research Data Reference | IST-REx-ID: 13059 | OA
Garriga, Edgar, et al. Fast and Accurate Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method. Zenodo, 2018, doi:10.5281/ZENODO.2025846.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 131 | OA
Picard, Marion A. L., et al. “Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites.” ELife, vol. 7, e35684, eLife Sciences Publications, 2018, doi:10.7554/eLife.35684.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 132 | OA
Sznurkowska, Magdalena, et al. “Defining Lineage Potential and Fate Behavior of Precursors during Pancreas Development.” Developmental Cell, vol. 46, no. 3, Cell Press, 2018, pp. 360–75, doi:10.1016/j.devcel.2018.06.028.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed