RuleBase: An industry-oriented formal verification tool
- Ilan Beer
- Shoham Ben-David
- et al.
- 1996
- DAC 1996
Publications
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