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.
7066 Publications
2020 |Published| Conference Paper | IST-REx-ID: 8195 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 8012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl, Bernhard, et al. “Inductive Sequentialization of Asynchronous Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–42, doi:10.1145/3385412.3385980.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2020 |Published| Thesis | IST-REx-ID: 8358 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dos Santos Caldas, Paulo R. Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8358.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 8703 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Osang, Georg F., et al. “Generalizing CGAL Periodic Delaunay Triangulations.” 28th Annual European Symposium on Algorithms, vol. 173, 75, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ESA.2020.75.
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7481 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Phuong, Mary, and Christoph Lampert. “Functional vs. Parametric Equivalence of ReLU Networks.” 8th International Conference on Learning Representations, 2020.
[Published Version]
View
| Files available
2020 |Published| Journal Article | IST-REx-ID: 9781 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Feliciangeli, Dario, and Robert Seiringer. “Uniqueness and Nondegeneracy of Minimizers of the Pekar Functional on a Ball.” SIAM Journal on Mathematical Analysis, vol. 52, no. 1, Society for Industrial & Applied Mathematics , 2020, pp. 605–22, doi:10.1137/19m126284x.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7489 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer, Julian L., and Sebastian Hensel. “Weak–Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Surface Tension.” Archive for Rational Mechanics and Analysis, vol. 236, Springer Nature, 2020, pp. 967–1087, doi:10.1007/s00205-019-01486-2.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Submitted| Preprint | IST-REx-ID: 10012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer, Julian L., et al. “The Local Structure of the Energy Landscape in Multiphase Mean Curvature Flow: Weak-Strong Uniqueness and Stability of Evolutions.” ArXiv, 2003.05478.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7573 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gladbach, Peter, et al. “Homogenisation of One-Dimensional Discrete Optimal Transport.” Journal de Mathematiques Pures et Appliquees, vol. 139, no. 7, Elsevier, 2020, pp. 204–34, doi:10.1016/j.matpur.2020.02.008.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Submitted| Preprint | IST-REx-ID: 10022 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Forkert, Dominik L., et al. “Evolutionary Γ-Convergence of Entropic Gradient Flow Structures for Fokker-Planck Equations in Multiple Dimensions.” ArXiv, 2008.10962.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 8724 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Konstantinov, Nikola H., et al. “On the Sample Complexity of Adversarial Multi-Source PAC Learning.” Proceedings of the 37th International Conference on Machine Learning, vol. 119, ML Research Press, 2020, pp. 5416–25.
[Published Version]
View
| Files available
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 8644 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rzadkowski, Wojciech, et al. “Detecting Composite Orders in Layered Models via Machine Learning.” New Journal of Physics, vol. 22, no. 9, 093026, IOP Publishing, 2020, doi:10.1088/1367-2630/abae44.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 8705 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mysliwy, Krzysztof, and Robert Seiringer. “Microscopic Derivation of the Fröhlich Hamiltonian for the Bose Polaron in the Mean-Field Limit.” Annales Henri Poincare, vol. 21, no. 12, Springer Nature, 2020, pp. 4003–25, doi:10.1007/s00023-020-00969-3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 10861
Nickovic, Dejan, et al. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” International Journal on Software Tools for Technology Transfer, vol. 22, no. 6, Springer Nature, 2020, pp. 741–58, doi:10.1007/s10009-020-00582-z.
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 7569 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grah, Rok, and Tamar Friedlander. “The Relation between Crosstalk and Gene Regulation Form Revisited.” PLOS Computational Biology, vol. 16, no. 2, e1007642, Public Library of Science, 2020, doi:10.1371/journal.pcbi.1007642.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Submitted| Preprint | IST-REx-ID: 8813 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Santini, Laura, et al. “Novel Imprints in Mouse Blastocysts Are Predominantly DNA Methylation Independent.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2020.11.03.366948.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2020 | Research Data Reference | IST-REx-ID: 9777 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grah, Rok, and Tamar Friedlander. Maximizing Crosstalk. Public Library of Science, 2020, doi:10.1371/journal.pcbi.1007642.s002.
View
| Files available
| DOI
| Download None (ext.)
2020 |Published| Thesis | IST-REx-ID: 8332 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl, Bernhard. Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization. Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8332.
[Published Version]
View
| Files available
| DOI
2020 |Published| Journal Article | IST-REx-ID: 71 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gladbach, Peter, et al. “Scaling Limits of Discrete Optimal Transport.” SIAM Journal on Mathematical Analysis, vol. 52, no. 3, Society for Industrial and Applied Mathematics, 2020, pp. 2759–802, doi:10.1137/19M1243440.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 5681 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hikaru, Ibayashi, et al. “Simulating Liquids on Dynamically Warping Grids.” IEEE Transactions on Visualization and Computer Graphics, vol. 26, no. 6, IEEE, 2020, pp. 2288–302, doi:10.1109/TVCG.2018.2883628.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC