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.

184 Publications


2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement for Stochastic Rabin and Streett Games,” 4137:375–89. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006. https://doi.org/10.1007/11817949_25.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Quantitative Concurrent Parity Games,” 678–87. SIAM, 2006. https://doi.org/10.1145/1109557.1109631.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, Mihaela, Johannes Wessels, Claudia Müller, Mike Essl, Johannes Eble, Eva Tolosa, Manuel Koch, et al. “Characterization of a Conduit System Containing Laminin-5 in the Human Thymus: A Potential Transport System for Small Molecules.” Journal of Cell Science 119, no. Pt 7 (2006): 1396–1405. https://doi.org/10.1242/​jcs.02840.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl Heisenberg. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.” Development 133, no. 14 (2006): 2671–81. https://doi.org/doi: 10.1242/dev.02439.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
Vladar, Harold, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology, 2006, 91–109.
View
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,” 274–89. Springer, 2006. https://doi.org/1570.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,” 4144:17–30. Springer, 2006. https://doi.org/10.1007/11817963_5.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,” 4202:1–17. Springer, 2006. https://doi.org/10.1007/11867340_1.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,” 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science 354, no. 2 (2006): 173–86. https://doi.org/10.1016/j.tcs.2005.11.015.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,” 291–300. IEEE, 2006. https://doi.org/10.1109/QEST.2006.48.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,” 107–18. Springer, 2006. https://doi.org/1543.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,” 3884:512–23. Springer, 2006. https://doi.org/10.1007/11672142_42.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters, Nicholas, Keith Arnold, Aaron Vandevender, Evan Jeffrey, Radhika Rangarajan, Onur Hosten, Julio Barreiro, Joseph Altepeter, and Paul Kwiat. “Towards a Quasi-Deterministic Single-Photon Source,” Vol. 6305. SPIE, 2006. https://doi.org/10.1117/12.684702.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 573   OA
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Computation Revisited.” Quantum Physics, 2006.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 903
Babenko, Vladimir, Malay Basu, Fyodor Kondrashov, Igor Rogozin, and Eugene Koonin. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.” BMC Cancer 6 (2006). https://doi.org/10.1186/1471-2407-6-36.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 869
Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.” Journal of Theoretical Biology 240, no. 4 (2006): 616–26. https://doi.org/10.1016/j.jtbi.2005.10.020.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009   OA
Paciorek, Tomasz, and Jirí Friml. “Auxin Signaling.” Journal of Cell Science 119, no. 7 (2006): 1199–1202. https://doi.org/10.1242/jcs.02910.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3908
Ustinova, Jana, Roland Achmann, Sylvia Cremer, and Frieder Mayer. “Long Repeats in a Huge Gemome: Microsatellite Loci in the Grasshopper Chorthippus Biguttulus.” Journal of Molecular Evolution 62, no. 2 (2006): 158–67. https://doi.org/10.1007/s00239-005-0022-6.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed