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.




5735 Publications

2020 | Published | Journal Article | IST-REx-ID: 8765 | OA
Schreck, C., & Wojtan, C. (2020). A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.13914
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8385 | OA
Sperl, G., Narain, R., & Wojtan, C. (2020). Homogenized yarn-level cloth. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3386569.3392412
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2020 | Published | Thesis | IST-REx-ID: 7629 | OA
Forkert, D. L. (2020). Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7629
[Published Version] View | Files available | DOI
 
2020 | Published | Book Chapter | IST-REx-ID: 74 | OA
Akopyan, Arseniy, Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures. Geometric Aspects of Functional Analysis 2256. 2020
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Preprint | IST-REx-ID: 7675 | OA
Grah, R., Zoller, B., & Tkačik, G. (2020). Normative models of enhancer function. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.04.08.029405
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 7909 | OA
Damiano-Guercio, J., Kurzawa, L., Müller, J., Dimchev, G. A., Schaks, M., Nemethova, M., … Faix, J. (2020). Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.55351
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Conference Paper | IST-REx-ID: 15074 | OA
Brandt, S., Keller, B., Rybicki, J., Suomela, J., & Uitto, J. (2020). Brief announcement: Efficient load-balancing through distributed token dropping. In 34th International Symposium on Distributed Computing (Vol. 179). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2020.40
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 8220 | OA
Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J., Simons, B. D., Van Rheenen, J., & Hannezo, E. B. (2020). Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1921205117
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8077 | OA
Shehu, Y., & Iyiola, O. S. (2020). Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence. Applied Numerical Mathematics. Elsevier. https://doi.org/10.1016/j.apnum.2020.06.009
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 6593 | OA
Shehu, Y., Li, X.-H., & Dong, Q.-L. (2020). An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms. Springer Nature. https://doi.org/10.1007/s11075-019-00758-y
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8725 | OA
Aksenov, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2020). The splay-list: A distribution-adaptive concurrent skip-list. In 34th International Symposium on Distributed Computing (Vol. 179, p. 3:1-3:18). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2020.3
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 8722 | OA
Li, S., Tal Ben-Nun, T. B.-N., Girolamo, S. D., Alistarh, D.-A., & Hoefler, T. (2020). Taming unbalanced training workloads in deep learning with partial collective operations. In Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 45–61). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3332466.3374528
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 7636 | OA
Brown, T. A., Prokopec, A., & Alistarh, D.-A. (2020). Non-blocking interpolation search trees with doubly-logarithmic running time. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 276–291). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3332466.3374542
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 15086 | OA
Faghri, F., Tabrizian, I., Markov, I., Alistarh, D.-A., Roy, D., & Ramezani-Kebrya, A. (2020). Adaptive gradient quantization for data-parallel SGD. In Advances in Neural Information Processing Systems (Vol. 33). Vancouver, Canada: Neural Information Processing Systems Foundation.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 8272 | OA
Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21
[Published Version] View | Files available | DOI | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 7955 | OA
Ashok, Pranav, Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . 2020
[Published Version] View | Files available | DOI | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 10673 | OA
Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2020). A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits. In Proceedings of the 37th International Conference on Machine Learning (pp. 4082–4093). Virtual.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 10672 | OA
Lechner, M. (2020). Learning representations for binary-classification without backpropagation. In 8th International Conference on Learning Representations. Virtual ; Addis Ababa, Ethiopia: ICLR.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger, T. A., & Sarac, N. E. (2020). Monitorability under assumptions. In Runtime Verification (Vol. 12399, pp. 3–18). Los Angeles, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-60508-7_1
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 9103 | OA
Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian reachtubes: The next generation. In Proceedings of the 59th IEEE Conference on Decision and Control (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE. https://doi.org/10.1109/CDC42340.2020.9304042
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto, M., & Prabhakar, P. (2020). Hybridization for stability verification of nonlinear switched systems. In 2020 IEEE Real-Time Systems Symposium (pp. 244–256). Houston, TX, USA : IEEE. https://doi.org/10.1109/RTSS49844.2020.00031
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8679
Lechner, M., Hasani, R., Amini, A., Henzinger, T. A., Rus, D., & Grosu, R. (2020). Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. Springer Nature. https://doi.org/10.1038/s42256-020-00237-3
View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8704 | OA
Lechner, Mathias, Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme. Proceedings - IEEE International Conference on Robotics and Automation. 2020
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 9040 | OA
Alamdari, Par Alizadeh, Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. 2020
[Published Version] View | Files available | DOI
 
2020 | Published | Conference Paper | IST-REx-ID: 8599 | OA
Avni, Guy, A survey of bidding games on graphs. 31st International Conference on Concurrency Theory 171. 2020
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 15055 | OA
Brázdil, T., Chatterjee, K., Novotný, P., & Vahala, J. (2020). Reinforcement learning of risk-constrained policies in Markov decision processes. Proceedings of the 34th AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v34i06.6531
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 8324 | OA
Wang, P., Fu, H., Chatterjee, K., Deng, Y., & Xu, M. (2020). Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. In Proceedings of the ACM on Programming Languages (Vol. 4). ACM. https://doi.org/10.1145/3371093
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 8193
Chatterjee, Krishnendu, Multiple-environment Markov decision processes: Efficient analysis and applications. Proceedings of the 30th International Conference on Automated Planning and Scheduling 30. 2020
View | Files available
 
2020 | Published | Journal Article | IST-REx-ID: 7389 | OA
Geher, Gyorgy Pal, Isometric study of Wasserstein spaces - the real line. Transactions of the American Mathematical Society 373 (8). 2020
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 6808 | OA
Jahr, W., Velicky, P., & Danzl, J. G. (2020). Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods. Elsevier. https://doi.org/10.1016/j.ymeth.2019.07.019
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 7207 | OA
Martín-Belmonte, Alejandro, Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease. Brain Pathology 30 (3). 2020
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8535 | OA
Skrivan, T., Soderstrom, A., Johansson, J., Sprenger, C., Museth, K., & Wojtan, C. (2020). Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3386569.3392466
[Published Version] View | Files available | DOI | WoS
 
2020 | Draft | Preprint | IST-REx-ID: 10012 | OA
Fischer, J. L., Hensel, S., Laux, T., & Simon, T. (n.d.). The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions. arXiv. https://doi.org/10.48550/arXiv.2003.05478
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 7472 | OA
Käfer, K., Nardin, M., Blahna, K., & Csicsvari, J. L. (2020). Replay of behavioral sequences in the medial prefrontal cortex during rule switching. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.01.015
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2020 | Published | Book Chapter | IST-REx-ID: 7227
Nunes Pinheiro, Diana C, Zebrafish gastrulation: Putting fate in motion. Gastrulation: From Embryonic Pattern to Form 136. 2020
View | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8737 | OA
Kampjut, D., & Sazanov, L. A. (2020). The coupling mechanism of mammalian respiratory complex I. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abc4209
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 9039 | OA
Fischer, Julian L, Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis 52 (6). 2020
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8644 | OA
Rzadkowski, Wojciech, Detecting composite orders in layered models via machine learning. New Journal of Physics 22 (9). 2020
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8634 | OA
Suri, B., Kageorge, L., Grigoriev, R. O., & Schatz, M. F. (2020). Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.125.064501
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 8325 | OA
Kalinin, Nikita, Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics 378 (9). 2020
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Research Data Reference | IST-REx-ID: 9798 | OA
Fraisse, C., & Welch, J. J. (2020). Simulation code for Fig S2 from the distribution of epistasis on simple fitness landscapes. Royal Society of London. https://doi.org/10.6084/m9.figshare.7957472.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2020 | Research Data Reference | IST-REx-ID: 9799 | OA
Fraisse, C., & Welch, J. J. (2020). Simulation code for Fig S1 from the distribution of epistasis on simple fitness landscapes. Royal Society of London. https://doi.org/10.6084/m9.figshare.7957469.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 7618 | OA
Pitrik, J., & Virosztek, D. (2020). Quantum Hellinger distances revisited. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01282-0
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 7805 | OA
Hurny A, Cuesta C, Cavallari N, Ötvös K, Duclercq J, Dokládal L, Montesinos López JC, Gallemi M, Semerádová H, Rauter T, Stenzel I, Persiau G, Benade F, Bhalearo R, Sýkorová E, Gorzsás A, Sechet J, Mouille G, Heilmann I, De Jaeger G, Ludwig-Müller J, Benková E. 2020. Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance. Nature Communications. 11, 2170.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8740 | OA
Gridchyn, I., Schönenberger, P., O’Neill, J., & Csicsvari, J. L. (2020). Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.61106
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Research Data | IST-REx-ID: 8563 | OA
Csicsvari, J. L., Gridchyn, I., & Schönenberger, P. (2020). Optogenetic alteration of hippocampal network activity. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8563
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7650 | OA
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
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed