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.

4858 Publications


2014 | Published | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5417 | OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee, Krishnendu, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-187-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-191-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
[Published Version] View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View | Files available
 

2014 | Published | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5425 | OA
Anonymous, 1, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
[Published Version] View | Files available
 

2014 | Published | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Published | Book Chapter | IST-REx-ID: 6178
Smutny, Michael, et al. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” Tissue Morphogenesis, edited by Celeste Nelson, vol. 1189, Springer, 2014, pp. 219–35, doi:10.1007/978-1-4939-1164-6_15.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Conference Paper | IST-REx-ID: 1507 | OA
Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” Proceedings of the International Congress of Mathematicians, vol. 3, International Congress of Mathematicians, 2014, pp. 214–36.
[Submitted Version] View | Download Submitted Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic Gases.” Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–37, doi:10.1142/9789814618144_0007.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed