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.
9084 Publications
2014 | Technical Report | IST-REx-ID: 5419 | 
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2217
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. HSCC: Hybrid Systems - Computation and Control, 213–222.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5417 |
Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5416 |
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5418 |
Chatterjee K, Doyen L. 2014. Games with a weak adversary, IST Austria, 18p.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5420 |
Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
[Published Version]
View
| Files available
| DOI
2014 | Report | IST-REx-ID: 5422 |
Porsche J. 2014. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none,p.
View
| Files available
2014 | Technical Report | IST-REx-ID: 5424 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5426 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5423 |
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. 2014. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks, IST Austria, 14p.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5427 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5425 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.
[Published Version]
View
| Files available
2014 | Technical Report | IST-REx-ID: 5415 |
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5421 |
Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 5813 |
Dereziński J, Napiórkowski MM. 2014. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 15(12), 2409–2439.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 589 |
Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. 2014. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 39(13), 4005–4008.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 6126 |
Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. 2014. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 34(50), 16726–16738.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 6124 |
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. 2014. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 10(3), e1004082.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 6122 |
Linneweber GA, Jacobson J, Busch KE, Hudry B, Christov CP, Dormann D, Yuan M, Otani T, Knust E, de Bono M, Miguel-Aliaga I. 2014. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 156(1–2), 69–83.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC