http://www.bibsonomy.org/author/Sobel BibSonomy RSS Feed for /author/Sobel dblp http://www.bibsonomy.org/bibtex/2c93c85ed3036af06e71e4ad8dccf1ed3/dblp dblp 2008-11-07T00:00:00+01:00 dblp Kelley Sobel, Ann E. & Soundararajan, Neelam (1985). A Proof System for Distributed Processes.. In Parikh, Rohit (eds.), Logic of Programs (pp. 343-358). Springer. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2197d4717acc8b63d3ef75f616ea86fd7/dblp dblp 2008-11-07T00:00:00+01:00 dblp Kelley Sobel, Ann E. & Soundararajan, Neelam (1988). A Proof System for Distributed Processes.. Acta Inf.: 25. (pp. 305-332). [BibSonomy: dblp] URL ]]> CCNLab BibTeX http://www.bibsonomy.org/bibtex/2829a6e574f9d414c5ccca55eadd3f217/brian.mingus brian.mingus 2008-09-16T23:39:07+02:00 pfc Anderson, A. K. & Christoff, K. & Stappen, I. & Panitz, D. & Ghahremani, D. G. & Glover, G. & Gabrieli, J. D. & Sobel, N. (2003). Dissociated neural representations of intensity and valence in human olfaction.. Nature Neuroscience: 6. (pp. 196-202). [BibSonomy: pfc] ]]> Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'" http://www.bibsonomy.org/bibtex/212c73d1633cf237ee8b4722e56124114/gron gron 2008-08-28T22:24:53+02:00 Me:MastersThesis RelatedWork empirical Kelley Sobel, Ann E. & Clarkson, Michael R. (2003). Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". IEEE Transactions on Software Engineering: 29. (pp. 572-575). Los Alamitos, CA, USA: IEEE Computer Society. [BibSonomy: Me:MastersThesis RelatedWork empirical] ]]> Formal Methods Application: An Empirical Tale of Software Development http://www.bibsonomy.org/bibtex/29604c587e5f63f368fc867b1f6d78d34/gron gron 2008-08-28T22:21:02+02:00 Me:MastersThesis RelatedWork empirical Kelley Sobel, Ann E. & Clarkson, Michael R. (2002). Formal Methods Application: An Empirical Tale of Software Development. IEEE Transactions on Software Engineering: 28. (pp. 308-320). Los Alamitos, CA, USA: IEEE Computer Society. [BibSonomy: Me:MastersThesis RelatedWork empirical] ]]> dblp http://www.bibsonomy.org/bibtex/2db222b6d77c9c1ae4bb7b18fa6ccfa8c/dblp dblp 2008-08-15T00:00:00+02:00 dblp Gay, Spencer B. & Sobel, Amy H. & Young, Linda Q. & Dwyer III, Samuel J. (2002). Processes Involved in Reading Imaging Studies: Workflow Analysis and Implications for Workstation Development.. J. Digital Imaging: 15. (pp. 171-177). [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2bc52b11028b9454327775ea537d9596f/dblp dblp 2008-06-14T00:00:00+02:00 dblp Hu, Qiaohai (Joice) & Sobel, Matthew J. (2007). Echelon base-stock policies are financially sub-optimal.. Oper. Res. Lett.: 35. (pp. 561-566). [BibSonomy: dblp] URL ]]> imported http://www.bibsonomy.org/bibtex/28f1505e0c05368adabd0e221931be08e/fbw fbw 2008-05-29T13:01:59+02:00 imported Gwartney, {James D.} & Stroup, {Richard L.} & Sobel, {Russell S.} & Macpherson, {David A.} (2006). Economics : private and public choice. Thomson/South Western: [BibSonomy: imported] URL ]]> http://www.bibsonomy.org/bibtex/2cf990556ad31a1e67a1aaca368a660a1/smicha smicha 2008-05-03T12:28:20+02:00 imported Sobel, Joel (2000). A Model of Declining Standards. International Economic Review: 41. (pp. 295--303). [BibSonomy: imported] URL ]]> http://www.bibsonomy.org/bibtex/2a72c79c352211e912fe019185ace5c7a/smicha smicha 2008-04-28T13:05:01+02:00 imported S{\'a}nchez, Isabel & Sobel, Joel (1993). Hierarchical design and enforcement of income tax policies. Journal of Public Economics: 50. (pp. 345--369). [BibSonomy: imported] URL ]]>