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.
7047 Publications
2014 |Published| Conference Paper | IST-REx-ID: 2163 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.
2014 |Published| Technical Report | IST-REx-ID: 5419 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.
2014 |Published| Conference Paper | IST-REx-ID: 2217
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.
View
| Files available
| DOI
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.
2014 |Published| Technical Report | IST-REx-ID: 5417 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
From model checking to model measuring
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5416 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5418 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Games with a weak adversary
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5420 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The value 1 problem for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.
2014 | Report | IST-REx-ID: 5422 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none, 2014.
View
| Files available
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5424 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5426 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5423 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Kössler, A. Pavlogiannis, U. Schmid, A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Kössler, A. Pavlogiannis, U. Schmid, A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks, IST Austria, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5427 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5415 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
2014 |Published| Technical Report | IST-REx-ID: 5421 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The complexity of evolution on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.
2014 |Published| Journal Article | IST-REx-ID: 5813 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincaré 15 (2014) 2409–2439.
[Published Version]
View
| Files available
| DOI
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincaré 15 (2014) 2409–2439.
2014 |Published| Conference Paper | IST-REx-ID: 5810
On Finding Spherical Geodesic Paths and Circles in ℤ3
R. Biswas, P. Bhowmick, 8668 (2014) 396–409.
View
| DOI
R. Biswas, P. Bhowmick, 8668 (2014) 396–409.
2014 |Published| Journal Article | IST-REx-ID: 589 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Many-atom-cavity QED system with homogeneous atom-cavity coupling
J. Lee, G. Vrijsen, I. Teper, O. Hosten, M. Kasevich, Optics Letters 39 (2014) 4005–4008.
View
| DOI
| Download (ext.)
J. Lee, G. Vrijsen, I. Teper, O. Hosten, M. Kasevich, Optics Letters 39 (2014) 4005–4008.
2014 |Published| Journal Article | IST-REx-ID: 6126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, M. de Bono, Journal of Neuroscience 34 (2014) 16726–16738.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, M. de Bono, Journal of Neuroscience 34 (2014) 16726–16738.
2014 |Published| Journal Article | IST-REx-ID: 6124 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism
C. Chen, E. Itakura, K.P. Weber, R.S. Hegde, M. de Bono, PLoS Genetics 10 (2014).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Chen, E. Itakura, K.P. Weber, R.S. Hegde, M. de Bono, PLoS Genetics 10 (2014).
2014 |Published| Journal Article | IST-REx-ID: 6122 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching
G.A. Linneweber, J. Jacobson, K.E. Busch, B. Hudry, C.P. Christov, D. Dormann, M. Yuan, T. Otani, E. Knust, M. de Bono, I. Miguel-Aliaga, Cell 156 (2014) 69–83.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
G.A. Linneweber, J. Jacobson, K.E. Busch, B. Hudry, C.P. Christov, D. Dormann, M. Yuan, T. Otani, E. Knust, M. de Bono, I. Miguel-Aliaga, Cell 156 (2014) 69–83.