Joseph A. Goguen

Affiliations: 
University of California, San Diego, La Jolla, CA 
Area:
Computer Science
Google:
"Joseph Goguen"

Children

Sign in to add trainee
Paulo Borba grad student 1991-1995 Oxford University, UK (Neurotree)
Grigore Rosu grad student 2000 UCSD
Kai Lin grad student 2003 UCSD
Guilian Wang grad student 2006 UCSD
BETA: Related publications

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
See more...