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

2017 | Published | Journal Article | IST-REx-ID: 610 | OA
On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, Israel Journal of Mathematics 222 (2017) 841–866.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 792 | OA
Relative periodic orbits form the backbone of turbulent pipe flow
N.B. Budanur, K. Short, M. Farazmand, A. Willis, P. Cvitanović, Journal of Fluid Mechanics 833 (2017) 274–301.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1208 | OA
Maximum likelihood estimation for linear Gaussian covariance models
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 739 | OA
A note on the validity of Bogoliubov correction to mean field dynamics
P. Nam, M.M. Napiórkowski, Journal de Mathématiques Pures et Appliquées 108 (2017) 662–688.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 615 | OA
Universality for random matrix flows with time dependent density
L. Erdös, K. Schnelli, Annales de l’institut Henri Poincare (B) Probability and Statistics 53 (2017) 1606–1656.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 793 | OA
On the existence of ordinary triangles
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, M. Szedlák, Computational Geometry: Theory and Applications 66 (2017) 28–31.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 645 | OA
Value iteration for long run average reward in markov decision processes
P. Ashok, K. Chatterjee, P. Daca, J. Kretinsky, T. Meggendorfer, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 201–221.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 646 | OA
A novel convex relaxation for non binary discrete tomography
J. Kuske, P. Swoboda, S. Petra, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 235–246.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 700 | OA
Optomechanical proposal for monitoring microtubule mechanical vibrations
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 662 | OA
Hydrodynamic turbulence in quasi Keplerian rotating flows
L. Shi, B. Hof, M. Rampp, M. Avila, Physics of Fluids 29 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 684 | OA
Obligation blackwell games and p-automata
K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 687 | OA
The critical CoHA of a quiver with potential
B. Davison, Quarterly Journal of Mathematics 68 (2017) 635–703.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 642 | OA
Localization errors in solving stochastic partial differential equations in the whole space
M. Gerencser, I. Gyöngy, Mathematics of Computation 86 (2017) 2373–2397.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 707 | OA
A tight estimate for the waist of the ball
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 471 | OA
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic 18 (2017).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Thesis | IST-REx-ID: 1155 | OA
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1351 | OA
Model checking the evolution of gene regulatory networks
Giacobbe, Mirco, Model checking the evolution of gene regulatory networks. Acta Informatica 54 (8). 2017
[Published Version] View | Files available | DOI | WoS
 
2017 | Research Data | IST-REx-ID: 5562 | OA
Multi-electrode array recording from salamander retinal ganglion cells
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, M. Berry, (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1066 | OA
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 673
Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow
S. Altmeyer, R. Lueptow, Physical Review E 95 (2017).
[Submitted Version] View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed