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.
8015 Publications
2018 | Conference Paper | IST-REx-ID: 11882 | 
M. H. Henzinger, A. Noe, C. Schulz, and D. Strash, “Practical minimum cut algorithms,” in 20th Workshop on Algorithm Engineering and Experiments, New Orleans, LA, United States, 2018, pp. 48–61.
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 11890 |
S. Bhattacharya, M. H. Henzinger, and G. F. Italiano, “Deterministic fully dynamic data structures for vertex cover and matching,” SIAM Journal on Computing, vol. 47, no. 3. Society for Industrial & Applied Mathematics, pp. 859–887, 2018.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Conference Paper | IST-REx-ID: 11911 |
S. Biedermann, M. H. Henzinger, C. Schulz, and B. Schuster, “Memetic graph clustering,” in 17th International Symposium on Experimental Algorithms, L’Aquila, Italy, 2018, vol. 103.
View
| DOI
| Download Published Version (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 11958
B. Pieber, M. Shalom, M. Antonietti, P. H. Seeberger, and K. Gilmore, “Continuous heterogeneous photocatalysis in serial micro-batch reactors,” Angewandte Chemie International Edition, vol. 57, no. 31. Wiley, pp. 9976–9979, 2018.
View
| DOI
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 12 |
K. Nakashima, T. Auzinger, E. Iarussi, R. Zhang, T. Igarashi, and B. Bickel, “CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds,” ACM Transaction on Graphics, vol. 37, no. 4. ACM, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 1215 |
F. Flandoli, F. Russo, and G. A. Zanco, “Infinite-dimensional calculus under weak spatial regularity of the processes,” Journal of Theoretical Probability, vol. 31, no. 2. Springer, pp. 789–826, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 13 |
T. Alderighi, L. Malomo, D. Giorgi, N. Pietroni, B. Bickel, and P. Cignoni, “Metamolds: Computational design of silicone molds,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 132 |
M. Sznurkowska et al., “Defining lineage potential and fate behavior of precursors during pancreas development,” Developmental Cell, vol. 46, no. 3. Cell Press, pp. 360–375, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 134 |
S. Jeschke, T. Skrivan, M. Mueller Fischer, N. Chentanez, M. Macklin, and C. Wojtan, “Water surface wavelets,” ACM Transactions on Graphics, vol. 37, no. 4. ACM, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 135 |
T. Sato, C. Wojtan, N. Thuerey, T. Igarashi, and R. Ando, “Extended narrow band FLIP for liquid simulations,” Computer Graphics Forum, vol. 37, no. 2. Wiley, pp. 169–177, 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 136 |
B. Suri, J. Tithof, R. Grigoriev, and M. Schatz, “Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow,” Physical Review E, vol. 98, no. 2. American Physiological Society, 2018.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2018 | Journal Article | IST-REx-ID: 137 |
W. Zhang et al., “Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS,” Nature Chemical Biology, vol. 14, no. 9. Nature Publishing Group, pp. 861–869, 2018.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 139 |
C. Fraisse et al., “The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies,” PeerJ, vol. 2018, no. 7. PeerJ Inc , 2018.
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 14 |
S. Hille, M. Akhmanova, M. Glanc, A. J. Johnson, and J. Friml, “Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation,” International Journal of Molecular Sciences, vol. 19, no. 11. MDPI, 2018.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 141 |
K. Chatterjee, M. H. Henzinger, V. Loitzenbauer, S. Oraee, and V. Toman, “Symbolic algorithms for graphs and Markov decision processes with fairness objectives,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10982, pp. 178–197.
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 142 |
H. Kong, E. Bartocci, and T. A. Henzinger, “Reachable set over-approximation for nonlinear systems using piecewise barrier tubes,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10981, pp. 449–467.
View
| Files available
| DOI