ISTA Research Explorer

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.

11023 Publications

2009 | Published | Conference Paper | IST-REx-ID: 4360

Wies, Thomas, et al. “Combining Theories with Shared Set Operations.” 7th International Symposium on Frontiers of Combining Systems, vol. 5749, Springer, 2009, pp. 366–82, doi:10.1007/978-3-642-04222-5_23.

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 4377

Hoenicke, Jochen, et al. “It’s Doomed; We Can Prove It.” Second World Congress on Formal Methods, vol. 5850, Springer, 2009, pp. 338–53, doi:10.1007/978-3-642-05089-3_22.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 4376

Lublinerman, Roberto, et al. “Parallel Programming with Object Assemblies.” ACM SIGPLAN Notices, vol. 44, no. 10, ACM, 2009, pp. 61–80, doi:10.1145/1639949.164009.

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 4391

Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 173–87, doi:10.1007/978-3-642-02658-4_16.

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 4365

Seghir, Mohamed, et al. “Abstraction Refinement for Quantified Array Assertions.” 16th International Symposium on Static Analysis, vol. 5673, Springer, 2009, pp. 3–18, doi:10.1007/978-3-642-03237-0_3.

View | DOI

2009 | Published | Conference Paper | IST-REx-ID: 4375

Lahiri, Shuvendu, et al. “Intra-Module Inference.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 493–508, doi:10.1007/978-3-642-02658-4_37.

View | DOI

2009 | Published | Journal Article | IST-REx-ID: 3768

Kupczok, Anne, and Arndt Von Haeseler. “Comment on ‘A Congruence Index for Testing Topological Similarity between Trees.’” Bioinformatics, vol. 25, no. 1, Oxford University Press, 2009, pp. 147–49, doi:10.1093/bioinformatics/btn539.

View | DOI

2009 | Published | Thesis | IST-REx-ID: 4232

de Vladar, Harold. Stochasticity and Variability in the Dynamics and Genetics of Populations. Faculty of mathematical and natural sciences, University of Groningen, 2009.

View

2009 | Published | Conference Paper | IST-REx-ID: 3711 |

Dhillon, Paramveer, et al. Combining Appearance and Motion for Human Action Classification in Videos. IEEE, 2009, pp. 22–29, doi:10.1109/CVPRW.2009.5204237.

View | DOI | Download None (ext.)

2009 | Published | Conference Paper | IST-REx-ID: 4403 |

Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2009 | Published | Conference Paper | IST-REx-ID: 3841 |

Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.

[Submitted Version] View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 4535

Didier, Frédéric, et al. Approximation of Event Probabilities in Noisy Cellular Processes. Vol. 5688, Springer, 2009, pp. 173–88, doi:10.1007/978-3-642-03845-7_12.

View | Files available | DOI

2009 | Published | Conference Paper | IST-REx-ID: 4540

Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.

View | Files available | DOI

2009 | Published | Journal Article | IST-REx-ID: 3870 |

Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.