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.

8915 Publications


2007 | Published | Conference Paper | IST-REx-ID: 4514
T. A. Henzinger, “Games, time, and probability: Graph models for system design and analysis,” presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, 2007, vol. 4362, pp. 103–110.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4529
J. Fisher and T. A. Henzinger, “Executable cell biology,” Nature Biotechnology, vol. 25. Nature Publishing Group, pp. 1239–1249, 2007.
View | DOI
 

2007 | Published | Conference (Editor) | IST-REx-ID: 4530
J. Duparc and T. A. Henzinger, CSL: Computer Science Logic , vol. 4646. Springer, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4531
J. Fisher, N. Piterman, A. Hajnal, and T. A. Henzinger, “Predictive modeling of signaling crosstalk during C. elegans vulval development,” PLoS Computational Biology, vol. 3(5):e92. Public Library of Science, 2007.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4537
K. Chatterjee and T. A. Henzinger, “Assume-guarantee synthesis,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, vol. 4424, pp. 261–275.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4547
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” Logical Methods in Computer Science, vol. 3, no. 184. International Federation of Computational Logic, pp. 1–23, 2007.
View | DOI
 

2007 | Published | Thesis | IST-REx-ID: 4559
K. Chatterjee, “Stochastic ω-Regular Games,” University of California, Berkeley, 2007.
View | Download (ext.)
 

2007 | Published | Thesis | IST-REx-ID: 4566
A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
View
 

2007 | Published | Journal Article | IST-REx-ID: 4567
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “The software model checker BLAST: Applications to software engineering,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5. Springer, pp. 505–525, 2007.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4570
T. Brihaye, T. A. Henzinger, V. Prabhu, and J. Raskin, “Minimum-time reachability in timed games,” presented at the ICALP: Automata, Languages and Programming, 2007, vol. 4596, pp. 825–837.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4571
D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Path invariants,” presented at the PLDI: Programming Languages Design and Implementation, 2007, pp. 300–309.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4572
D. Beyer, T. A. Henzinger, R. Majumdar, and A. Rybalchenko, “Invariant synthesis for combined theories,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, 2007, vol. 4349, pp. 378–394.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4573
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Configurable software verification: Concretizing the convergence of model checking and program analysis,” presented at the CAV: Computer Aided Verification, 2007, vol. 4590, pp. 504–518.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4575
D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. Seshia, “An application of web-service interfaces,” presented at the ICWS: International Conference on Web Service, 2007, pp. 831–838.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4626
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 582
O. Hosten and P. Kwiat, “Observing the spin hall effect of light via quantum weak measurements,” presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7704
T. Komiyama, L. B. Sweeney, O. Schuldiner, K. C. Garcia, and L. Luo, “Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons,” Cell, vol. 128, no. 2. Elsevier, pp. 399–410, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7705
L. B. Sweeney et al., “Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions,” Neuron, vol. 53, no. 2. Elsevier, pp. 185–200, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 7753 | OA
M. R. Robinson and L. E. . Kruuk, “Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep,” Biology Letters, vol. 3, no. 6. The Royal Society, pp. 651–654, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 7780
C. P. Goodrich et al., “Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations,” The Journal of Physical Chemistry B, vol. 111, no. 13. American Chemical Society, pp. 3332–3335, 2007.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed