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: 692 | 
3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
[Published Version]
View
| Files available
| DOI
| WoS
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
2018 |Published| Journal Article | IST-REx-ID: 77 |
A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
2018 |Published| Conference Paper | IST-REx-ID: 299 |
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
[Published Version]
View
| Files available
| DOI
| WoS
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
2018 |Published| Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View
| DOI
| WoS
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
2018 |Published| Conference Paper | IST-REx-ID: 5791 |
Crossing minimization in perturbed drawings
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
2018 |Published| Journal Article | IST-REx-ID: 58 |
Counting blanks in polygonal arrangements
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
2018 |Published| Journal Article | IST-REx-ID: 407
Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
View
| DOI
| WoS
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
2018 |Published| Journal Article | IST-REx-ID: 425 |
Embeddability in the 3-Sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
2018 |Published| Journal Article | IST-REx-ID: 62 |
Flexible learning-free segmentation and reconstruction of neural volumes
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).
2018 |Published| Journal Article | IST-REx-ID: 5672 |
IgM's exit route
A. Reversat, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
[Published Version]
View
| Files available
| DOI
| WoS
A. Reversat, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
2018 |Published| Journal Article | IST-REx-ID: 398
Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
View
| DOI
| WoS
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
2018 | Conference Paper | IST-REx-ID: 5788 |
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
2018 |Published| Conference Paper | IST-REx-ID: 160 |
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
2018 |Published| Conference Paper | IST-REx-ID: 183
Localizing faults in simulink/stateflow models with STL
E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206.
View
| DOI
| WoS
E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206.
2018 |Published| Conference Paper | IST-REx-ID: 81 |
Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
2018 |Published| Journal Article | IST-REx-ID: 76 |
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
[Published Version]
View
| Files available
| DOI
| WoS
C. Lenzen, J. Rybicki, Distributed Computing (2018).
2018 |Published| Journal Article | IST-REx-ID: 530 |
Multiple covers with balls I: Inclusion–exclusion
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.
[Preprint]
View
| Files available
| DOI
| WoS
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.
2018 | Conference Paper | IST-REx-ID: 5679 |
New approaches for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Huang, H. Fu, K. Chatterjee, in:, S. Ryu (Ed.), Springer, 2018, pp. 181–201.
2018 | Research Data Reference | IST-REx-ID: 9808 |
Additional file 3: Of Norepinephrine triggers an immediate-early regulatory network response in primary human white adipocytes
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Higareda Almaraz, M. Karbiener, M. Giroud, F. Pauler, T. Gerhalter, S. Herzig, M. Scheideler, (2018).
2018 |Published| Conference Paper | IST-REx-ID: 300 |
On the bit security of cryptographic primitives
D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.