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: 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
 
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: 466 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
Chatterjee, Krishnendu, Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science 13 (2). 2017
[Published Version] View | Files available | DOI
 
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: 1028 | OA
Green-light-induced inactivation of receptor signaling using cobalamin-binding domains
Kainrath, Stephanie, Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition 56 (16). 2017
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1024 | OA
Methodological advances in auxin and cytokinin biology
Hurny, Andrej, Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology 1569. 2017
[Submitted Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 679 | OA
The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection
Ebner, Florian, The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection. The Journal of Clinical Investigation 127 (6). 2017
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Conference Paper | IST-REx-ID: 949 | OA
JTDec: A tool for tree decompositions in soot
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 639 | OA
Non-polynomial worst case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1029 | OA
Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast
Lukacisin, Martin, Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One 12 (3). 2017
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed