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.




6608 Publications

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5413 | OA
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5414 | OA
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5416 | OA
T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5417 | OA
T. A. Henzinger and J. Otop, From model checking to model measuring. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5418 | OA
K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5419 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5420 | OA
K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5421 | OA
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Report | IST-REx-ID: 5422 | OA
J. Porsche, 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 | OA
K. Chatterjee, A. Kössler, A. Pavlogiannis, and 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
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5424 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5426 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5427 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5428 | OA
K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, Quantitative fair simulation games. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Book Chapter | IST-REx-ID: 6178
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, and C.-P. J. Heisenberg, “UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo,” in Tissue Morphogenesis, vol. 1189, C. Nelson, Ed. New York: Springer, 2014, pp. 219–235.
View | DOI | PubMed | Europe PMC
 
2014 | Published | Journal Article | IST-REx-ID: 1994
T. Viaene et al., “Directional auxin transport mechanisms in early diverging land plants,” Current Biology, vol. 24, no. 23. Cell Press, pp. 2786–2791, 2014.
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1995 | OA
F. Fratini et al., “Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification,” Physical Review Letters, vol. 113, no. 24. American Physical Society, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1996 | OA
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, and S. Yalovsky, “Bimodal regulation of ICR1 levels generates self-organizing auxin distribution,” PNAS, vol. 111, no. 50. National Academy of Sciences, pp. E5471–E5479, 2014.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1998
L. El Masri and S. Cremer, “Individual and social immunisation in insects,” Trends in Immunology, vol. 35, no. 10. Elsevier, pp. 471–482, 2014.
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed