2006 | ||
---|---|---|
115 | EE | Guija Choe, Young-Kwang Nam, Joseph A. Goguen, Guilian Wang: Information Retrieval from Distributed Semistructured Documents Using Metadata Interface. KDXD 2006: 54-63 |
2005 | ||
114 | EE | Joseph A. Goguen: What Is a Concept? ICCS 2005: 52-77 |
113 | EE | Joseph A. Goguen: Three Perspectives on Information Integration. Semantic Interoperability and Integration 2005 |
112 | EE | Kokichi 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 | |
110 | EE | Joseph A. Goguen: Data, Schema, Ontology and Logic Integration. Logic Journal of the IGPL 13(6): 685-715 (2005) |
2004 | ||
109 | EE | Guilian Wang, Joseph A. Goguen, Young-Kwang Nam, Kai Lin: Critical Points for Interactive Schema Matching. APWeb 2004: 654-664 |
108 | EE | Joseph A. Goguen, Grigore Rosu: Composing Hidden Information Modules over Inclusive Institutions. Essays in Memory of Ole-Johan Dahl 2004: 96-123 |
2003 | ||
107 | EE | Young-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 |
106 | EE | Joseph A. Goguen, Kai Lin: Behavioral Verification of Distributed Concurrent Systems with BOBJ. QSIC 2003: 216- |
2002 | ||
105 | EE | Young-Kwang Nam, Joseph A. Goguen, Guilian Wang: A Metadata Integration Assistant Generator for Heterogeneous Distributed Databases. CoopIS/DOA/ODBASE 2002: 1332-1344 |
104 | EE | Ryoko Amadee Goguen, Joseph A. Goguen: Zero, Connected, Empty. WADT 2002: 118-126 |
103 | EE | Joseph A. Goguen, Ryoko Amadee Goguen: Zero, Connected, Empty: An Essay after a Cantata. WADT 2002: 127-128 |
102 | EE | Joseph A. Goguen, Kai Lin, Grigore Rosu: Conditional Circular Coinductive Rewriting with Case Analysis. WADT 2002: 216-232 |
101 | EE | Joseph A. Goguen, Grigore Rosu: Institution Morphisms. Formal Asp. Comput. 13(3-5): 274-307 (2002) |
100 | EE | Joseph 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 | ||
98 | EE | Joseph A. Goguen, Kai Lin, Grigore Rosu: Circular Coinductive Rewriting. ASE 2000: 123-132 |
97 | EE | Joseph A. Goguen, Kai Lin: Web-based Multimedia Support for Distributed Cooperative Software Engineering*. ISMSE 2000: 25-32 |
96 | EE | Joseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. Electr. Notes Theor. Comput. Sci. 36: (2000) |
95 | EE | Grigore Rosu, Joseph A. Goguen: On Equational Craig Interpolation. J. UCS 6(1): 194-200 (2000) |
94 | EE | Joseph A. Goguen, Grant Malcolm: A hidden agenda. Theor. Comput. Sci. 245(1): 55-101 (2000) |
1999 | ||
93 | EE | Joseph A. Goguen, Grigore Rosu: Hiding More of Hidden Algebra. World Congress on Formal Methods 1999: 1704-1719 |
92 | EE | Joseph A. Goguen, Grigore Rosu: A protocol for distributed cooperative work. Electr. Notes Theor. Comput. Sci. 28: (1999) |
91 | EE | Joseph 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 | ||
89 | EE | Grigore Rosu, Joseph A. Goguen: Hidden Congruent Deduction. FTP (LNCS Selection) 1998: 251-266 |
88 | EE | Joseph A. Goguen, Grant Malcolm, Tom Kemp: A Hidden Herbrand Theorem. PLILP/ALP 1998: 445-462 |
1997 | ||
87 | EE | Joseph 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 | ||
85 | EE | Joseph A. Goguen: Formality and Informality in Requirements Engineering. ICRE 1996: 102-109 |
84 | EE | Francisco A. C. Pinheiro, Joseph A. Goguen: An Object-Oriented Tool for Tracing Requirements. ICRE 1996: 219-220 |
83 | EE | Francisco 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 | |
80 | José Barros, Joseph A. Goguen: Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. CSL 1995: 16-35 | |
79 | Joseph 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 | ||
77 | Lutz 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) | |
67 | EE | Joseph 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 | ||
63 | EE | Antonio 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 | ||
59 | Joseph 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 | |
56 | Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas: A Categorial Theory of Objects as Observed Processes. REX Workshop 1990: 203-228 | |
55 | Joseph A. Goguen: An Algebraic Approach to Refinement. VDM Europe 1990: 12-28 | |
1989 | ||
54 | Joseph 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 | |
43 | Joseph 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 | |
34 | Joseph 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 | ||
23 | Joseph 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 | |
19 | Jø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 | ||
17 | EE | Charlotte Linde, Joseph A. Goguen: On the Independence of Discourse Structure and Semantic Domain. ACL 1980 |
16 | Joseph 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 | |
12 | Joseph A. Goguen, José Meseguer: Correctness of Recursive Flow Diagram Programs. MFCS 1977: 580-595 | |
11 | EE | Joseph 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 | |
9 | Eric 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 | |
5 | Joseph 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) |