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.
2030 Publications
2018 |
Published |
Conference Paper |
IST-REx-ID: 11872 |
Bhattacharya S, Chakrabarty D, Henzinger M, Nanongkai D. Dynamic algorithms for graph coloring. In: 29th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2018:1-20. doi:10.1137/1.9781611975031.1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Journal Article |
IST-REx-ID: 11890 |
Bhattacharya S, Henzinger M, Italiano GF. Deterministic fully dynamic data structures for vertex cover and matching. SIAM Journal on Computing. 2018;47(3):859-887. doi:10.1137/140998925
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 285 |
Huszár K, Spreer J, Wagner U. On the treewidth of triangulated 3-manifolds. In: Vol 99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.SoCG.2018.46
[Submitted Version]
View
| Files available
| DOI
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 297 |
Brázdil T, Chatterjee K, Kretinsky J, Toman V. Strategy representation by decision trees in reactive synthesis. In: Vol 10805. Springer; 2018:385-407. doi:10.1007/978-3-319-89960-2_21
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 298 |
Alwen JF, Blocki J, Pietrzak KZ. Sustained space complexity. In: Vol 10821. Springer; 2018:99-130. doi:10.1007/978-3-319-78375-8_4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 299 |
Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In: Beyer D, Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:10.1007/978-3-319-89963-3_18
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 300 |
Micciancio D, Walter M. On the bit security of cryptographic primitives. In: Vol 10820. Springer; 2018:3-28. doi:10.1007/978-3-319-78381-9_1
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 302 |
Cohen B, Pietrzak KZ. Simple proofs of sequential work. In: Vol 10821. Springer; 2018:451-467. doi:10.1007/978-3-319-78375-8_15
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Journal Article |
IST-REx-ID: 312 |
Edelsbrunner H, Iglesias Ham M. On the optimality of the FCC lattice for soft sphere packing. SIAM J Discrete Math. 2018;32(1):750-782. doi:10.1137/16M1097201
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2018 |
Published |
Book |
IST-REx-ID: 3300
Clarke EM, Henzinger TA, Veith H, Bloem R. Handbook of Model Checking. 1st ed. Cham: Springer Nature; 2018. doi:10.1007/978-3-319-10575-8
View
| DOI
2018 |
Published |
Journal Article |
IST-REx-ID: 13473 |
Schootemeijer A, Götberg YLL, de Mink SE, Gies D, Zapartas E. Clues about the scarcity of stripped-envelope stars from the evolutionary state of the sdO+Be binary system φ Persei. Astronomy & Astrophysics. 2018;615. doi:10.1051/0004-6361/201731194
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 |
Published |
Conference Paper |
IST-REx-ID: 140 |
Frehse G, Giacobbe M, Henzinger TA. Space-time interpolants. In: Vol 10981. Springer; 2018:468-486. doi:10.1007/978-3-319-96145-3_25
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 141 |
Chatterjee K, Henzinger M, Loitzenbauer V, Oraee S, Toman V. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. In: Vol 10982. Springer; 2018:178-197. doi:10.1007/978-3-319-96142-2_13
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 142 |
Kong H, Bartocci E, Henzinger TA. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. In: Vol 10981. Springer; 2018:449-467. doi:10.1007/978-3-319-96145-3_24
[Published Version]
View
| Files available
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 144
Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part F138033. IEEE; 2018:394-403. doi:10.1145/3209108.3209194
View
| DOI
| WoS
2018 |
Published |
Conference Paper |
IST-REx-ID: 18282
Qiu Q, Lezama J, Bronstein AM, Sapiro G. ForestHash: Semantic hashing with shallow random forests and tiny convolutional networks. In: European Conference on Computer Vision. Vol 11206. Springer Nature; 2018. doi:10.1007/978-3-030-01216-8_27
View
| DOI
2018 |
Published |
Conference Paper |
IST-REx-ID: 18283
Senouf O, Vedula S, Zurakhov G, et al. High frame-rate cardiac ultrasound imaging with deep learning. In: International Conference on Medical Image Computing and Computer Assisted Intervention. Vol 11070. Springer Nature; 2018:126-134. doi:10.1007/978-3-030-00928-1_15
View
| DOI
2018 |
Published |
Conference Paper |
IST-REx-ID: 18284
Vedula S, Senouf O, Zurakhov G, et al. High quality ultrasonic multi-line transmission through deep learning. In: First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018. Vol 11074. Springer Nature; 2018:147-155. doi:10.1007/978-3-030-00129-2_17
View
| DOI
2018 |
Published |
Conference Paper |
IST-REx-ID: 18285
Haim H, Elmalem S, Giryes R, Bronstein AM, Marom E. Deep learned phase mask for single image depth estimation and 3D scanning. In: Imaging and Applied Optics 2018 (3D, AO, AIO, COSI, DH, IS, LACSEA, LS&C, MATH, PcAOP). Vol Part F99-COSI 2018. OSA; 2018. doi:10.1364/cosi.2018.cw3b.3
View
| DOI
2018 |
Published |
Conference Paper |
IST-REx-ID: 183
Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery; 2018:197-206. doi:10.1145/3178126.3178131
View
| DOI
| WoS