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.

1621 Publications


2018 |Published| Journal Article | IST-REx-ID: 58 | OA
Akopyan, Arseniy, and Erel Segal Halevi. “Counting Blanks in Polygonal Arrangements.” SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics , 2018. https://doi.org/10.1137/16M110407X.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 407
Kubiasová, Karolina, Václav Mik, Jaroslav Nisler, Martin Hönig, Alexandra Husičková, Lukáš Spíchal, Zuzana Pěkná, et al. “Design, Synthesis and Perception of Fluorescently Labeled Isoprenoid Cytokinins.” Phytochemistry. Elsevier, 2018. https://doi.org/10.1016/j.phytochem.2018.02.015.
View | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 425 | OA
Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Embeddability in the 3-Sphere Is Decidable.” Journal of the ACM. ACM, 2018. https://doi.org/10.1145/3078632.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 62 | OA
Shabazi, Ali, Jeffery Kinnison, Rafael Vescovi, Ming Du, Robert Hill, Maximilian A Jösch, Marc Takeno, et al. “Flexible Learning-Free Segmentation and Reconstruction of Neural Volumes.” Scientific Reports. Nature Publishing Group, 2018. https://doi.org/10.1038/s41598-018-32628-3.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 5672 | OA
Reversat, Anne, and Michael K Sixt. “IgM’s Exit Route.” Journal of Experimental Medicine. Rockefeller University Press, 2018. https://doi.org/10.1084/jem.20181934.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 398
Dodier, Philippe, Josa Frischer, Wei Wang, Thomas Auzinger, Ammar Mallouhi, Wolfgang Serles, Andreas Gruber, Engelbert Knosp, and Gerhard Bavinzski. “Immediate Flow Disruption as a Prognostic Factor after Flow Diverter Treatment Long Term Experience with the Pipeline Embolization Device.” World Neurosurgery. Elsevier, 2018. https://doi.org/10.1016/j.wneu.2018.02.096.
View | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 5788 | OA
Avni, Guy, Thomas A Henzinger, and Rasmus Ibsen-Jensen. “Infinite-Duration Poorman-Bidding Games,” 11316:21–36. Springer, 2018. https://doi.org/10.1007/978-3-030-04612-5_2.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 160 | OA
Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_5.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 183
Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association for Computing Machinery, Inc, 2018. https://doi.org/10.1145/3178126.3178131.
View | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 81 | OA
Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal Logic with Clock Variables,” 11022:53–70. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_4.
[Submitted Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 76 | OA
Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting and Firing Squads.” Distributed Computing. Springer, 2018. https://doi.org/10.1007/s00446-018-0342-6.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 530 | OA
Edelsbrunner, Herbert, and Mabel Iglesias Ham. “Multiple Covers with Balls I: Inclusion–Exclusion.” Computational Geometry: Theory and Applications. Elsevier, 2018. https://doi.org/10.1016/j.comgeo.2017.06.014.
[Preprint] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 5679 | OA
Huang, Mingzhang, Hongfei Fu, and Krishnendu Chatterjee. “New Approaches for Almost-Sure Termination of Probabilistic Programs.” edited by Sukyoung Ryu, 11275:181–201. Springer, 2018. https://doi.org/10.1007/978-3-030-02768-1_11.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Research Data Reference | IST-REx-ID: 9808 | OA
Higareda Almaraz, Juan, Michael Karbiener, Maude Giroud, Florian Pauler, Teresa Gerhalter, Stephan Herzig, and Marcel Scheideler. “Additional File 3: Of Norepinephrine Triggers an Immediate-Early Regulatory Network Response in Primary Human White Adipocytes.” Springer Nature, 2018. https://doi.org/10.6084/m9.figshare.7295369.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 |Published| Conference Paper | IST-REx-ID: 300 | OA
Micciancio, Daniele, and Michael Walter. “On the Bit Security of Cryptographic Primitives,” 10820:3–28. Springer, 2018. https://doi.org/10.1007/978-3-319-78381-9_1.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 312 | OA
Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the FCC Lattice for Soft Sphere Packing.” SIAM J Discrete Math. Society for Industrial and Applied Mathematics , 2018. https://doi.org/10.1137/16M1097201.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 78 | OA
Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer, 2018. https://doi.org/10.1007/978-3-030-00151-3_13.
[Submitted Version] View | Files available | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 79 | OA
Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,” 11024:53–70. Springer, 2018. https://doi.org/10.1007/978-3-319-99154-2_4.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 142 | OA
Kong, Hui, Ezio Bartocci, and Thomas A Henzinger. “Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes,” 10981:449–67. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_24.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 192 | OA
Fendrych, Matyas, Maria Akhmanova, Jack Merrin, Matous Glanc, Shinya Hagihara, Koji Takahashi, Naoyuki Uchida, Keiko U Torii, and Jiří Friml. “Rapid and Reversible Root Growth Inhibition by TIR1 Auxin Signalling.” Nature Plants. Springer Nature, 2018. https://doi.org/10.1038/s41477-018-0190-1.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications