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