Joseph A. Goguen
Affiliations: | University of California, San Diego, La Jolla, CA |
Area:
Computer ScienceGoogle:
"Joseph Goguen"Children
Sign in to add trainee| Paulo Borba | grad student | 1991-1995 | Oxford (Neurotree) |
| Grigore Rosu | grad student | 2000 | UCSD |
| Kai Lin | grad student | 2003 | UCSD |
| Guilian Wang | grad student | 2006 | UCSD |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Choe G, Nam Y, Goguen J, et al. (2009) Query generation for retrieving data from distributed semistructured documents using a metadata interface Computer Languages, Systems & Structures. 35: 422-434 |
| Choe G, Nam Y, Goguen J, et al. (2006) Information retrieval from distributed semistructured documents using metadata interface Lecture Notes in Computer Science. 54-63 |
| Goguen JA, Rosu G. (2004) Composing Hidden Information Modules over Inclusive Institutions Lecture Notes in Computer Science. 2635: 96-123 |
| Goguen J, Malcolm G, Kemp T. (2002) A hidden Herbrand theorem: Combining the object and logic paradigms Journal of Logic and Algebraic Programming. 51: 1-41 |
| Goguen JA, Lin K. (2001) Web-Based Support for Cooperative Software Engineering Annals of Software Engineering. 12: 167-191 |
| Goguen J. (2000) Hidden algebra and concurrent distributed software Acm Sigsoft Software Engineering Notes. 25: 51-52 |
| Goguen J, Rosu G. (2000) A protocol for distributed cooperative work Electronic Notes in Theoretical Computer Science. 28: 3 |
| Goguen J, Malcolm G. (2000) A hidden agenda Theoretical Computer Science. 245: 55-101 |
| Goguen JA, Malcolm G. (1999) Hidden coinduction: behavioural correctness proofs for objects Mathematical Structures in Computer Science. 9: 287-319 |
| Goguen JA. (1999) Social and Semiotic Analyses for Theorem Prover User Interface Design 1 Formal Aspects of Computing. 11: 272-301 |