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.




6617 Publications

2015 | Published | Journal Article | IST-REx-ID: 1938
Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local Extrema in Quantum Chaos.” Physics Letters, Section A, vol. 379, no. 6, Elsevier, 2015, pp. 535–41, doi:10.1016/j.physleta.2014.12.010.
View | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 1940 | OA
Sokolowski, Thomas R., and Gašper Tkačik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 91, no. 6, 062710, American Institute of Physics, 2015, doi:10.1103/PhysRevE.91.062710.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1944
Rakusová, Hana, et al. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.” Current Opinion in Plant Biology, vol. 23, no. 2, Elsevier, 2015, pp. 116–23, doi:10.1016/j.pbi.2014.12.002.
View | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 473 | OA
Lewin, Mathieu, et al. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.” Journal de l’Ecole Polytechnique - Mathematiques, vol. 2, Ecole Polytechnique, 2015, pp. 65–115, doi:10.5802/jep.18.
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 477
Holst, Katrin, et al. “The Serotonin Receptor 5-HT7R Regulates the Morphology and Migratory Properties of Dendritic Cells.” Journal of Cell Science, vol. 128, no. 15, Company of Biologists, 2015, pp. 2866–80, doi:10.1242/jcs.167999.
View | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 523 | OA
Chatterjee, Krishnendu, et al. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 25–52, doi:10.1016/j.ic.2015.03.010.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 524 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 2–24, doi:10.1016/j.ic.2015.03.009.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 532
Li, Wenyang, et al. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.” Cell, vol. 163, no. 3, Cell Press, 2015, pp. 670–83, doi:10.1016/j.cell.2015.09.037.
View | DOI | WoS
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5430 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-319-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5431 | OA
Chatterjee, Krishnendu, et al. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015, doi:10.15479/AT:IST-2015-322-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5432 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v2-1.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5439 | OA
Boker, Udi, et al. The Target Discounted-Sum Problem. IST Austria, 2015, doi:10.15479/AT:IST-2015-335-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015, doi:10.15479/AT:IST-2015-340-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2015 | Published | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee, Krishnendu, et al. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015, doi:10.15479/AT:IST-2015-325-v2-1.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed