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.

9119 Publications


2007 | Journal Article | IST-REx-ID: 4234 | OA
de Vladar H, Pen I. 2007. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 373, 477–485.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Conference Paper | IST-REx-ID: 4233
de Vladar H. 2007. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 91–109.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. 2007. The relation between multilocus population genetics and social evolution theory. American Naturalist. 169(2), 207–226.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4246
Free A, Barton NH. 2007. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 22(11), 611–619.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. 2007. Algorithms for interface synthesis. CAV: Computer Aided Verification, LNCS, vol. 4590, 4–19.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4394
Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. 2007. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 4349, , 74–88.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, Distefano D, O’Hearn P, Wies T, Yang H. 2007. Shape Analysis for Composite Data Structures. CAV: Computer Aided Verification, LNCS 4590, , 178–192.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. 2007. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 1(4).
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. 2007. Model Checking on Trees with Path Equivalences. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, , 664–678.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.
View | DOI
 

Search

Filter Publications