| The Unconstrained Diameters of the Duplication-Loss Cost and the Loss Cost | 0 | 0.34 | 2021 |
| Minimizing Genomic Duplication Episodes | 0 | 0.34 | 2020 |
| Learning signaling networks from combinatorial perturbations by exploiting siRNA off-target effects. | 0 | 0.34 | 2019 |
| Enhanceosome transcription factors preferentially dimerize with high mobility group proteins. | 0 | 0.34 | 2016 |
| Romulus: robust multi-state identification of transcription factor binding sites from DNase-seq data. | 3 | 0.41 | 2016 |
| eCAMBer: efficient support for large-scale comparative analysis of multiple bacterial strains. | 4 | 0.34 | 2014 |
| Unrooted Tree Reconciliation: A Unified Approach | 17 | 0.75 | 2013 |
| A probabilistic model of neutral and selective dynamics of protein network evolution. | 0 | 0.34 | 2013 |
| Inferring evolutionary scenarios in the duplication, loss and horizontal gene transfer model | 3 | 0.43 | 2012 |
| Bi-billboard: symmetrization and careful choice of informant species results in higher accuracy of regulatory element prediction. | 0 | 0.34 | 2011 |
| Deregulation upon DNA damage revealed by joint analysis of context-specific perturbation data. | 8 | 0.34 | 2011 |
| CAMBerVis: visualization software to support comparative analysis of multiple bacterial strains. | 1 | 0.36 | 2011 |
| MODEVO: exploring modularity and evolution of protein interaction networks. | 7 | 0.60 | 2010 |
| Introducing knowledge into differential expression analysis. | 2 | 0.38 | 2010 |
| CAMBer: an approach to support comparative analysis of multiple bacterial strains | 5 | 0.81 | 2010 |
| Finding evolutionarily conserved cis-regulatory modules with a universal set of motifs. | 24 | 0.78 | 2009 |
| Phylogeny-guided interaction mapping in seven eukaryotes. | 5 | 0.49 | 2009 |
| Identification of functional modules from conserved ancestral protein-protein interactions. | 36 | 1.88 | 2007 |
| URec: a system for unrooted reconciliation. | 11 | 0.63 | 2007 |
| Inferring phylogeny from whole genomes. | 17 | 1.02 | 2007 |
| Evolution of gene families based on gene duplication, loss, accumulated change, and innovation. | 2 | 0.52 | 2007 |
| A new approach to the assessment of the quality of predictions of transcription factor binding sites. | 2 | 0.42 | 2007 |
| Reconstruction of mammalian cell cycle regulatory network from microarray data using stochastic logical networks | 0 | 0.34 | 2007 |
| On genome evolution with accumulated change and innovation | 1 | 0.41 | 2006 |
| On genome evolution with innovation | 2 | 0.48 | 2006 |
| Using local gene expression similarities to discover regulatory binding site modules. | 27 | 0.56 | 2006 |
| Regulatory network reconstruction using stochastic logical networks | 2 | 0.38 | 2006 |
| Alignment with context dependent scoring function. | 2 | 0.45 | 2006 |
| Applying dynamic Bayesian networks to perturbed gene expression data. | 70 | 2.57 | 2006 |
| DLS-trees: a model of evolutionary scenarios | 60 | 2.19 | 2006 |
| Introducing dependencies into alignment analysis and its use for local structure prediction in proteins | 1 | 0.36 | 2005 |
| A Case Study of Genome Evolution: From Continuous to Discrete Time Model | 3 | 0.58 | 2004 |
| On the structure of reconciliations | 9 | 0.93 | 2004 |
| Substructural logic and partial correctness | 11 | 0.69 | 2003 |
| Type Inference for Nested Self Types | 0 | 0.34 | 2003 |
| Products and polymorphic subtypes | 1 | 0.36 | 2002 |
| Contextual alignment of biological sequences | 3 | 0.51 | 2002 |
| Intuitionistic Linear Logic and Partial Correctness | 1 | 0.39 | 2001 |
| On the Completeness of Propositional Hoare Logic | 11 | 0.92 | 2001 |
| Dynamic Logic | 559 | 49.10 | 2001 |
| Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings | 22 | 1.56 | 2000 |
| Discrimination by parallel observers: the algorithm | 7 | 0.52 | 1999 |
| Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types | 0 | 0.34 | 1999 |
| Discrimination by Parallel Observers | 7 | 0.59 | 1997 |
| Subtyping over a Lattice (Abstract) | 2 | 0.41 | 1997 |
| Untyped Lambda-Calculus with Input-Output | 5 | 0.43 | 1996 |
| Satisfiability of inequalities in a poset | 23 | 2.41 | 1996 |
| The subtyping problem for second-order types is undecidable | 21 | 1.07 | 1996 |
| A sequent calculus for subtyping polymorphic types | 5 | 0.55 | 1996 |
| Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers | 38 | 8.23 | 1995 |
