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.

7346 Publications


2011 | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011, doi:10.15479/AT:IST-2011-0001.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
Hosten, Onur. “Quantum Physics: How to Catch a Wave.” Nature, vol. 474, no. 7350, Nature Publishing Group, 2011, pp. 170–71, doi:10.1038/474170a.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 585
Schmid, David, et al. Methods towards Achieving Precise Birefringent Focusing. OSA, 2011, doi:10.1364/CLEO_AT.2011.JThB130.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
Vrijsen, Geert, et al. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.” Physical Review Letters, vol. 107, no. 6, American Physical Society, 2011, doi:10.1103/PhysRevLett.107.063904.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
Bernecky, Carrie, et al. “Molecular Architecture of the Human Mediator-RNA Polymerase II-TFIIF Assembly.” PLoS Biology, vol. 9, no. 3, Public Library of Science, 2011, doi:10.1371/journal.pbio.1000603.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7076
Salje, E. K. H., et al. “Determination of Iron Sites and the Amount of Amorphization in Radiation-Damaged Titanite (CaSiTiO5).” Journal of Physics: Condensed Matter, vol. 23, no. 10, 105402, IOP Publishing, 2011, doi:10.1088/0953-8984/23/10/105402.
View | DOI
 

Search

Filter Publications