Please note that IST 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.

3382 Publications


2009 | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
D. Weijers and J. Friml, “SnapShot: Auxin signaling and transport,” Cell, vol. 136, no. 6. Cell Press, pp. 1172–1172, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
S. Vanneste and J. Friml, “Auxin: A trigger for change in plant development,” Cell, vol. 136, no. 6. Cell Press, pp. 1005–1016, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
J. Petrášek and J. Friml, “Auxin transport routes in plant development,” Development, vol. 136, no. 16. Company of Biologists, pp. 2675–2688, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications