Evaluation of prefractionation methods as a preparatory step for multidimensional based chromatography of serum proteins
- Eilon Barnea
- Raya Sorkin
- et al.
- 2005
- Proteomics
Publications
20 results for Ilan Beer
Improving large-scale proteomics by clustering of mass spectrometry data
- Ilan Beer
- Eilon Barnea
- et al.
- 2004
- Proteomics
Large-scale analysis of HLA peptides presented by HLA-Cw4
- Samuel Buchsbaum
- Eilon Barnea
- et al.
- 2003
- Immunogenetics
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
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
Analysis of endogenous peptides bound by soluble MHC class I molecules: A novel approach for identifying tumor-specific antigens
- Eilon Barnea
- Ilan Beer
- et al.
- 2002
- European Journal of Immunology
Efficient detection of vacuity in temporal model checking
- Ilan Beer
- Shoham Ben-David
- et al.
- 2001
- Formal Methods in System Design
On the effective deployment of functional formal verification
- Yael Abarbanel-Vinov
- Neta Aizenbud-Reshef
- et al.
- 2001
- Formal Methods in System Design
RuleBase: An industry-oriented formal verification tool
- Ilan Beer
- Shoham Ben-David
- et al.
- 1996
- DAC 1996
Establishing PCI compliance using formal verification: A case study
- Ilan Beer
- Shoham Ben-David
- et al.
- 1995
- Phoenix IPCCC 1995