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.
6609 Publications
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5412 |
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5413 |
Chatterjee K, Daca P, Chmelik M. 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
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5414 |
Chatterjee K, Daca P, Chmelik M. 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
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5415 |
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5416 |
Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5417 |
Henzinger TA, Otop J. From Model Checking to Model Measuring. IST Austria; 2014. doi:10.15479/AT:IST-2014-172-v1-1
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5418 |
Chatterjee K, Doyen L. 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 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 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 |
Chatterjee K, Ibsen-Jensen R. 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
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5421 |
Chatterjee K, Ibsen-Jensen R, Nowak M. 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 |
Porsche J. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none; 2014.
View
| Files available
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5423 |
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. 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
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5424 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 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
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5426 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 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 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 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
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5428 |
Chatterjee K, Henzinger TA, Otop J, Velner Y. 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 M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Nelson C, ed. Tissue Morphogenesis. Vol 1189. MIMB. New York: Springer; 2014:219-235. doi:10.1007/978-1-4939-1164-6_15
View
| DOI
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 1994
Viaene T, Landberg K, Thelander M, et al. Directional auxin transport mechanisms in early diverging land plants. Current Biology. 2014;24(23):2786-2791. doi:10.1016/j.cub.2014.09.056
View
| DOI
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1995 |
Fratini F, Mascarenhas E, Safari L, et al. Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification. Physical Review Letters. 2014;113(24). doi:10.1103/PhysRevLett.113.243601
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 1996 |
Hazak O, Obolski U, Prat T, Friml J, Hadany L, Yalovsky S. Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS. 2014;111(50):E5471-E5479. doi:10.1073/pnas.1413918111
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS