I agree that this site is using cookies. You can find further informations here.
X
Goguen, Joseph
53  results:
Search for persons X
?
1

Query generation for retrieving data from distributed semis..:

Choe, Guija ; Nam, Young-Kwang ; Goguen, Joseph.
Computer Languages, Systems & Structures.  35 (2009)  4 - p. 422-434 , 2009
Link: https://doi.org/10.1016/..
 
?
2

Data, Schema, Ontology and Logic Integration:

Goguen, Joseph A.
Logic Journal of the IGPL.  13 (2005)  6 - p. 685-715 , 2005
Link: https://doi.org/10.1093/..
 
?
3

Institution Morphisms:

Goguen, Joseph ; Roşu, Grigore
Formal Aspects of Computing.  13 (2002)  3-5 - p. 274-307 , 2002
Link: https://doi.org/10.1007/..
 
?
4

A hidden Herbrand theorem: combining the object and logic p..:

Goguen, Joseph ; Malcolm, Grant ; Kemp, Tom
The Journal of Logic and Algebraic Programming.  51 (2002)  1 - p. 1-41 , 2002
Link: https://doi.org/10.1016/..
 
?
5

An Overview of the Tatami Project*:

, In: CAFE: An Industrial-Strength Algebraic Formal Method,
Goguen, Joseph ; Lin, Kai ; Roşu, Grigore.. - p. 61-78 , 2000
Link: https://doi.org/10.1016/..
 
?
6

Hidden algebra and concurrent distributed software:

Goguen, Joseph
ACM SIGSOFT Software Engineering Notes.  25 (2000)  1 - p. 51-52 , 2000
Link: https://dl.acm.org/doi/1..
 
?
7

A protocol for distributed cooperative work:

Goguen, Joseph ; Rosu, Grigore
Electronic Notes in Theoretical Computer Science.  28 (2000)  - p. 3 , 2000
Link: https://doi.org/10.1016/..
 
?
8

A hidden agenda:

Goguen, Joseph ; Malcolm, Grant
Theoretical Computer Science.  245 (2000)  1 - p. 55-101 , 2000
Link: https://doi.org/10.1016/..
 
?
9

Behavioral and Coinductive Rewriting (invited talk):

Goguen, Joseph ; Lin, Kai ; Roşu, Grigore
Electronic Notes in Theoretical Computer Science.  36 (2000)  - p. 2-23 , 2000
Link: https://doi.org/10.1016/..
 
?
10

Hidden coinduction: behavioural correctness proofs for obje..:

GOGUEN, JOSEPH A. ; MALCOLM, GRANT
Mathematical Structures in Computer Science.  9 (1999)  3 - p. 287-319 , 1999
Link: https://doi.org/10.1017/..
 
?
11

Social and Semiotic Analyses for Theorem Prover User Interf..:

Goguen, Joseph
Formal Aspects of Computing.  11 (1999)  3 - p. 272-301 , 1999
Link: https://doi.org/10.1007/..
 
?
12

Software component search:

Goguen, Joseph ; Nguyen, Doan ; Meseguer, José...
Journal of Systems Integration.  6 (1996)  1-2 - p. 93-134 , 1996
Link: https://doi.org/10.1007/..
 
?
13

Institutions: abstract model theory for specification and p..:

Goguen, Joseph A. ; Burstall, Rod M.
Journal of the ACM.  39 (1992)  1 - p. 95-146 , 1992
Link: https://doi.org/10.1145/..
 
?
14

Final algebras, cosemicomputable algebras and degrees of un..:

Moss, Lawrence S. ; Meseguer, José ; Goguen, Joseph A.
Theoretical Computer Science.  100 (1992)  2 - p. 267-302 , 1992
Link: https://doi.org/10.1016/..
 
?
15

2OBJ: A Metalogical Framework Theorem Prover Based on Equat..:

Goguen, Joseph ; Stevens, Andrew ; Hilberdink, Hendrik...
Philosophical Transactions: Physical Sciences and Engineering.  339 (1992)  1652 - p. 69-86 , 1992
Link: https://www.jstor.org/st..
 
1-15