ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5872 Publications

2020 | Published | Journal Article | IST-REx-ID: 7650 |

Deuchert, A., & Seiringer, R. (2020). Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-020-01489-4

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8091 |

Seiringer, Robert, Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics 181. 2020

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7235 |

Lieb, E. H., & Seiringer, R. (2020). Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-019-02322-3

[Published Version] View | Files available | DOI | WoS

2020 | Published | Conference Paper | IST-REx-ID: 15077 |

Alistarh, Dan-Adrian, Dynamic averaging load balancing on cycles. 47th International Colloquium on Automata, Languages, and Programming 168. 2020

[Published Version] View | Files available | DOI | arXiv

2020 | Published | Thesis | IST-REx-ID: 7944 |

Masárová, Z. (2020). Reconfiguration problems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7944

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 6952 |

Henderson, P. M., & Ferrari, V. (2020). Learning single-image 3D reconstruction by generative modelling of shape, pose and shading. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-019-01219-8

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7489 |

Fischer, Julian L, Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension. Archive for Rational Mechanics and Analysis 236. 2020

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 8705 |

Mysliwy, K., & Seiringer, R. (2020). Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-020-00969-3

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7508 |

Bossmann, L., Pavlović, N., Pickl, P., & Soffer, A. (2020). Higher order corrections to the mean-field description of the dynamics of interacting bosons. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-020-02500-8

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8130 |

Bossmann, L. (2020). Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-020-01548-w

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7638 |

De Nicola, S., Doyon, B., & Bhaseen, M. J. (2020). Non-equilibrium quantum spin dynamics from classical stochastic processes. Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/ab6093

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7611 |

Rademacher, S. A. E. (2020). Central limit theorem for Bose gases interacting through singular potentials. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01286-w

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 7567 |

Choudhary, A., Kachanovich, S., & Wintraecken, M. (2020). Coxeter triangulations have good quality. Mathematics in Computer Science. Springer Nature. https://doi.org/10.1007/s11786-020-00461-5

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 8699 |

Paris, Eugenio, Strain engineering of the charge and spin-orbital interactions in Sr2IrO4. Proceedings of the National Academy of Sciences of the United States of America 117 (40). 2020

2020 | Published | Conference Paper | IST-REx-ID: 7994 |

Arroyo Guevara, Alan M, Extending drawings of graphs to arrangements of pseudolines. 36th International Symposium on Computational Geometry 164. 2020

[Published Version] View | Files available | DOI | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8670 |

Zhang, Haonan, Equality conditions of data processing inequality for α-z Rényi relative entropies. Journal of Mathematical Physics 61 (10). 2020

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Conference Paper | IST-REx-ID: 8534 |

Jecker, Ismael R, Unary prime languages. 45th International Symposium on Mathematical Foundations of Computer Science 170. 2020

[Published Version] View | Files available | DOI

2020 | Published | Conference Paper | IST-REx-ID: 7213 |

Bhatia, Sumit, A persistent homology perspective to the link prediction problem. Complex Networks and their applications VIII 881. 2020

[Submitted Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 8955 |

Rizzo, R., Zhang, X., Wang, J. W. J. L., Lombardi, F., & Ivanov, P. C. (2020). Network physiology of cortico–muscular interactions. Frontiers in Physiology. Frontiers. https://doi.org/10.3389/fphys.2020.558070

2020 | Published | Journal Article | IST-REx-ID: 8726 |

Gotfryd, D., Paerschke, E., Wohlfeld, K., & Oleś, A. M. (2020). Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling. Condensed Matter. MDPI. https://doi.org/10.3390/condmat5030053

[Published Version] View | Files available | DOI | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8973 |

Redig, F., Saada, E., & Sau, F. (2020). Symmetric simple exclusion process in dynamic environment: Hydrodynamics. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/20-EJP536

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Conference Paper | IST-REx-ID: 8732

Arroyo Guevara, A. M., Klute, F., Parada, I., Seidel, R., Vogtenhuber, B., & Wiedera, T. (2020). Inserting one edge into a simple drawing is hard. In Graph-Theoretic Concepts in Computer Science (Vol. 12301, pp. 325–338). Leeds, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-60440-0_26

View | DOI

2020 | Published | Journal Article | IST-REx-ID: 8747

Zhang, Y., Liu, Y., Calcabrini, M., Xing, C., Han, X., Arbiol, J., … Cabot, A. (2020). Bismuth telluride-copper telluride nanocomposites from heterostructured building blocks. Journal of Materials Chemistry C. Royal Society of Chemistry. https://doi.org/10.1039/D0TC02182B

View | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 7369 |

Cubero, R. J., Marsili, M., & Roudi, Y. (2020). Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. Springer Nature. https://doi.org/10.1007/s10827-020-00740-x

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 7467 |

Cadavid, D., Ortega, S., Illera, S., Liu, Y., Ibáñez, M., Shavel, A., … Cabot, A. (2020). Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials. ACS Applied Energy Materials. American Chemical Society. https://doi.org/10.1021/acsaem.9b02137

[Submitted Version] View | Files available | DOI | WoS

2020 | Published | Conference Paper | IST-REx-ID: 7803 |

Czumaj, A., Davies, P., & Parter, M. (2020). Simple, deterministic, constant-round coloring in the congested clique. In Proceedings of the 2020 ACM Symposium on Principles of Distributed Computing (pp. 309–318). Salerno, Italy: Association for Computing Machinery. https://doi.org/10.1145/3382734.3405751

[Submitted Version] View | Files available | DOI | arXiv

2020 | Published | Conference Paper | IST-REx-ID: 7802 |

Czumaj, A., Davies, P., & Parter, M. (2020). Graph sparsification for derandomizing massively parallel computation with low space. In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020) (pp. 175–185). Virtual Event, United States: Association for Computing Machinery. https://doi.org/10.1145/3350755.3400282

2020 | Published | Journal Article | IST-REx-ID: 7594 |

Gotfryd, D., Paerschke, E., Chaloupka, J., Oles, A. M., & Wohlfeld, K. (2020). How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.2.013353

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 7882 |

Armstrong, J. R., Jensen, A. S., Volosniev, A., & Zinner, N. T. (2020). Clusters in separated tubes of tilted dipoles. Mathematics. MDPI. https://doi.org/10.3390/math8040484

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 7919 |

Mistakidis, S. I., Volosniev, A., & Schmelcher, P. (2020). Induced correlations between impurities in a one-dimensional quenched Bose gas. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.2.023154

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 7509 |

Zhang, H. (2020). From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2020.107053

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8084 |

Lombardi, F., Gómez-Extremera, M., Bernaola-Galván, P., Vetrivelan, R., Saper, C. B., Scammell, T. E., & Ivanov, P. C. (2020). Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.1278-19.2019

2020 | Published | Journal Article | IST-REx-ID: 8199 |

Gulden, T., Berg, E., Rudner, M. S., & Lindner, N. (2020). Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.9.1.015

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 8036 |

Collard, Y., Grosjean, G. M., & Vandewalle, N. (2020). Magnetically powered metachronal waves induce locomotion in self-assemblies. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-020-0380-9

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 7236 |

Baskett, C., Schroeder, L., Weber, M. G., & Schemske, D. W. (2020). Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. Wiley. https://doi.org/10.1002/ecm.1397

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 8769 |

Yakaboylu, E., Ghazaryan, A., Lundholm, D., Rougerie, N., Lemeshko, M., & Seiringer, R. (2020). Quantum impurity model for anyons. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.144109

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Conference Paper | IST-REx-ID: 8533 |

Chatterjee, Krishnendu, Simplified game of life: Algorithms and complexity. 45th International Symposium on Mathematical Foundations of Computer Science 170. 2020

[Published Version] View | Files available | DOI | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8789 |

Kleshnina, M., Streipert, S., Filar, J., & Chatterjee, K. (2020). Prioritised learning in snowdrift-type games. Mathematics. MDPI. https://doi.org/10.3390/math8111945

[Published Version] View | Files available | DOI | WoS

2020 | Published | Conference Paper | IST-REx-ID: 8750 |

Forets, M., Freire, D., & Schilling, C. (2020). Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. In 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. Virtual Conference: IEEE. https://doi.org/10.1109/MEMOCODE51338.2020.9314994

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Conference Paper | IST-REx-ID: 8571 |

Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 74, pp. 49–75). EasyChair. https://doi.org/10.29007/zkf6

[Published Version] View | DOI | Download Published Version (ext.)

2020 | Published | Journal Article | IST-REx-ID: 8127 |

Gonçalves, P. J., Lueckmann, J.-M., Deistler, M., Nonnenmacher, M., Öcal, K., Bassetto, G., … Macke, J. H. (2020). Training deep neural density estimators to identify mechanistic models of neural dynamics. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.56261

2020 | Published | Thesis | IST-REx-ID: 8390 |

Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8390

[Published Version] View | Files available | DOI

2020 | Published | Conference Paper | IST-REx-ID: 7936 |

Royer, A., & Lampert, C. (2020). Localizing grouped instances for efficient detection in low-resource scenarios. In IEEE Winter Conference on Applications of Computer Vision. Snowmass Village, CO, United States: IEEE. https://doi.org/10.1109/WACV45572.2020.9093288

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2020 | Published | Conference Paper | IST-REx-ID: 7937 |

Royer, A., & Lampert, C. (2020). A flexible selection scheme for minimum-effort transfer learning. In 2020 IEEE Winter Conference on Applications of Computer Vision. Snowmass Village, CO, United States: IEEE. https://doi.org/10.1109/WACV45572.2020.9093635

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2020 | Published | Book Chapter | IST-REx-ID: 8092 |

Royer, A., Bousmalis, K., Gouws, S., Bertsch, F., Mosseri, I., Cole, F., & Murphy, K. (2020). XGAN: Unsupervised image-to-image translation for many-to-many mappings. In R. Singh, M. Vatsa, V. M. Patel, & N. Ratha (Eds.), Domain Adaptation for Visual Understanding (pp. 33–49). Springer Nature. https://doi.org/10.1007/978-3-030-30671-7_3

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2020 | Published | Journal Article | IST-REx-ID: 6944 |

Sun, R., & Lampert, C. (2020). KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-019-01232-x

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 8766

Jeschke, S., Hafner, C., Chentanez, N., Macklin, M., Müller-Fischer, M., & Wojtan, C. (2020). Making procedural water waves boundary-aware. Computer Graphics Forum. Online Symposium: Wiley. https://doi.org/10.1111/cgf.14100

View | DOI | WoS

2020 | Research Data | IST-REx-ID: 8761 |

Guseinov, R. (2020). Supplementary data for “Computational design of cold bent glass façades.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8761

[Published Version] View | Files available | DOI

2020 | Published | Thesis | IST-REx-ID: 8386 |

Zhang, R. (2020). Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8386

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 8562 |

Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M., Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3414685.3417843

[Submitted Version] View | Files available | DOI | WoS | arXiv

2020 | Research Data | IST-REx-ID: 8375 |

Guseinov, R. (2020). Supplementary data for “Computational design of curved thin shells: from glass façades to programmable matter.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8375

[Published Version] View | Files available | DOI

2020 | Published | Conference Paper | IST-REx-ID: 9299 |

Pach, J., Tardos, G., & Tóth, G. (2020). Crossings between non-homotopic edges. In 28th International Symposium on Graph Drawing and Network Visualization (Vol. 12590, pp. 359–371). Virtual, Online: Springer Nature. https://doi.org/10.1007/978-3-030-68766-3_28

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7962 |

Pach, J., Reed, B., & Yuditsky, Y. (2020). Almost all string graphs are intersection graphs of plane convex sets. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00213-z

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8163 |

Vegter, G., & Wintraecken, M. (2020). Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. Akadémiai Kiadó. https://doi.org/10.1556/012.2020.57.2.1454

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 8787 |

Nicolai L, Schiefelbein K, Lipsky S, Leunig A, Hoffknecht M, Pekayvaz K, Raude B, Marx C, Ehrlich A, Pircher J, Zhang Z, Saleh I, Marel A-K, Löf A, Petzold T, Lorenz M, Stark K, Pick R, Rosenberger G, Weckbach L, Uhl B, Xia S, Reichel CA, Walzog B, Schulz C, Zheden V, Bender M, Li R, Massberg S, Gärtner FR. 2020. Vascular surveillance by haptotactic blood platelets in inflammation and infection. Nature Communications. 11, 5778.

2020 | Published | Journal Article | IST-REx-ID: 7684 |

Gridchyn, I., Schönenberger, P., O’Neill, J., & Csicsvari, J. L. (2020). Assembly-specific disruption of hippocampal replay leads to selective memory deficit. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.01.021

2020 | Published | Journal Article | IST-REx-ID: 9194 |

Lauk, N., Sinclair, N., Barzanjeh, S., Covey, J. P., Saffman, M., Spiropulu, M., & Simon, C. (2020). Perspectives on quantum transduction. Quantum Science and Technology. IOP Publishing. https://doi.org/10.1088/2058-9565/ab788a

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 8142 |

Montesinos López, J. C., Abuzeineh, A., Kopf, A., Juanes Garcia, A., Ötvös, K., Petrášek, J., … Benková, E. (2020). Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage. The Embo Journal. Embo Press. https://doi.org/10.15252/embj.2019104238

2020 | Published | Journal Article | IST-REx-ID: 7695 |

Wang, J., Mylle, E., Johnson, A. J., Besbrugge, N., De Jaeger, G., Friml, J., … van Damme, D. (2020). High temporal resolution reveals simultaneous plasma membrane recruitment of TPLATE complex subunits. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.20.00178

2020 | Published | Journal Article | IST-REx-ID: 8336 |

Kubiasova, K., Montesinos López, J. C., Šamajová, O., Nisler, J., Mik, V., Semerádová, H., … Spíchal, L. (2020). Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17949-0

2020 | Published | Journal Article | IST-REx-ID: 7875 |

Kopf, A., Renkawitz, J., Hauschild, R., Girkontaite, I., Tedford, K., Merrin, J., … Sixt, M. K. (2020). Microtubules control cellular shape and coherence in amoeboid migrating cells. The Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201907154

2020 | Published | Journal Article | IST-REx-ID: 8011 |

Michailidis, A., Turner, C. J., Papić, Z., Abanin, D. A., & Serbyn, M. (2020). Stabilizing two-dimensional quantum scars by deformation and synchronization. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.2.022065

[Published Version] View | Files available | DOI

2020 | Published | Conference Paper | IST-REx-ID: 7272 |

Arbel-Raviv, M., Brown, T. A., & Morrison, A. (2020). Getting to the root of concurrent binary search tree performance. In Proceedings of the 2018 USENIX Annual Technical Conference (pp. 295–306). Boston, MA, United States: USENIX Association.

[Published Version] View | Download Published Version (ext.)

2020 | Published | Thesis | IST-REx-ID: 7460 |

Ölsböck, K. (2020). The hole system of triangulated shapes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7460

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 9249 |

Biswas, R., Largeteau-Skapin, G., Zrour, R., & Andres, E. (2020). Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. De Gruyter. https://doi.org/10.1515/mathm-2020-0106

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 9156 |

Akopyan, A., & Edelsbrunner, H. (2020). The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0101

[Published Version] View | Files available | DOI | arXiv

2020 | Published | Journal Article | IST-REx-ID: 9157 |

Akopyan, A., & Edelsbrunner, H. (2020). The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. De Gruyter. https://doi.org/10.1515/cmb-2020-0100

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 7554 |

Edelsbrunner, Herbert, Weighted Poisson–Delaunay mosaics. Theory of Probability and its Applications 64 (4). 2020

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7666 |

Edelsbrunner, H., & Ölsböck, K. (2020). Tri-partitions and bases of an ordered complex. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00188-x

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 9630 |

Edelsbrunner, H., Virk, Z., & Wagner, H. (2020). Topological data analysis in information space. Journal of Computational Geometry. Carleton University. https://doi.org/10.20382/jocg.v11i2a7

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 7582 |

Moturu, T. R., Sinha, S., Salava, H., Thula, S., Nodzyński, T., Vařeková, R. S., … Simon, S. (2020). Molecular evolution and diversification of proteins involved in miRNA maturation pathway. Plants. MDPI. https://doi.org/10.3390/plants9030299

2020 | Submitted | Preprint | IST-REx-ID: 8616 |

Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.

[Preprint] View | DOI | Download Preprint (ext.)

2020 | Published | Journal Article | IST-REx-ID: 7814 |

Beattie, R. J., Hippenmeyer, S., & Pauler, F. (2020). SCOPES: Sparking curiosity through Open-Source platforms in education and science. Frontiers in Education. Frontiers Media. https://doi.org/10.3389/feduc.2020.00048

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 7957 |

Parenti, I., Garcia Rabaneda, L. E., Schön, H., & Novarino, G. (2020). Neurodevelopmental disorders: From genetics to functional pathways. Trends in Neurosciences. Elsevier. https://doi.org/10.1016/j.tins.2020.05.004

2020 | Published | Journal Article | IST-REx-ID: 8671 |

Shakiba, A., Goharshady, A. K., Hooshmandasl, M. R., & Alambardar Meybodi, M. (2020). A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. Iranian Academic Center for Education, Culture and Research. https://doi.org/10.29252/ijmsi.15.2.117

[Submitted Version] View | Files available | DOI | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7212 |

Tkadlec, J., Pavlogiannis, A., Chatterjee, K., & Nowak, M. A. (2020). Limits on amplifiers of natural selection under death-Birth updating. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007494

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7933 |

Maslov, Mikhail, Synthetic spin-orbit coupling mediated by a bosonic environment. Physical Review B 101 (18). 2020

2020 | Published | Journal Article | IST-REx-ID: 8170 |

Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson, B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.013001

2020 | Published | Journal Article | IST-REx-ID: 8588 |

Hubert, C., Cohen, K., Ghazaryan, A., Lemeshko, M., Rapaport, R., & Santos, P. V. (2020). Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.045307

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8652 |

Ghazaryan, A., Lemeshko, M., & Volosniev, A. (2020). Filtering spins by scattering from a lattice of point magnets. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-020-00445-8

[Published Version] View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 14694 |

Alt, J., Erdös, L., & Krüger, T. H. (2020). The Dyson equation with linear self-energy: Spectral bands, edges and cusps. Documenta Mathematica. EMS Press. https://doi.org/10.4171/dm/780

[Published Version] View | Files available | DOI | arXiv

2020 | Published | Journal Article | IST-REx-ID: 7512 |

Erdös, László, Local laws for polynomials of Wigner matrices. Journal of Functional Analysis 278 (12). 2020

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 9104 |

Bao, Zhigang, On the support of the free additive convolution. Journal d'Analyse Mathematique 142. 2020

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 10862 |

Bao, Z., Erdös, L., & Schnelli, K. (2020). Spectral rigidity for addition of random matrices at the regular edge. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2020.108639

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 15063 |

Cipolloni, Giorgio, Optimal lower bound on the least singular value of the shifted Ginibre ensemble. Probability and Mathematical Physics 1 (1). 2020

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2020 | Published | Journal Article | IST-REx-ID: 6488 |

Cipolloni, Giorgio, Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices. Random Matrices: Theory and Application 9 (3). 2020

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 6185 |

Erdös, L., Krüger, T. H., & Schröder, D. J. (2020). Cusp universality for random matrices I: Local law and the complex Hermitian case. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03657-4

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 6184 |

Alt, J., Erdös, L., Krüger, T. H., & Schröder, D. J. (2020). Correlated random matrices: Band rigidity and edge universality. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/19-AOP1379

2020 | Published | Thesis | IST-REx-ID: 8353 |

Steiner, J. (2020). Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8353

View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 8284 |

Steiner, J., & Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.59407

2020 | Published | Conference Paper | IST-REx-ID: 7348 |

Ferrere, T., Henzinger, T. A., & Kragl, B. (2020). Monitoring event frequencies. In 28th EACSL Annual Conference on Computer Science Logic (Vol. 152). Barcelona, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2020.20

[Published Version] View | Files available | DOI | arXiv

2020 | Published | Journal Article | IST-REx-ID: 9197

Avni, G., Ibsen-Jensen, R., & Tkadlec, J. (2020). All-pay bidding games on graphs. Proceedings of the AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v34i02.5546

[Preprint] View | DOI | arXiv

2020 | Published | Journal Article | IST-REx-ID: 6761 |

Avni, G., Henzinger, T. A., & Kupferman, O. (2020). Dynamic resource allocation games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2019.06.031

[Submitted Version] View | Files available | DOI | WoS

2020 | Published | Conference Paper | IST-REx-ID: 8600 |

Chatterjee, Krishnendu, Multi-dimensional long-run average problems for vector addition systems with states. 31st International Conference on Concurrency Theory 171. 2020

[Published Version] View | Files available | DOI | arXiv

2020 | Published | Conference Paper | IST-REx-ID: 7808 |

Giacobbe, M., Henzinger, T. A., & Lechner, M. (2020). How many bits does it take to quantize your neural network? In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12079, pp. 79–97). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-45237-7_5

[Published Version] View | Files available | DOI

2020 | Published | Conference Paper | IST-REx-ID: 7346 |

Schmid, L., Chatterjee, K., & Schmid, S. (2020). The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game. In Proceedings of the 23rd International Conference on Principles of Distributed Systems (Vol. 153). Neuchâtel, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2019.21

[Preprint] View | Files available | DOI | arXiv

2020 | Published | Thesis | IST-REx-ID: 8332 |

Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8332

[Published Version] View | Files available | DOI

2020 | Published | Conference Paper | IST-REx-ID: 7505 |

Henzinger, T. A., Lukina, A., & Schilling, C. (2020). Outside the box: Abstraction-based monitoring of neural networks. In 24th European Conference on Artificial Intelligence (Vol. 325, pp. 2433–2440). Santiago de Compostela, Spain: IOS Press. https://doi.org/10.3233/FAIA200375

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Journal Article | IST-REx-ID: 8788

Pavlogiannis, A., Schaumberger, N., Schmid, U., & Chatterjee, K. (2020). Precedence-aware automated competitive analysis of real-time scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE. https://doi.org/10.1109/TCAD.2020.3012803

View | DOI | WoS

2020 | Published | Thesis | IST-REx-ID: 7196 |

Tkadlec, J. (2020). A role of graphs in evolutionary processes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7196

[Published Version] View | Files available | DOI

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5872 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5872 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options