|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Durán Venegas, Eduardo ; Garcia-Villalba, Manuel ; Martínez-Legazpi, Pablo ; Gonzalo, Alejandro ; McVeigh, Elliot ; Kahn, Andrew M. ; Bermejo, Javier ; Flores, Oscar ; del Álamo, Juan Carlos | Pulmonary vein flow split effects in patient-specific simulations of left atrial flow | Article Artikel    | Sep-2023 |
| 2 | | Daniilidis, Aris ; Drusvyatskiy, Dmitriy | The slope robustly determines convex functions | Article Artikel | 14-Jul-2023 |
| 3 | | Khamis, Mahmoud Abo ; Ngo, Hung Q. ; Pichler, Reinhard ; Suciu, Dan ; Wang, Yisu Remy | Convergence of datalog over (pre-)semirings | Article Artikel | Mar-2023 |
| 4 |  | Flatt, Oliver ; Coward, Samuel ; Willsey, Max ; Tatlock, Zachary ; Panchekha, Pavel | Small Proofs from Congruence Closure | Konferenzbeitrag Inproceedings | Oct-2022 |
| 5 |  | Wang, Yisu Remy ; Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan | Optimizing Recursive Queries with Progam Synthesis | Inproceedings Konferenzbeitrag | 11-Jun-2022 |
| 6 | | Alinaghi, Negar ; Giannopoulos, Ioannis | Consider the Head Movements! Saccade Computation in Mobile Eye-Tracking | Inproceedings Konferenzbeitrag | 2022 |
| 7 |  | Hudak, Andrew ; Bright, Benjamin ; Rowell, Eric ; Robertson, Kevin ; Pokswinski, Scott ; Hiers, Kevin ; Prichard, Susan ; Nowell, Holly ; Holmes, Christopher ; Gargulinski, Emily ; Soja, Amber | Estimating Surface Fuel Density from TLS and ALS: A Two-Tiered Approach that Accounts for Sampling Scale | Konferenzbeitrag Inproceedings | 1-Dec-2021 |
| 8 |  | Liew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordström, Jakob | Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning | Konferenzbeitrag Inproceedings | 2020 |
