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: 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
 

2018 |Published| Conference Paper | IST-REx-ID: 302 | OA
Cohen, Bram, and Krzysztof Z Pietrzak. “Simple Proofs of Sequential Work,” 10821:451–67. Springer, 2018. https://doi.org/10.1007/978-3-319-78375-8_15.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 85 | OA
Gilad, Eran, Trevor A Brown, Mark Oskin, and Yoav Etsion. “Snapshot Based Synchronization: A Fast Replacement for Hand-over-Hand Locking,” 11014:465–79. Springer, 2018. https://doi.org/10.1007/978-3-319-96983-1_33.
[Preprint] View | Files available | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 140 | OA
Frehse, Goran, Mirco Giacobbe, and Thomas A Henzinger. “Space-Time Interpolants,” 10981:468–86. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_25.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 154 | OA
Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System with Point Interactions.” Mathematical Physics Analysis and Geometry. Springer, 2018. https://doi.org/10.1007/s11040-018-9275-3.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 297 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Jan Kretinsky, and Viktor Toman. “Strategy Representation by Decision Trees in Reactive Synthesis,” 10805:385–407. Springer, 2018. https://doi.org/10.1007/978-3-319-89960-2_21.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications