Evaluation of prefractionation methods as a preparatory step for multidimensional based chromatography of serum proteins
- Eilon Barnea
- Raya Sorkin
- et al.
- 2005
- Proteomics
Paper
Publications
20 results for Ilan Beer
Improving large-scale proteomics by clustering of mass spectrometry data
- Ilan Beer
- Eilon Barnea
- et al.
- 2004
- Proteomics
PaperLarge-scale analysis of HLA peptides presented by HLA-Cw4
- Samuel Buchsbaum
- Eilon Barnea
- et al.
- 2003
- Immunogenetics
PaperClustering 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
Conference paperLarge 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
Conference paperAnalysis 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
PaperEfficient detection of vacuity in temporal model checking
- Ilan Beer
- Shoham Ben-David
- et al.
- 2001
- Formal Methods in System Design
PaperOn the effective deployment of functional formal verification
- Yael Abarbanel-Vinov
- Neta Aizenbud-Reshef
- et al.
- 2001
- Formal Methods in System Design
PaperRuleBase: An industry-oriented formal verification tool
- Ilan Beer
- Shoham Ben-David
- et al.
- 1996
- DAC 1996
Conference paperEstablishing PCI compliance using formal verification: A case study
- Ilan Beer
- Shoham Ben-David
- et al.
- 1995
- Phoenix IPCCC 1995
Conference paper