dblp.uni-trier.dewww.uni-trier.de

Joseph A. Goguen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2006
115EEGuija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang: Information Retrieval from Distributed Semistructured Documents Using Metadata Interface. KDXD 2006: 54-63
2005
114EEJoseph A. Goguen: What Is a Concept? ICCS 2005: 52-77
113EEJoseph A. Goguen: Three Perspectives on Information Integration. Semantic Interoperability and Integration 2005
112EEKokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata: Verifying Design with Proof Scores. VSTTE 2005: 277-290
111 Joseph A. Goguen, Kai Lin: Specifying, Programming and Verifying with Equational Logic. We Will Show Them! (2) 2005: 1-38
110EEJoseph A. Goguen: Data, Schema, Ontology and Logic Integration. Logic Journal of the IGPL 13(6): 685-715 (2005)
2004
109EEGuilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin: Critical Points for Interactive Schema Matching. APWeb 2004: 654-664
108EEJoseph A. Goguen, Grigore Rosu: Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl 2004: 96-123
2003
107EEYoung-Kwang Nam, Joseph A. Goguen, Guilian Wang: A Metadata Tool for Retrieval from Heterogeneous Distributed XML Documents. International Conference on Computational Science 2003: 1020-1029
106EEJoseph A. Goguen, Kai Lin: Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC 2003: 216-
2002
105EEYoung-Kwang Nam, Joseph A. Goguen, Guilian Wang: A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. CoopIS/DOA/ODBASE 2002: 1332-1344
104EERyoko Amadee Goguen, Joseph A. Goguen: Zero, Connected, Empty. WADT 2002: 118-126
103EEJoseph A. Goguen, Ryoko Amadee Goguen: Zero, Connected, Empty: An Essay after a Cantata. WADT 2002: 127-128
102EEJoseph A. Goguen, Kai Lin, Grigore Rosu: Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232
101EEJoseph A. Goguen, Grigore Rosu: Institution Morphisms. Formal Asp. Comput. 13(3-5): 274-307 (2002)
100EEJoseph A. Goguen, Grant Malcolm, Tom Kemp: A hidden Herbrand theorem: combining the object and logic paradigms. J. Log. Algebr. Program. 51(1): 1-41 (2002)
2001
99 Joseph A. Goguen, Kai Lin: Web-Based Support for Cooperative Software Engineering. Ann. Software Eng. 12(1): 167-191 (2001)
2000
98EEJoseph A. Goguen, Kai Lin, Grigore Rosu: Circular Coinductive Rewriting. ASE 2000: 123-132
97EEJoseph A. Goguen, Kai Lin: Web-based Multimedia Support for Distributed Cooperative Software Engineering*. ISMSE 2000: 25-32
96EEJoseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. Electr. Notes Theor. Comput. Sci. 36: (2000)
95EEGrigore Rosu, Joseph A. Goguen: On Equational Craig Interpolation. J. UCS 6(1): 194-200 (2000)
94EEJoseph A. Goguen, Grant Malcolm: A hidden agenda. Theor. Comput. Sci. 245(1): 55-101 (2000)
1999
93EEJoseph A. Goguen, Grigore Rosu: Hiding More of Hidden Algebra. World Congress on Formal Methods 1999: 1704-1719
92EEJoseph A. Goguen, Grigore Rosu: A protocol for distributed cooperative work. Electr. Notes Theor. Comput. Sci. 28: (1999)
91EEJoseph A. Goguen: Social and Semiotic Analyses for Theorem Prover User Interface Design 1. Formal Asp. Comput. 11(3): 272-301 (1999)
90 Joseph A. Goguen, Grant Malcolm: Hidden coinduction: behavioural correctness proofs for objects. Mathematical Structures in Computer Science 9(3): 287-319 (1999)
1998
89EEGrigore Rosu, Joseph A. Goguen: Hidden Congruent Deduction. FTP (LNCS Selection) 1998: 251-266
88EEJoseph A. Goguen, Grant Malcolm, Tom Kemp: A Hidden Herbrand Theorem. PLILP/ALP 1998: 445-462
1997
87EEJoseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato: Distributed Cooperative Formal Methods Tools. ASE 1997: 55-62
86  Luqi, Joseph A. Goguen: Formal Methods: Promises And Problems. IEEE Software 14(1): 73-85 (1997)
1996
85EEJoseph A. Goguen: Formality and Informality in Requirements Engineering. ICRE 1996: 102-109
84EEFrancisco A. C. Pinheiro, Joseph A. Goguen: An Object-Oriented Tool for Tracing Requirements. ICRE 1996: 219-220
83EEFrancisco A. C. Pinheiro, Joseph A. Goguen: An Object-Oriented Tool for Tracing Requirements. IEEE Software 13(2): 52-64 (1996)
82 Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins: Software Component Search. Journal of Systems Integration 6(1/2): 93-134 (1996)
1995
81 Joseph A. Goguen, Razvan Diaconescu: An Introduction to Category-based Equational Logic. AMAST 1995: 91-126
80EEJosé Barros, Joseph A. Goguen: Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. CSL 1995: 16-35
79EEJoseph A. Goguen, Luqi: Formal Methods and Social Context in Software Development. TAPSOFT 1995: 62-81
78 Joseph A. Goguen, Adolfo Socorro: Module Composition and System Design for the Object Paradigm. JOOP 7(9): 47-55 (1995)
1994
77EELutz H. Hamel, Joseph A. Goguen: Towards a Provably Correct Compiler for OBJ3. PLILP 1994: 132-146
76  Luqi, Joseph A. Goguen: Suggestions for progress in software analysis, synthesis and certification. SEKE 1994: 501-507
75 Joseph A. Goguen, Razvan Diaconescu: An Oxford Survey of Order Sorted Algebra. Mathematical Structures in Computer Science 4(3): 363-392 (1994)
1993
74 Joseph A. Goguen: Keynote: On Notation. TOOLS (10) 1993: 5-10
73 José Meseguer, Joseph A. Goguen: Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems Inf. Comput. 103(1): 114-158 (1993)
1992
72 Joseph A. Goguen, Razvan Diaconescu: Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT 1992: 1-29
71 Joseph A. Goguen: The Dry and the Wet. ISCO 1992: 1-17
70 Antonio J. Alencar, Joseph A. Goguen: OOZE. Object Orientation in Z 1992: 79-94
69 Victoria Stavridou, Joseph A. Goguen, A. Stevens, S. M. Eker, S. N. Aloneftis, K. M. Hobley: FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. TPCD 1992: 197-223
68 Joseph A. Goguen, Razvan Diaconescu: A short Oxford survey of order sorted algebra.. Bulletin of the EATCS 48: 121-133 (1992)
67EEJoseph A. Goguen, Rod M. Burstall: Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39(1): 95-146 (1992)
66 Joseph A. Goguen: Sheaf Semantics for Concurrent Interacting Objects. Mathematical Structures in Computer Science 2(2): 159-191 (1992)
65 Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theor. Comput. Sci. 100(2): 267-302 (1992)
64 Joseph A. Goguen, José Meseguer: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105(2): 217-273 (1992)
1991
63EEAntonio J. Alencar, Joseph A. Goguen: OOZE: An Object Oriented Z Environment. ECOOP 1991: 180-199
62 David A. Wolfram, Joseph A. Goguen: A Sheaf Semantics for FOOPS Expressions. Object-Based Concurrent Computing 1991: 81-98
61 Joseph A. Goguen: A Categorical Manifesto. Mathematical Structures in Computer Science 1(1): 49-67 (1991)
60 Andrzej Tarlecki, Rod M. Burstall, Joseph A. Goguen: Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories. Theor. Comput. Sci. 91(2): 239-264 (1991)
1990
59EEJoseph A. Goguen: Proving and Rewriting. ALP 1990: 1-24
58 Hitoshi Aida, Joseph A. Goguen, José Meseguer: Compiling Concurrent Rewriting onto the Rewrite Rule Machine. CTRS 1990: 320-332
57 Joseph A. Goguen, David A. Wolfram: On Types and FOOPS. DS-4 1990: 1-22
56EEHans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas: A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228
55EEJoseph A. Goguen: An Algebraic Approach to Refinement. VDM Europe 1990: 12-28
1989
54EEJoseph A. Goguen: Semantic Specifications for the Rewrite Rule Machine. Concurrency: Theory, Language, And Architecture 1989: 216-234
53 Joseph A. Goguen: Momories of ADJ. Bulletin of the EATCS 39: 96-102 (1989)
52 José Meseguer, Joseph A. Goguen: Order-Sorted Unification. J. Symb. Comput. 8(4): 383-413 (1989)
1988
51 Joseph A. Goguen, José Meseguer: Software for the Rewrite Rule Machine. FGCS 1988: 628-637
50 Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler: Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS 1988: 869-878
49 Joseph A. Goguen: Modular Algebraic Specification of Some Basic Geometrical Constructions. Artif. Intell. 37(1-3): 123-153 (1988)
1987
48 Joseph A. Goguen: Parameterization Pitfalls and Potentials. COMPCON 1987: 357
47 Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler: An Introduction to OBJ 3. CTRS 1987: 258-263
46 Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. Category Theory and Computer Science 1987: 158-181
45 Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada: Parameterized Programming in OBJ2. ICSE 1987: 51-60
44 Joseph A. Goguen, José Meseguer: Order-Sorted Algebra solves the Constructor-Selector, Multiple LICS 1987: 18-29
43EEJoseph A. Goguen, José Meseguer: Models and Equality for Logical Programming. TAPSOFT, Vol.1 1987: 1-22
42 Joseph A. Goguen, José Meseguer: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478
41 Joseph A. Goguen, José Meseguer: Remarks on Remarks on Many-Sorted Equational Logic. SIGPLAN Notices 22(4): 41-48 (1987)
1986
40 Joseph A. Goguen, Claude Kirchner, José Meseguer: Concurrent term rewriting as a model of computation. Graph Reduction 1986: 53-93
39 Joseph A. Goguen: One, None, A Hundred Thousand Specification Languages (Invited Paper). IFIP Congress 1986: 995-1004
38 Joseph A. Goguen, José Meseguer: EQLOG: Equality, Types, and Generic Modules For Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 295-363
37 Joseph A. Goguen, José Meseguer: Remarks on remarks on many-sorted algebras with possibly emtpay carrier sets. Bulletin of the EATCS 30: 66-73 (1986)
36 Joseph A. Goguen: Reusing and Interconneccting Software Components. IEEE Computer 19(2): 16-28 (1986)
1985
35 Joseph A. Goguen, Rod M. Burstall: A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. CTCS 1985: 313-333
34EEJoseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Operational Semantics for Order-Sorted Algebra. ICALP 1985: 221-231
33 Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. POPL 1985: 52-66
1984
32 Joseph A. Goguen, José Meseguer: Equality, Types, Modules and Generics for Logic Programming. ICLP 1984: 115-125
31 Joseph A. Goguen, José Meseguer: Unwinding and Inference Control. IEEE Symposium on Security and Privacy 1984: 75-87
30 Joseph A. Goguen: Parameterized Programming. IEEE Trans. Software Eng. 10(5): 528-544 (1984)
29 Joseph A. Goguen, José Meseguer: Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. J. Log. Program. 1(2): 179-210 (1984)
28 Joseph A. Goguen, Rod M. Burstall: Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. Theor. Comput. Sci. 31: 175-209 (1984)
27 Joseph A. Goguen, Rod M. Burstall: Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories. Theor. Comput. Sci. 31: 263-295 (1984)
1983
26 Joseph A. Goguen, Rod M. Burstall: Introducing Institutions. Logic of Programs 1983: 221-256
25 Joseph A. Goguen, J. L. Weiner, Charlotte Linde: Reasoning and Natural Explanation. International Journal of Man-Machine Studies 19(6): 521-559 (1983)
24 Joseph A. Goguen, José Meseguer: Correctness of Recursive Parallel Nondeterministic Flow Programs. J. Comput. Syst. Sci. 27(2): 268-290 (1983)
1982
23EEJoseph A. Goguen, José Meseguer: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. ICALP 1982: 265-281
22 Joseph A. Goguen, José Meseguer: Security Policies and Security Models. IEEE Symposium on Security and Privacy 1982: 11-20
21 Joseph A. Goguen, José Meseguer: Completeness of many-sorted equational logic. SIGPLAN Notices 17(1): 9-17 (1982)
1981
20 Joseph A. Goguen, Kamran Parsaye-Ghomi: Algebraic Denotational Semantics Using Parameterized Abstract Modules. ICFPC 1981: 292-309
19EEJørgen Staunstrup, Joseph A. Goguen: Geometrical Constructions. Program Specification 1981: 25-46
18 Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen: KWIC-index generation. Program Specification 1981: 47-117
1980
17EECharlotte Linde, Joseph A. Goguen: On the Independence of Discourse Structure and Semantic Domain. ACL 1980
16EEJoseph A. Goguen: How to Prove Algebraic Inductive Hypotheses Without Induction. CADE 1980: 356-373
1979
15 Rod M. Burstall, Joseph A. Goguen: The Semantics of CLEAR, A Specification Language. Abstract Software Specifications 1979: 292-332
1978
14 Joseph A. Goguen: Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs. Mathematical Studies of Information Processing 1978: 425-473
1977
13 Rod M. Burstall, Joseph A. Goguen: Putting Theories Together to Make Specifications. IJCAI 1977: 1045-1058
12EEJoseph A. Goguen, José Meseguer: Correctness of Recursive Flow Diagram Programs. MFCS 1977: 580-595
11EEJoseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Initial Algebra Semantics and Continuous Algebras. J. ACM 24(1): 68-95 (1977)
1976
10 Jesse B. Wright, James W. Thatcher, Eric G. Wagner, Joseph A. Goguen: Rational Algebraic Theories and Fixed-Point Solutions FOCS 1976: 147-158
9EEEric G. Wagner, Jesse B. Wright, Joseph A. Goguen, James W. Thatcher: Some Fundamentals of Order-Algebraic Semantics. MFCS 1976: 153-168
1975
8 Joseph A. Goguen: Discrete-Time Machines in Closed Monoidal Categories. I. J. Comput. Syst. Sci. 10(1): 1-43 (1975)
1974
7 Joseph A. Goguen: Semantics of computation. Category Theory Applied to Computation and Control 1974: 151-163
6 Joseph A. Goguen, James W. Thatcher: Initial Algebra Semantics FOCS 1974: 63-77
5EEJoseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Factorizations, Congruences, and the Decomposition of Automata and Systems. MFCS 1974: 33-45
4 Joseph A. Goguen: Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets. International Journal of Man-Machine Studies 6(5): 513-561 (1974)
3 Joseph A. Goguen: On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs. J. Comput. Syst. Sci. 8(3): 333-365 (1974)
1972
2 Joseph A. Goguen: On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes FOCS 1972: 52-60
1 Joseph A. Goguen: Realization is Universal. Mathematical Systems Theory 6(4): 359-374 (1972)

Coauthor Index

1Jean-Raymond Abrial [18]
2Hitoshi Aida [58]
3Antonio J. Alencar [63] [70]
4S. N. Aloneftis [69]
5José Barros [80]
6Valdis Berzins [82]
7Rod M. Burstall [13] [15] [26] [27] [28] [35] [60] [67]
8Guija Choe [115]
9Derek Coleman [18]
10Razvan Diaconescu [68] [72] [75] [81]
11Hans-Dieter Ehrich [56]
12Hartmut Ehrig [18]
13S. M. Eker [69]
14Kokichi Futatsugi [33] [45] [112]
15Robin M. Gallimore [18]
16Ryoko Amadee Goguen [103] [104]
17Lutz Hamel (Lutz H. Hamel) [77]
18K. M. Hobley [69]
19Jane W. Hughes [18]
20Jean-Pierre Jouannaud [33] [34]
21Tom Kemp [88] [100]
22Claude Kirchner [40] [47]
23Hélène Kirchner [47]
24Hans-Jörg Kreowski [18]
25Sany Leinwand [50]
26Kai Lin [87] [96] [97] [98] [99] [102] [106] [109] [111]
27Charlotte Linde [17] [25]
28 Luqi [76] [79] [82] [86]
29Grant Malcolm [88] [90] [94] [100]
30Aristide Mégrelis [47]
31José Meseguer [12] [21] [22] [23] [24] [29] [31] [32] [33] [34] [37] [38] [40] [41] [42] [43] [44] [45] [46] [47] [51] [52] [58] [64] [65] [73] [82]
32A. Mori [87]
33Lawrence S. Moss [46] [65]
34Young-Kwang Nam [105] [107] [109] [115]
35Doan Nguyen [82]
36Leif Sandegaard Nielsen [18]
37Kazuhiro Ogata [112]
38K. Okada [45]
39Kamran Parsaye-Ghomi [20]
40Francisco A. C. Pinheiro [83] [84]
41Malcolm S. Powell [18]
42Grigore Rosu [87] [89] [92] [93] [95] [96] [98] [101] [102] [108]
43A. Sato [87]
44Amílcar Sernadas [56]
45Adolfo Socorro [78]
46Ib Holm Sørensen [18]
47Jørgen Staunstrup [19]
48Victoria Stavridou [69]
49Jørgen Steensgaard-Madsen [18]
50A. Stevens [69]
51Andrzej Tarlecki [60]
52James W. Thatcher [5] [6] [9] [10] [11]
53Eric G. Wagner [5] [9] [10] [11]
54Guilian Wang [105] [107] [109] [115]
55J. L. Weiner [25]
56Timothy C. Winkler [47] [50]
57David A. Wolfram [57] [62]
58Jesse B. Wright [5] [9] [10] [11]
59Du Zhang [82]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)