Ann E. Kelley Sobel

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1998
Publication period end
2002
Number of co-authors
4

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Sobel, Ann E. Kelley, Linger, Richard C. (2002): Minitrack Introduction. In: HICSS 2002 , 2002, . pp. 275. http://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350275abs.htm

Hevner, Alan R., Linger, Richard C., Sobel, Ann E. Kelley, Walton, Gwendolyn H. (2002): The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. In: HICSS 2002 , 2002, . pp. 278. http://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350278babs.htm

Sobel, Ann E. Kelley, Linger, Richard C. (2001): Advances in Software Specification and Verification - Minitrack Introduction. In: HICSS 2001 , 2001, . http://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819067abs.htm

Sobel, Ann E. Kelley, Linger, Richard C. (2000): Advances in Software Specification and Verification - Introduction. In: HICSS 2000 , 2000, . http://csdl.computer.org/comp/proceedings/hicss/2000/0493/04/04934002abs.htm

Alves-Foss, Jim, Sobel, Ann E. Kelley (1999): Formal Methods and Industry - Introduction. In: HICSS 1999 , 1999, . http://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013048abs.htm

Sobel, Ann E. Kelley (1999): Security Analysis of Tramel. In: HICSS 1999 , 1999, . http://csdl.computer.org/comp/proceedings/hicss/1999/0001/03/00013063abs.htm

Sobel, Ann E. Kelley (1998): Formal Requirements Specification Analysis of Attitude Control of the International Space . In: HICSS 1998 , 1998, . pp. 348-355. http://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390348abs.htm