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.

12349 Publications


earlier version | 2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.” In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13965 | OA
Hollwey, Elizabeth, Amy Briffa, Martin Howard, and Daniel Zilberman. “Concepts, Mechanisms and Implications of Long-Term Epigenetic Inheritance.” Current Opinion in Genetics & Development. Elsevier, 2023. https://doi.org/10.1016/j.gde.2023.102087.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14774 | OA
Harish, Rohit K, Mansi Gupta, Daniela Zöller, Hella Hartmann, Ali Gheisari, Anja Machate, Stefan Hans, and Michael Brand. “Real-Time Monitoring of an Endogenous Fgf8a Gradient Attests to Its Role as a Morphogen during Zebrafish Gastrulation.” Development. Company of Biologists, 2023. https://doi.org/10.1242/dev.201559.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Book Chapter | IST-REx-ID: 22530
Fatichi, Simone, Athanasios Paschalis, Sara Bonetti, Gabriele Manoli, and Christoforos Pappas. “Water Use Efficiency: A Review of Spatial and Temporal Variability.” In Encyclopedia of Soils in the Environment, edited by Michael J. Goss and Margaret Oliver, 2nd ed., 5:527–42. Elsevier, 2023. https://doi.org/10.1016/b978-0-12-822974-3.00166-x.
View | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14657 | OA
Tkadlec, Josef, Kamran Kaveh, Krishnendu Chatterjee, and Martin A. Nowak. “Evolutionary Dynamics of Mutants That Modify Population Structure.” Journal of the Royal Society Interface. Royal Society, 2023. https://doi.org/10.1098/rsif.2023.0355.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14036 | OA
Napoli, Federico, Lea Marie Becker, and Paul Schanda. “Protein Dynamics Detected by Magic-Angle Spinning Relaxation Dispersion NMR.” Current Opinion in Structural Biology. Elsevier, 2023. https://doi.org/10.1016/j.sbi.2023.102660.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14042 | OA
Bulíček, Miroslav, Josef Málek, and Erika Maringová. “On Unsteady Internal Flows of Incompressible Fluids Characterized by Implicit Constitutive Equations in the Bulk and on the Boundary.” Journal of Mathematical Fluid Mechanics. Springer Nature, 2023. https://doi.org/10.1007/s00021-023-00803-w.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14466 | OA
Marensi, Elena, Gökhan Yalniz, and Björn Hof. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” Journal of Fluid Mechanics. Cambridge University Press, 2023. https://doi.org/10.1017/jfm.2023.780.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12105 | OA
Marensi, Elena, Gökhan Yalniz, Björn Hof, and Nazmi B Budanur. “Symmetry-Reduced Dynamic Mode Decomposition of near-Wall Turbulence.” Journal of Fluid Mechanics. Cambridge University Press, 2023. https://doi.org/10.1017/jfm.2022.1001.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13274 | OA
Paranjape, Chaitanya S, Gökhan Yalniz, Yohann Duguet, Nazmi B Budanur, and Björn Hof. “Direct Path from Turbulence to Time-Periodic Solutions.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.131.034002.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12421 | OA
Fäßler, Florian, Manjunath Javoor, and Florian KM Schur. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.” Biochemical Society Transactions. Portland Press, 2023. https://doi.org/10.1042/bst20220221.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Conference Paper | IST-REx-ID: 14692 | OA
Auerbach, Benedikt, Charlotte Hoffmann, and Guillermo Pascual Perez. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” In 21st International Conference on Theory of Cryptography, 14371:301–30. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-48621-0_11.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14691 | OA
Auerbach, Benedikt, Miguel Cueto Noval, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” In 21st International Conference on Theory of Cryptography, 14371:271–300. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-48621-0_10.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
Svoboda, Jakub, Josef Tkadlec, Kamran Kaveh, and Krishnendu Chatterjee. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. The Royal Society, 2023. https://doi.org/10.1098/rspa.2022.0685.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14954 | OA
Montagna, Francesco, Atalanti A. Mastakouri, Elias Eulig, Nicoletta Noceti, Lorenzo Rosasco, Dominik Janzing, Bryon Aragam, and Francesco Locatello. “Assumption Violations in Causal Discovery and the Robustness of Score Matching.” In 37th Conference on Neural Information Processing Systems, Vol. 36. Neural Information Processing Systems Foundation, 2023. https://doi.org/10.52202/075280-2050.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems. Neural Information Processing Systems Foundation, 2023.
[Published Version] View | Files available | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14953 | OA
Zhu, Zhenyu, Francesco Locatello, and Volkan Cevher. “Sample Complexity Bounds for Score-Matching: Causal Discovery and Generative Modeling.” In 37th Conference on Neural Information Processing Systems, 36:3325–37. Neural Information Processing Systems Foundation, 2023. https://doi.org/10.52202/075280-0147.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 13228 | OA
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.” In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 604–14. Association for Computing Machinery, 2023. https://doi.org/10.1145/3593013.3594028.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.” In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44267-4_15.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed