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.




5794 Publications

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 | 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: 1338 | OA
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 681 | OA
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1161 | OA
Cell migration: Making the waves
J. Müller, M.K. Sixt, Current Biology 27 (2017) R24–R25.
[Published Version] View | 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).
View | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 643
Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, C. Jiang, Chinese Journal of Physiology 60 (2017) 207–214.
View | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 1006 | OA
Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, BMC Genomics 18 (2017) 329.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1003 | OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Research Data Reference | IST-REx-ID: 9859 | OA
Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9860 | OA
Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae
J. Greenwood, B. Milutinovic, R. Peuß, S. Behrens, D. Essar, P. Rosenstiel, H. Schulenburg, J. Kurtz, (2017).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 1010 | OA
Local law for random Gram matrices
J. Alt, L. Erdös, T.H. Krüger, Electronic Journal of Probability 22 (2017).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1017 | OA
Tubulins and brain development: The origins of functional specification
M. Breuss, I. Leca, T. Gstrein, A.H. Hansen, D. Keays, Molecular and Cellular Neuroscience 84 (2017) 58–67.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed