RuleBase: An industry-oriented formal verification tool
- Ilan Beer
- Shoham Ben-David
- et al.
- 1996
- DAC 1996
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
20 results for Ilan Beer
Diversity of Natural Self-Derived Ligands Presented by Different HLA Class I Molecules in Transporter Antigen Processing-Deficient Cells
- Elena Lorente
- Susana Infantes
- et al.
- 2013
- PLoS ONE
Soluble plasma HLA peptidome as a potential source for cancer biomarkers
- Michal Bassani-Sternberg
- Eilon Barnea
- et al.
- 2010
- PNAS
Facilitating timing debug by logic path correspondence
- Oshri Adler
- Eli Arbel
- et al.
- 2014
- DATE 2014
Large scale identification of HLA class I peptides from human cancer cells
- Eilon Barnea
- Ilan Beer
- et al.
- 2002
- ASMS Conference on Mass Spectrometry and Allied Topics 2002
Clustering of liquid chromatography tandem mass-spectrometry data for large scale peptide analysis
- Ilan Beer
- Eilon Barnea
- et al.
- 2002
- ASMS Conference on Mass Spectrometry and Allied Topics 2002
Establishing PCI compliance using formal verification: A case study
- Ilan Beer
- Shoham Ben-David
- et al.
- 1995
- Phoenix IPCCC 1995
Natural HLA-B*2705 protein ligands with glutamine as anchor motif: Implications for HLA-B27 association with spondyloarthropathy
- Susana Infantes
- Elena Lorente
- et al.
- 2013
- Journal of Biological Chemistry
The effect of proteasome inhibition on the generation of the human leukocyte antigen (HLA) peptidome
- Elena Milner
- Lilach Gutter-Kapon
- et al.
- 2013
- Molecular and Cellular Proteomics
Explaining counterexamples using causality
- Ilan Beer
- Shoham Ben-David
- et al.
- 2011
- Formal Methods in System Design