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.

7090 Publications


2020 | Published | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 9103 | OA
Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 9202 | OA
Hybridization for stability verification of nonlinear switched systems
M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–256.
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8012 | OA
Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8194 | OA
An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8704 | OA
Gershgorin loss stabilizes the recurrent neural network compartment of an end-to-end robot learning scheme
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
Formal methods with a touch of magic
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
A survey of bidding games on graphs
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
Reinforcement learning of risk-constrained policies in Markov decision processes
T. Brázdil, K. Chatterjee, P. Novotný, J. Vahala, Proceedings of the 34th AAAI Conference on Artificial Intelligence 34 (2020) 9794–9801.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8324 | OA
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
P. Wang, H. Fu, K. Chatterjee, Y. Deng, M. Xu, in:, Proceedings of the ACM on Programming Languages, ACM, 2020.
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7389 | OA
Isometric study of Wasserstein spaces - the real line
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
Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens
W. Jahr, P. Velicky, J.G. Danzl, Methods 174 (2020) 27–41.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 7207 | OA
Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
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
Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C. Wojtan, ACM Transactions on Graphics 39 (2020).
[Published Version] View | Files available | DOI | WoS
 

2020 | Draft | Preprint | IST-REx-ID: 10012 | OA
The local structure of the energy landscape in multiphase mean curvature flow: weak-strong uniqueness and stability of evolutions
J.L. Fischer, S. Hensel, T. Laux, T. Simon, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7472 | OA
Replay of behavioral sequences in the medial prefrontal cortex during rule switching
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) P154–165.e6.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8737 | OA
The coupling mechanism of mammalian respiratory complex I
D. Kampjut, L.A. Sazanov, Science 370 (2020).
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 9039 | OA
Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies
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
Detecting composite orders in layered models via machine learning
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
Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits
B. Suri, L. Kageorge, R.O. Grigoriev, M.F. Schatz, Physical Review Letters 125 (2020).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8325 | OA
Sandpile solitons via smoothing of superharmonic functions
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
Simulation code for Fig S2 from the distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Research Data Reference | IST-REx-ID: 9799 | OA
Simulation code for Fig S1 from the distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, (2020).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 7618 | OA
Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7805 | OA
Synergistic on Auxin and Cytokinin 1 positively regulates growth and attenuates soil pathogen resistance
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
Optogenetic inhibition-mediated activity-dependent modification of CA1 pyramidal-interneuron connections during behavior
I. Gridchyn, P. Schönenberger, J. O’Neill, J.L. Csicsvari, ELife 9 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Research Data | IST-REx-ID: 8563 | OA
Optogenetic alteration of hippocampal network activity
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 7650 | OA
Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature
A. Deuchert, R. Seiringer, Archive for Rational Mechanics and Analysis 236 (2020) 1217–1271.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8091 | OA
Emergence of Haldane pseudo-potentials in systems with short-range interactions
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 | OA
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 15077 | OA
Dynamic averaging load balancing on cycles
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 | OA
Reconfiguration problems
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 6952 | OA
Learning single-image 3D reconstruction by generative modelling of shape, pose and shading
P.M. Henderson, V. Ferrari, International Journal of Computer Vision 128 (2020) 835–854.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7489 | OA
Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension
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 | OA
Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7508 | OA
Higher order corrections to the mean-field description of the dynamics of interacting bosons
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics 178 (2020) 1362–1396.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8130 | OA
Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons
L. Bossmann, Archive for Rational Mechanics and Analysis 238 (2020) 541–606.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7638 | OA
Non-equilibrium quantum spin dynamics from classical stochastic processes
S. De Nicola, B. Doyon, M.J. Bhaseen, Journal of Statistical Mechanics: Theory and Experiment 2020 (2020).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7611 | OA
Central limit theorem for Bose gases interacting through singular potentials
S.A.E. Rademacher, Letters in Mathematical Physics 110 (2020) 2143–2174.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 7567 | OA
Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science 14 (2020) 141–176.
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8699 | OA
Strain engineering of the charge and spin-orbital interactions in Sr2IrO4
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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 7994 | OA
Extending drawings of graphs to arrangements of pseudolines
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 | OA
Equality conditions of data processing inequality for α-z Rényi relative entropies
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 | OA
Unary prime languages
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 | OA
A persistent homology perspective to the link prediction problem
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 | OA
Network physiology of cortico–muscular interactions
R. Rizzo, X. Zhang, J.W.J.L. Wang, F. Lombardi, P.C. Ivanov, Frontiers in Physiology 11 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8726 | OA
Evolution of spin-orbital entanglement with increasing ising spin-orbit coupling
D. Gotfryd, E. Paerschke, K. Wohlfeld, A.M. Oleś, Condensed Matter 5 (2020).
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8973 | OA
Symmetric simple exclusion process in dynamic environment: Hydrodynamics
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7369 | OA
Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience 48 (2020) 85–102.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed