default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Joseph A. Goguen
@article{DBLP:journals/corr/abs-2101-02690,
author = {Joseph A. Goguen},
title = {Theorem Proving and Algebra},
journal = {CoRR},
volume = {abs/2101.02690},
year = {2021},
url = {https://arxiv.org/abs/2101.02690},
eprinttype = {arXiv},
eprint = {2101.02690},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-02690.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GoguenH10,
author = {Joseph A. Goguen and
D. Fox Harrell},
editor = {Shlomo Argamon and
Kevin Burns and
Shlomo Dubnov},
title = {Style: {A} Computational and Conceptual Blending-Based Approach},
booktitle = {The Structure of Style - Algorithmic Approaches to Understanding Manner
and Meaning},
pages = {291--316},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12337-5\_12},
doi = {10.1007/978-3-642-12337-5\_12},
timestamp = {Tue, 21 Mar 2023 20:50:53 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/GoguenH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ChoeNGW09,
author = {Guija Choe and
Young{-}Kwang Nam and
Joseph A. Goguen and
Guilian Wang},
title = {Query generation for retrieving data from distributed semistructured
documents using a metadata interface},
journal = {Comput. Lang. Syst. Struct.},
volume = {35},
number = {4},
pages = {422--434},
year = {2009},
url = {https://doi.org/10.1016/j.cl.2008.09.002},
doi = {10.1016/J.CL.2008.09.002},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/ChoeNGW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/GoguenMPRS07,
author = {Joseph A. Goguen and
Till Mossakowski and
Valeria de Paiva and
Florian Rabe and
Lutz Schr{\"{o}}der},
title = {An Institutional View on Categorical Logic},
journal = {Int. J. Softw. Informatics},
volume = {1},
number = {1},
pages = {129--152},
year = {2007},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=2007129},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijsi/GoguenMPRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdxd/ChoeNGW06,
author = {Guija Choe and
Young{-}Kwang Nam and
Joseph A. Goguen and
Guilian Wang},
editor = {Richi Nayak and
Mohammed Javeed Zaki},
title = {Information Retrieval from Distributed Semistructured Documents Using
Metadata Interface},
booktitle = {Knowledge Discovery from {XML} Documents, First International Workshop,
{KDXD} 2006, Singapore, April 9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3915},
pages = {54--63},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730262\_8},
doi = {10.1007/11730262\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/kdxd/ChoeNGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Goguen05,
author = {Joseph A. Goguen},
title = {Data, Schema, Ontology and Logic Integration},
journal = {Log. J. {IGPL}},
volume = {13},
number = {6},
pages = {685--715},
year = {2005},
url = {https://doi.org/10.1093/jigpal/jzi050},
doi = {10.1093/JIGPAL/JZI050},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Goguen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GoguenL05,
author = {Joseph A. Goguen and
Kai Lin},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Specifying, Programming and Verifying with Equational Logic},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {1--38},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GoguenL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/Goguen05,
author = {Joseph A. Goguen},
editor = {Frithjof Dau and
Marie{-}Laure Mugnier and
Gerd Stumme},
title = {What Is a Concept?},
booktitle = {Conceptual Structures: Common Semantics for Sharing Knowledge, 13th
International Conference on Conceptual Structures, {ICCS} 2005, Kassel,
Germany, July 17-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3596},
pages = {52--77},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11524564\_4},
doi = {10.1007/11524564\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/Goguen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FutatsugiGO05,
author = {Kokichi Futatsugi and
Joseph A. Goguen and
Kazuhiro Ogata},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Verifying Design with Proof Scores},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {277--290},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_30},
doi = {10.1007/978-3-540-69149-5\_30},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/FutatsugiGO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Goguen05,
author = {Joseph A. Goguen},
editor = {Yannis Kalfoglou and
W. Marco Schorlemmer and
Amit P. Sheth and
Steffen Staab and
Michael Uschold},
title = {Three Perspectives on Information Integration},
booktitle = {Semantic Interoperability and Integration},
series = {Dagstuhl Seminar Proceedings},
volume = {04391},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/38},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Goguen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/GoguenH04,
author = {Joseph A. Goguen and
D. Fox Harrell},
title = {Style as a Choice of Blending Principles},
booktitle = {Style and Meaning in Language, Art, Music, and Design, Papers from
the 2004 {AAAI} Fall Symposium. Arlington, VA, USA, October 22-24,
2004},
volume = {{FS-04-07}},
pages = {49--56},
publisher = {{AAAI} Press},
year = {2004},
url = {https://www.aaai.org/Library/Symposia/Fall/2004/fs04-07-008.php},
timestamp = {Fri, 04 Sep 2020 13:38:34 +0200},
biburl = {https://dblp.org/rec/conf/aaaifs/GoguenH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apweb/WangGNL04,
author = {Guilian Wang and
Joseph A. Goguen and
Young{-}Kwang Nam and
Kai Lin},
editor = {Jeffrey Xu Yu and
Xuemin Lin and
Hongjun Lu and
Yanchun Zhang},
title = {Critical Points for Interactive Schema Matching},
booktitle = {Advanced Web Technologies and Applications, 6th Asia-Pacific Web Conference,
APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3007},
pages = {654--664},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24655-8\_71},
doi = {10.1007/978-3-540-24655-8\_71},
timestamp = {Mon, 16 Mar 2020 17:44:09 +0100},
biburl = {https://dblp.org/rec/conf/apweb/WangGNL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GoguenR04,
author = {Joseph A. Goguen and
Grigore Rosu},
editor = {Olaf Owe and
Stein Krogdahl and
Tom Lyche},
title = {Composing Hidden Information Modules over Inclusive Institutions},
booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
Dahl},
series = {Lecture Notes in Computer Science},
volume = {2635},
pages = {96--123},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-39993-3\_7},
doi = {10.1007/978-3-540-39993-3\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GoguenR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/NamGW03,
author = {Young{-}Kwang Nam and
Joseph A. Goguen and
Guilian Wang},
editor = {Peter M. A. Sloot and
David Abramson and
Alexander V. Bogdanov and
Jack J. Dongarra and
Albert Y. Zomaya and
Yuri E. Gorbachev},
title = {A Metadata Tool for Retrieval from Heterogeneous Distributed {XML}
Documents},
booktitle = {Computational Science - {ICCS} 2003, International Conference, Melbourne,
Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {2660},
pages = {1020--1029},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44864-0\_106},
doi = {10.1007/3-540-44864-0\_106},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/iccS/NamGW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/GoguenL03,
author = {Joseph A. Goguen and
Kai Lin},
title = {Behavioral Verification of Distributed Concurrent Systems with {BOBJ}},
booktitle = {3rd International Conference on Quality Software {(QSIC} 2003), 6-7
November 2003, Dallas, TX, {USA}},
pages = {216},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/QSIC.2003.1319106},
doi = {10.1109/QSIC.2003.1319106},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/GoguenL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GoguenR02,
author = {Joseph A. Goguen and
Grigore Rosu},
title = {Institution Morphisms},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {274--307},
year = {2002},
url = {https://doi.org/10.1007/s001650200013},
doi = {10.1007/S001650200013},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GoguenR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GoguenMK02,
author = {Joseph A. Goguen and
Grant Malcolm and
Tom Kemp},
title = {A hidden Herbrand theorem: combining the object and logic paradigms},
journal = {J. Log. Algebraic Methods Program.},
volume = {51},
number = {1},
pages = {1--41},
year = {2002},
url = {https://doi.org/10.1016/S1567-8326(01)00011-X},
doi = {10.1016/S1567-8326(01)00011-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GoguenMK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/NamGW02,
author = {Young{-}Kwang Nam and
Joseph A. Goguen and
Guilian Wang},
editor = {Robert Meersman and
Zahir Tari},
title = {A Metadata Integration Assistant Generator for Heterogeneous Distributed
Databases},
booktitle = {On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE
2002 Confederated International Conferences DOA, CoopIS and {ODBASE}
2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2519},
pages = {1332--1344},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36124-3\_84},
doi = {10.1007/3-540-36124-3\_84},
timestamp = {Thu, 14 Oct 2021 10:25:23 +0200},
biburl = {https://dblp.org/rec/conf/coopis/NamGW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/GoguenG02,
author = {Ryoko Amadee Goguen and
Joseph A. Goguen},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {Zero, Connected, Empty},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {118--126},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_5},
doi = {10.1007/978-3-540-40020-2\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/GoguenG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/GoguenG02a,
author = {Joseph A. Goguen and
Ryoko Amadee Goguen},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {Zero, Connected, Empty: An Essay after a Cantata},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {127--128},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_6},
doi = {10.1007/978-3-540-40020-2\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/GoguenG02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/GoguenLR02,
author = {Joseph A. Goguen and
Kai Lin and
Grigore Rosu},
editor = {Martin Wirsing and
Dirk Pattinson and
Rolf Hennicker},
title = {Conditional Circular Coinductive Rewriting with Case Analysis},
booktitle = {Recent Trends in Algebraic Development Techniques, 16th International
Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2755},
pages = {216--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40020-2\_12},
doi = {10.1007/978-3-540-40020-2\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/GoguenLR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ansoft/GoguenL01,
author = {Joseph A. Goguen and
Kai Lin},
title = {Web-Based Support for Cooperative Software Engineering},
journal = {Ann. Softw. Eng.},
volume = {12},
number = {1},
pages = {167--191},
year = {2001},
url = {https://doi.org/10.1023/A:1013323127548},
doi = {10.1023/A:1013323127548},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ansoft/GoguenL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/RosuG00,
author = {Grigore Rosu and
Joseph A. Goguen},
title = {On Equational Craig Interpolation},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {1},
pages = {194--200},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-01-0194},
doi = {10.3217/JUCS-006-01-0194},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/RosuG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Goguen00,
author = {Joseph A. Goguen},
title = {Hidden algebra and concurrent distributed software},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {51--52},
year = {2000},
url = {https://doi.org/10.1145/340855.340889},
doi = {10.1145/340855.340889},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Goguen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoguenM00,
author = {Joseph A. Goguen and
Grant Malcolm},
title = {A hidden agenda},
journal = {Theor. Comput. Sci.},
volume = {245},
number = {1},
pages = {55--101},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00275-3},
doi = {10.1016/S0304-3975(99)00275-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoguenM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GoguenLR00,
author = {Joseph A. Goguen and
Kai Lin and
Grigore Rosu},
title = {Circular Coinductive Rewriting},
booktitle = {The Fifteenth {IEEE} International Conference on Automated Software
Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ASE.2000.873657},
doi = {10.1109/ASE.2000.873657},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GoguenLR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mse/GoguenL00,
author = {Joseph A. Goguen and
Kai Lin},
title = {Web-based Multimedia Support for Distributed Cooperative Software
Engineering},
booktitle = {2000 International Symposium on Multimedia Software Engineering, {ISMSE}
2000, Taipei, Taiwan, December 11-13, 2000},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/MMSE.2000.897186},
doi = {10.1109/MMSE.2000.897186},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mse/GoguenL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoguenLR00,
author = {Joseph A. Goguen and
Kai Lin and
Grigore Rosu},
editor = {Kokichi Futatsugi},
title = {Behavioral and Coinductive Rewriting},
booktitle = {The 3rd International Workshop on Rewriting Logic and its Applications,
{WRLA} 2000, Kanzawa, Japan, September 18-20, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {36},
pages = {2--23},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80128-8},
doi = {10.1016/S1571-0661(05)80128-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoguenLR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Goguen99,
author = {Joseph A. Goguen},
title = {Social and Semiotic Analyses for Theorem Prover User Interface Design
1},
journal = {Formal Aspects Comput.},
volume = {11},
number = {3},
pages = {272--301},
year = {1999},
url = {https://doi.org/10.1007/s001650050051},
doi = {10.1007/S001650050051},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Goguen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GoguenM99,
author = {Joseph A. Goguen and
Grant Malcolm},
title = {Hidden coinduction: behavioural correctness proofs for objects},
journal = {Math. Struct. Comput. Sci.},
volume = {9},
number = {3},
pages = {287--319},
year = {1999},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44821},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GoguenM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GoguenR99,
author = {Joseph A. Goguen and
Grigore Rosu},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Hiding More of Hidden Algebra},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1704--1719},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_40},
doi = {10.1007/3-540-48118-4\_40},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/GoguenR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoguenR99,
author = {Joseph A. Goguen and
Grigore Rosu},
editor = {Gheorghe Stefanescu},
title = {A protocol for distributed cooperative work},
booktitle = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {28},
pages = {3},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80625-5},
doi = {10.1016/S1571-0661(05)80625-5},
timestamp = {Wed, 23 Nov 2022 16:22:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoguenR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/MalcolmG99,
author = {Grant Malcolm and
Joseph A. Goguen},
editor = {Ray Paton and
Irene Neilson},
title = {Signs and Representations: Semiotics for User Interface Design},
booktitle = {Visual Representations and Interpretations},
pages = {163--172},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0563-3\_17},
doi = {10.1007/978-1-4471-0563-3\_17},
timestamp = {Fri, 12 Jun 2020 13:58:34 +0200},
biburl = {https://dblp.org/rec/books/sp/99/MalcolmG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/RosuG98,
author = {Grigore Rosu and
Joseph A. Goguen},
editor = {Ricardo Caferra and
Gernot Salzer},
title = {Hidden Congruent Deduction},
booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1761},
pages = {251--266},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-46508-1\_17},
doi = {10.1007/3-540-46508-1\_17},
timestamp = {Mon, 05 Feb 2024 20:35:45 +0100},
biburl = {https://dblp.org/rec/conf/ftp/RosuG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/GoguenMK98,
author = {Joseph A. Goguen and
Grant Malcolm and
Tom Kemp},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {A Hidden Herbrand Theorem},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {445--462},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056632},
doi = {10.1007/BFB0056632},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/GoguenMK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LuqiG97,
author = {Luqi and
Joseph A. Goguen},
title = {Formal Methods: Promises And Problems},
journal = {{IEEE} Softw.},
volume = {14},
number = {1},
pages = {73--85},
year = {1997},
url = {https://doi.org/10.1109/52.566430},
doi = {10.1109/52.566430},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LuqiG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GoguenLMRS97,
author = {Joseph A. Goguen and
Kai Lin and
Akira Mori and
Grigore Rosu and
Akiyoshi Sato},
title = {Distributed Cooperative Formal Methods Tools},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632824},
doi = {10.1109/ASE.1997.632824},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GoguenLMRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0084874,
author = {Joseph A. Goguen and
Grant Malcolm},
title = {Algebraic semantics of imperative programs},
series = {Foundations of computing series},
publisher = {{MIT} Press},
year = {1996},
isbn = {978-0-262-07172-7},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0084874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsi/GoguenNMLZB96,
author = {Joseph A. Goguen and
Doan Nguyen and
Jos{\'{e}} Meseguer and
Luqi and
Du Zhang and
Valdis Berzins},
title = {Software Component Search},
journal = {J. Syst. Integr.},
volume = {6},
number = {1/2},
pages = {93--134},
year = {1996},
url = {https://doi.org/10.1007/BF02262753},
doi = {10.1007/BF02262753},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsi/GoguenNMLZB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/PinheiroG96,
author = {Francisco A. C. Pinheiro and
Joseph A. Goguen},
title = {An Object-Oriented Tool for Tracing Requirements},
journal = {{IEEE} Softw.},
volume = {13},
number = {2},
pages = {52--64},
year = {1996},
url = {https://doi.org/10.1109/52.506462},
doi = {10.1109/52.506462},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/PinheiroG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/Goguen96,
author = {Joseph A. Goguen},
title = {Formality and Informality in Requirements Engineering},
booktitle = {Proceedings of the 2nd International Conference on Requirements Engineering,
{ICRE} '96, Colorado Springs, Colorado, USA, April 15-18, 1996},
pages = {102--109},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.ieeecomputersociety.org/10.1109/ICRE.1996.10005},
doi = {10.1109/ICRE.1996.10005},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/Goguen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/PinheiroG96,
author = {Francisco A. C. Pinheiro and
Joseph A. Goguen},
title = {An Object-Oriented Tool for Tracing Requirements},
booktitle = {Proceedings of the 2nd International Conference on Requirements Engineering,
{ICRE} '96, Colorado Springs, Colorado, USA, April 15-18, 1996},
pages = {219--220},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICRE.1996.491449},
doi = {10.1109/ICRE.1996.491449},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/PinheiroG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/Goguen96,
author = {Joseph A. Goguen},
editor = {Murali Sitaraman},
title = {Parameterized programming and software architecture},
booktitle = {Proceedings of Fourth {IEEE} International Conference on Software
Reuse, {ICSR} 1996, April 23-26, 1996, Orlando, Florida, {USA}},
pages = {2--10},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICSR.1996.496108},
doi = {10.1109/ICSR.1996.496108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/Goguen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/GoguenS95,
author = {Joseph A. Goguen and
Adolfo Socorro},
title = {Module Composition and System Design for the Object Paradigm},
journal = {J. Object Oriented Program.},
volume = {7},
number = {9},
pages = {47--55},
year = {1995},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/GoguenS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GoguenD95,
author = {Joseph A. Goguen and
Razvan Diaconescu},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {An Introduction to Category-based Equational Logic},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {91--126},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_48},
doi = {10.1007/3-540-60043-4\_48},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/GoguenD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BarrosG95,
author = {Jos{\'{e}} Barros and
Joseph A. Goguen},
editor = {Hans Kleine B{\"{u}}ning},
title = {Semantics of Non-terminating Rewrite Systems Using Minimal Coverings},
booktitle = {Computer Science Logic, 9th International Workshop, {CSL} '95, Annual
Conference of the EACSL, Paderborn, Germany, September 22-29, 1995,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1092},
pages = {16--35},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61377-3\_29},
doi = {10.1007/3-540-61377-3\_29},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BarrosG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GoguenL95,
author = {Joseph A. Goguen and
Luqi},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Formal Methods and Social Context in Software Development},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {62--81},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_187},
doi = {10.1007/3-540-59293-8\_187},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GoguenL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GoguenD94,
author = {Joseph A. Goguen and
Razvan Diaconescu},
title = {An Oxford Survey of Order Sorted Algebra},
journal = {Math. Struct. Comput. Sci.},
volume = {4},
number = {3},
pages = {363--392},
year = {1994},
url = {https://doi.org/10.1017/S0960129500000517},
doi = {10.1017/S0960129500000517},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GoguenD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HamelG94,
author = {Lutz H. Hamel and
Joseph A. Goguen},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Towards a Provably Correct Compiler for {OBJ3}},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {132--146},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_11},
doi = {10.1007/3-540-58402-1\_11},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/HamelG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LuqiG94,
author = {Luqi and
Joseph A. Goguen},
title = {Suggestions for progress in software analysis, synthesis and certification},
booktitle = {SEKE'94, The 6th International Conference on Software Engineering
and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia},
pages = {501--507},
publisher = {Knowledge Systems Institute},
year = {1994},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/seke/LuqiG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MeseguerG93,
author = {Jos{\'{e}} Meseguer and
Joseph A. Goguen},
title = {Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation,
and Coercion Problems},
journal = {Inf. Comput.},
volume = {103},
number = {1},
pages = {114--158},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1016},
doi = {10.1006/INCO.1993.1016},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MeseguerG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GoguenL93,
author = {Joseph A. Goguen and
Charlotte Linde},
title = {Techniques for requirements elicitation},
booktitle = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
{RE} 1993, San Diego, California, USA, January 4-6, 1993},
pages = {152--164},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISRE.1993.324822},
doi = {10.1109/ISRE.1993.324822},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/GoguenL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/Goguen93,
author = {Joseph A. Goguen},
title = {Social issues in requirements engineering},
booktitle = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
{RE} 1993, San Diego, California, USA, January 4-6, 1993},
pages = {194--195},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ISRE.1993.324858},
doi = {10.1109/ISRE.1993.324858},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/Goguen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Goguen93,
author = {Joseph A. Goguen},
editor = {Boris Magnusson and
Bertrand Meyer and
Jean{-}Fran{\c{c}}ois Perrot},
title = {Keynote: On Notation},
booktitle = {{TOOLS} 1993: 10th International Conference on Technology of Object-Oriented
Languages and Systems, Versailles, France, Europe},
pages = {5--10},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Goguen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/93/Goguen93,
author = {Joseph A. Goguen},
editor = {Peter Ryan and
Chris T. Sennett},
title = {Introduction},
booktitle = {Formal Methods in Systems Engineering},
pages = {1--10},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-1975-3\_1},
doi = {10.1007/978-1-4471-1975-3\_1},
timestamp = {Tue, 02 Jun 2020 17:03:16 +0200},
biburl = {https://dblp.org/rec/books/sp/93/Goguen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/Goguen93,
author = {Joseph A. Goguen},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Memories of {ADJ}},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {76--81},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0004},
doi = {10.1142/9789812794499\_0004},
timestamp = {Mon, 13 Mar 2017 16:29:04 +0100},
biburl = {https://dblp.org/rec/series/wsscs/Goguen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/GoguenD93,
author = {Joseph A. Goguen and
Razvan Diaconescu},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {A Short Oxford Survey of Order Sorted Algebra},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {209--222},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0016},
doi = {10.1142/9789812794499\_0016},
timestamp = {Mon, 13 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/wsscs/GoguenD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/GoguenD92,
author = {Joseph A. Goguen and
Razvan Diaconescu},
title = {A short Oxford survey of order sorted algebra.},
journal = {Bull. {EATCS}},
volume = {48},
pages = {121--133},
year = {1992},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/GoguenD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoguenB92,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Institutions: Abstract Model Theory for Specification and Programming},
journal = {J. {ACM}},
volume = {39},
number = {1},
pages = {95--146},
year = {1992},
url = {https://doi.org/10.1145/147508.147524},
doi = {10.1145/147508.147524},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GoguenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goguen92,
author = {Joseph A. Goguen},
title = {Sheaf Semantics for Concurrent Interacting Objects},
journal = {Math. Struct. Comput. Sci.},
volume = {2},
number = {2},
pages = {159--191},
year = {1992},
url = {https://doi.org/10.1017/S0960129500001420},
doi = {10.1017/S0960129500001420},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goguen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MossMG92,
author = {Lawrence S. Moss and
Jos{\'{e}} Meseguer and
Joseph A. Goguen},
title = {Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability},
journal = {Theor. Comput. Sci.},
volume = {100},
number = {2},
pages = {267--302},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90305-Y},
doi = {10.1016/0304-3975(92)90305-Y},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MossMG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoguenM92,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Order-Sorted Algebra {I:} Equational Deduction for Multiple Inheritance,
Overloading, Exceptions and Partial Operations},
journal = {Theor. Comput. Sci.},
volume = {105},
number = {2},
pages = {217--273},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90302-V},
doi = {10.1016/0304-3975(92)90302-V},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GoguenM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GoguenD92,
author = {Joseph A. Goguen and
Razvan Diaconescu},
editor = {Hartmut Ehrig},
title = {Towards an Algebraic Semantics for the Object Paradigm},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {1--29},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_1},
doi = {10.1007/3-540-57867-6\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/GoguenD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isco/Goguen92,
author = {Joseph A. Goguen},
editor = {Eckhard D. Falkenberg and
Colette Rolland and
El{-}Sayed Nasr{-}El{-}Dein El{-}Sayed},
title = {The Dry and the Wet},
booktitle = {Information System Concepts: Improving the Understanding, Proceedings
of the {IFIP} {TC8/WG8.1} Working Conference on Information System
Concepts: Improving the Understanding {(ISCO} 1992), Alexandria, Egypt,
13-15 April 1992},
series = {{IFIP} Transactions},
volume = {{A-4}},
pages = {1--17},
publisher = {North-Holland},
year = {1992},
timestamp = {Fri, 28 Apr 2017 10:39:48 +0200},
biburl = {https://dblp.org/rec/conf/isco/Goguen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/StavridouGSEAH92,
author = {Victoria Stavridou and
Joseph A. Goguen and
Andrew Stevens and
Steven M. Eker and
Serge N. Aloneftis and
Keith Michael Hobley},
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {{FUNNEL} and 2OBJ: Towards an Integrated Hardware Design Environment},
booktitle = {Theorem Provers in Circuit Design, Proceedings of the {IFIP} {TC10/WG}
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
series = {{IFIP} Transactions},
volume = {{A-10}},
pages = {197--223},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 07 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcd/StavridouGSEAH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/zum/AlencarG92,
author = {Antonio J. Alencar and
Joseph A. Goguen},
editor = {Susan Stepney and
Rosalind Barden and
David Cooper},
title = {{OOZE}},
booktitle = {Object Orientation in {Z}},
series = {Workshops in Computing},
pages = {79--94},
publisher = {Springer},
year = {1992},
timestamp = {Wed, 22 Nov 2017 13:50:40 +0100},
biburl = {https://dblp.org/rec/conf/zum/AlencarG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goguen91,
author = {Joseph A. Goguen},
title = {A Categorical Manifesto},
journal = {Math. Struct. Comput. Sci.},
volume = {1},
number = {1},
pages = {49--67},
year = {1991},
url = {https://doi.org/10.1017/S0960129500000050},
doi = {10.1017/S0960129500000050},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goguen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TarleckiBG91,
author = {Andrzej Tarlecki and
Rod M. Burstall and
Joseph A. Goguen},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation:
Part 3: Indexed Categories},
journal = {Theor. Comput. Sci.},
volume = {91},
number = {2},
pages = {239--264},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90085-G},
doi = {10.1016/0304-3975(91)90085-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TarleckiBG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AlencarG91,
author = {Antonio J. Alencar and
Joseph A. Goguen},
editor = {Pierre America},
title = {{OOZE:} An Object Oriented {Z} Environment},
booktitle = {ECOOP'91 European Conference on Object-Oriented Programming, Geneva,
Switzerland, July 15-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {512},
pages = {180--199},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0057022},
doi = {10.1007/BFB0057022},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AlencarG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/WolframG91,
author = {David A. Wolfram and
Joseph A. Goguen},
editor = {Mario Tokoro and
Oscar Nierstrasz and
Peter Wegner},
title = {A Sheaf Semantics for {FOOPS} Expressions},
booktitle = {Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland,
July 15-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {612},
pages = {81--98},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55613-3\_4},
doi = {10.1007/3-540-55613-3\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/WolframG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Goguen90,
author = {Joseph A. Goguen},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Proving and Rewriting},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {1--24},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_27},
doi = {10.1007/3-540-53162-9\_27},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/alp/Goguen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/AidaGM90,
author = {Hitoshi Aida and
Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {St{\'{e}}phane Kaplan and
Mitsuhiro Okada},
title = {Compiling Concurrent Rewriting onto the Rewrite Rule Machine},
booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {516},
pages = {320--332},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54317-1\_101},
doi = {10.1007/3-540-54317-1\_101},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/AidaGM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/GoguenW90,
author = {Joseph A. Goguen and
David A. Wolfram},
editor = {Robert Meersman and
William Kent and
Samit Khosla},
title = {On Types and {FOOPS}},
booktitle = {Object-Oriented Databases: Analysis, Design {\&} Construction
(DS-4), Proceedings of the {IFIP} {TC2/WG} 2.6 Working Conference
on Object-Oriented Databases: Analysis, Design {\&} Construction,
Windermere, UK, 2-6 July, 1990},
pages = {1--22},
publisher = {North-Holland},
year = {1990},
timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ds/GoguenW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Goguen90,
author = {Joseph A. Goguen},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {An Algebraic Approach to Refinement},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {12--28},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_2},
doi = {10.1007/3-540-52513-0\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Goguen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/EhrichGS90,
author = {Hans{-}Dieter Ehrich and
Joseph A. Goguen and
Am{\'{\i}}lcar Sernadas},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {A Categorial Theory of Objects as Observed Processes},
booktitle = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
The Netherlands, May 28 - June 1, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {489},
pages = {203--228},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0019445},
doi = {10.1007/BFB0019445},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/EhrichGS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Goguen89,
author = {Joseph A. Goguen},
title = {Momories of {ADJ}},
journal = {Bull. {EATCS}},
volume = {39},
pages = {96--102},
year = {1989},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Goguen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MeseguerG89,
author = {Jos{\'{e}} Meseguer and
Joseph A. Goguen},
title = {Order-Sorted Unification},
journal = {J. Symb. Comput.},
volume = {8},
number = {4},
pages = {383--413},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80036-7},
doi = {10.1016/S0747-7171(89)80036-7},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MeseguerG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Goguen89,
author = {Joseph A. Goguen},
editor = {Akinori Yonezawa and
Takayasu Ito},
title = {Semantic Specifications for the Rewrite Rule Machine},
booktitle = {Concurrency: Theory, Language, And Architecture, UK/Japan Workshop,
Oxford, UK, September 25-27, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {491},
pages = {216--234},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-53932-8\_53},
doi = {10.1007/3-540-53932-8\_53},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Goguen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Goguen88,
author = {Joseph A. Goguen},
title = {Modular Algebraic Specification of Some Basic Geometrical Constructions},
journal = {Artif. Intell.},
volume = {37},
number = {1-3},
pages = {123--153},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90052-5},
doi = {10.1016/0004-3702(88)90052-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Goguen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/GoguenM88,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Software for the Rewrite Rule Machine},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {628--637},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/GoguenM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/LeinwandGW88,
author = {Sany Leinwand and
Joseph A. Goguen and
Timothy C. Winkler},
title = {Cell and Ensemble Architecture for the Rewrite Rule Machine},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {869--878},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/LeinwandGW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/GoguenM87,
author = {Joseph A. Goguen and
Mark Moriconi},
title = {Formalization in Programming Environments},
journal = {Computer},
volume = {20},
number = {11},
pages = {55--64},
year = {1987},
url = {https://doi.org/10.1109/MC.1987.1663416},
doi = {10.1109/MC.1987.1663416},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/GoguenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/GoguenM87,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Remarks on Remarks on Many-Sorted Equational Logic},
journal = {{ACM} {SIGPLAN} Notices},
volume = {22},
number = {4},
pages = {41--48},
year = {1987},
url = {https://doi.org/10.1145/24714.24719},
doi = {10.1145/24714.24719},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GoguenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compcon/Goguen87,
author = {Joseph A. Goguen},
title = {Parameterization Pitfalls and Potentials},
booktitle = {COMPCON'87, Digest of Papers, Thirty-Second {IEEE} Computer Society
International Conference, San Francisco, California, USA, February
23-27, 1987},
pages = {357},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Tue, 27 Jun 2006 14:43:07 +0200},
biburl = {https://dblp.org/rec/conf/compcon/Goguen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/MossMG87,
author = {Lawrence S. Moss and
Jos{\'{e}} Meseguer and
Joseph A. Goguen},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {158--181},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_25},
doi = {10.1007/3-540-18508-9\_25},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/MossMG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/GoguenKKMMW87,
author = {Joseph A. Goguen and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Aristide M{\'{e}}grelis and
Jos{\'{e}} Meseguer and
Timothy C. Winkler},
editor = {St{\'{e}}phane Kaplan and
Jean{-}Pierre Jouannaud},
title = {An Introduction to {OBJ} 3},
booktitle = {Conditional Term Rewriting Systems, 1st International Workshop, Orsay,
France, July 8-10, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {308},
pages = {258--263},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19242-5\_22},
doi = {10.1007/3-540-19242-5\_22},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/GoguenKKMMW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FutatsugiGMO87,
author = {Kokichi Futatsugi and
Joseph A. Goguen and
Jos{\'{e}} Meseguer and
Koji Okada},
editor = {William E. Riddle and
Robert M. Balzer and
Kouichi Kishida},
title = {Parameterized Programming in {OBJ2}},
booktitle = {Proceedings, 9th International Conference on Software Engineering,
Monterey, California, USA, March 30 - April 2, 1987},
pages = {51--60},
publisher = {{ACM} Press},
year = {1987},
url = {http://dl.acm.org/citation.cfm?id=41772},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FutatsugiGMO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GoguenM87,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Order-Sorted Algebra solves the Constructor-Selector, Multiple},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {18--29},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GoguenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GoguenM87,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Models and Equality for Logical Programming},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 2: Advanced Seminar on Foundations of Innovative Software Development
{II} and Colloquium on Functional and Logic Programming and Specifications
{(CFLP)}},
series = {Lecture Notes in Computer Science},
volume = {250},
pages = {1--22},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0014969},
doi = {10.1007/BFB0014969},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GoguenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/shriverW87/GoguenM87,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Bruce D. Shriver and
Peter Wegner},
title = {Unifying Functional, Object-Oriented and Relational Programming with
Logical Semantics},
booktitle = {Research Directions in Object-Oriented Programming},
pages = {417--478},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mit/shriverW87/GoguenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Goguen86,
author = {Joseph A. Goguen},
title = {Reusing and Interconneccting Software Components},
journal = {Computer},
volume = {19},
number = {2},
pages = {16--28},
year = {1986},
url = {https://doi.org/10.1109/MC.1986.1663146},
doi = {10.1109/MC.1986.1663146},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Goguen86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/GoguenM86,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Remarks on remarks on many-sorted algebras with possibly emtpay carrier
sets},
journal = {Bull. {EATCS}},
volume = {30},
pages = {66--73},
year = {1986},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/GoguenM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gr/GoguenKM86,
author = {Joseph A. Goguen and
Claude Kirchner and
Jos{\'{e}} Meseguer},
editor = {Joseph H. Fasel and
Robert M. Keller},
title = {Concurrent term rewriting as a model of computation},
booktitle = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
Mexico, USA, September 29 - October 1, 1986},
series = {Lecture Notes in Computer Science},
volume = {279},
pages = {53--93},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18420-1\_50},
doi = {10.1007/3-540-18420-1\_50},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gr/GoguenKM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Goguen86,
author = {Joseph A. Goguen},
editor = {Hans{-}J{\"{u}}rgen Kugler},
title = {One, None, {A} Hundred Thousand Specification Languages (Invited Paper)},
booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
Congress, Dublin, Ireland, September 1-5, 1986},
pages = {995--1004},
publisher = {North-Holland/IFIP},
year = {1986},
timestamp = {Sun, 28 Jul 2019 12:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Goguen86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/GoguenM86,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Peter Wegner and
Bruce D. Shriver},
title = {Extensions and foundations of object-oriented programming},
booktitle = {Proceedings of the 1986 {SIGPLAN} Workshop on Object-Oriented Programming,
{OOPWORK} 1986, Yorktown Heights, New York, USA, June 9-13, 1986},
pages = {153--162},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/323779.323755},
doi = {10.1145/323779.323755},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GoguenM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/GoguenM86a,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Peter Wegner and
Bruce D. Shriver},
title = {Foundations and extensions of object-oriented programming (abstract
only)},
booktitle = {Proceedings of the 1986 {SIGPLAN} Workshop on Object-Oriented Programming,
{OOPWORK} 1986, Yorktown Heights, New York, USA, June 9-13, 1986},
pages = {185},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/323779.323763},
doi = {10.1145/323779.323763},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GoguenM86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ph/deGrootL86/GoguenM86,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Doug DeGroot and
Gary Lindstrom},
title = {{EQLOG:} Equality, Types, and Generic Modules For Logic Programming},
booktitle = {Logic Programming: Functions, Relations, and Equations},
pages = {295--363},
publisher = {Prentice-Hall},
year = {1986},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ph/deGrootL86/GoguenM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/GoguenB85,
author = {Joseph A. Goguen and
Rod M. Burstall},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {A Study in the Functions of Programming Methodology: Specifications,
Institutions, Charters and Parchments},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {313--333},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_131},
doi = {10.1007/3-540-17162-2\_131},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/GoguenB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GoguenJM85,
author = {Joseph A. Goguen and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
editor = {Wilfried Brauer},
title = {Operational Semantics for Order-Sorted Algebra},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {221--231},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015747},
doi = {10.1007/BFB0015747},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GoguenJM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FutatsugiGJM85,
author = {Kokichi Futatsugi and
Joseph A. Goguen and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Principles of {OBJ2}},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {52--66},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318610},
doi = {10.1145/318593.318610},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FutatsugiGJM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GoguenM84,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Equality, Types, Modules, and (Why not ?) Generics for Logic Programming},
journal = {J. Log. Program.},
volume = {1},
number = {2},
pages = {179--210},
year = {1984},
url = {https://doi.org/10.1016/0743-1066(84)90004-9},
doi = {10.1016/0743-1066(84)90004-9},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/GoguenM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoguenB84,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation.
Part 1: Comma Categories, Colimits, Signatures and Theories},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {175--209},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90134-8},
doi = {10.1016/0304-3975(84)90134-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoguenB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoguenB84a,
author = {Joseph A. Goguen and
Rod M. Burstall},
title = {Some Fundamental Algebraic Tools for the Semantics of Computation.
Part {II:} Signed and Abstract Theories},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {263--295},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90036-7},
doi = {10.1016/0304-3975(84)90036-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoguenB84a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Goguen84,
author = {Joseph A. Goguen},
title = {Parameterized Programming},
journal = {{IEEE} Trans. Software Eng.},
volume = {10},
number = {5},
pages = {528--544},
year = {1984},
url = {https://doi.org/10.1109/TSE.1984.5010277},
doi = {10.1109/TSE.1984.5010277},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Goguen84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GoguenM84,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Sten{-}{\AA}ke T{\"{a}}rnlund},
title = {Equality, Types, Modules and Generics for Logic Programming},
booktitle = {Proceedings of the Second International Logic Programming Conference,
Uppsala University, Uppsala, Sweden, July 2-6, 1984},
pages = {115--125},
publisher = {Uppsala University},
year = {1984},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GoguenM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GoguenM84,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Unwinding and Inference Control},
booktitle = {Proceedings of the 1984 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, April 29 - May 2, 1984},
pages = {75--87},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/SP.1984.10019},
doi = {10.1109/SP.1984.10019},
timestamp = {Thu, 21 Sep 2023 15:57:32 +0200},
biburl = {https://dblp.org/rec/conf/sp/GoguenM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/GoguenWL83,
author = {Joseph A. Goguen and
J. L. Weiner and
Charlotte Linde},
title = {Reasoning and Natural Explanation},
journal = {Int. J. Man Mach. Stud.},
volume = {19},
number = {6},
pages = {521--559},
year = {1983},
url = {https://doi.org/10.1016/S0020-7373(83)80070-4},
doi = {10.1016/S0020-7373(83)80070-4},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/GoguenWL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GoguenM83,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Correctness of Recursive Parallel Nondeterministic Flow Programs},
journal = {J. Comput. Syst. Sci.},
volume = {27},
number = {2},
pages = {268--290},
year = {1983},
url = {https://doi.org/10.1016/0022-0000(83)90043-0},
doi = {10.1016/0022-0000(83)90043-0},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GoguenM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GoguenB83,
author = {Joseph A. Goguen and
Rod M. Burstall},
editor = {Edmund M. Clarke and
Dexter Kozen},
title = {Introducing Institutions},
booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
PA, USA, June 6-8, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {164},
pages = {221--256},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12896-4\_366},
doi = {10.1007/3-540-12896-4\_366},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/GoguenB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/GoguenM82,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Completeness of many-sorted equational logic},
journal = {{ACM} {SIGPLAN} Notices},
volume = {17},
number = {1},
pages = {9--17},
year = {1982},
url = {https://doi.org/10.1145/947886.947887},
doi = {10.1145/947886.947887},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GoguenM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GoguenM82,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {Universal Realization, Persistent Interconnection and Implementation
of Abstract Modules},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {265--281},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012775},
doi = {10.1007/BFB0012775},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GoguenM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rpr/GoguenM82,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Stephen L. Squires and
Martha A. Branstad and
Marvin V. Zelkowitz},
title = {Rapid prototyping: in the {OBJ} executable specification language},
booktitle = {Proceedings of the workshop on Rapid Prototyping, Columbia, Maryland,
USA, April 19-21, 1982},
pages = {75--84},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/1006259.1006273},
doi = {10.1145/1006259.1006273},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rpr/GoguenM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GoguenM82a,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Security Policies and Security Models},
booktitle = {1982 {IEEE} Symposium on Security and Privacy, Oakland, CA, USA, April
26-28, 1982},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {https://doi.org/10.1109/SP.1982.10014},
doi = {10.1109/SP.1982.10014},
timestamp = {Thu, 21 Sep 2023 15:57:32 +0200},
biburl = {https://dblp.org/rec/conf/sp/GoguenM82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/GoguenM81,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Completeness of many-sorted equational logic},
journal = {{ACM} {SIGPLAN} Notices},
volume = {16},
number = {7},
pages = {24--32},
year = {1981},
url = {https://doi.org/10.1145/947864.947865},
doi = {10.1145/947864.947865},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GoguenM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Goguen81,
author = {Joseph A. Goguen},
title = {More thoughts on specification and verification},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {6},
number = {3},
pages = {38--41},
year = {1981},
url = {https://doi.org/10.1145/1010832.1010845},
doi = {10.1145/1010832.1010845},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Goguen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/StaunstrupG81,
author = {J{\o}rgen Staunstrup and
Joseph A. Goguen},
editor = {J{\o}rgen Staunstrup},
title = {Geometrical Constructions},
booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark,
August 1981},
series = {Lecture Notes in Computer Science},
volume = {134},
pages = {25--46},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-11490-4\_3},
doi = {10.1007/3-540-11490-4\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/StaunstrupG81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Steensgaard-MadsenHPEKNASGCG81,
author = {J{\o}rgen Steensgaard{-}Madsen and
Jane W. Hughes and
Malcolm S. Powell and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Leif Sandegaard Nielsen and
Jean{-}Raymond Abrial and
Ib Holm S{\o}rensen and
Robin M. Gallimore and
Derek Coleman and
Joseph A. Goguen},
editor = {J{\o}rgen Staunstrup},
title = {KWIC-index generation},
booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark,
August 1981},
series = {Lecture Notes in Computer Science},
volume = {134},
pages = {47--117},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-11490-4\_5},
doi = {10.1007/3-540-11490-4\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Steensgaard-MadsenHPEKNASGCG81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfpc/GoguenP81,
author = {Joseph A. Goguen and
Kamran Parsaye{-}Ghomi},
editor = {Josep D{\'{\i}}az and
Isidro Ramos},
title = {Algebraic Denotational Semantics Using Parameterized Abstract Modules},
booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola,
Spain, April 19-25, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {107},
pages = {292--309},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10699-5\_106},
doi = {10.1007/3-540-10699-5\_106},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/icfpc/GoguenP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/LindeG80,
author = {Charlotte Linde and
Joseph A. Goguen},
editor = {Norman K. Sondheimer},
title = {On the Independence of Discourse Structure and Semantic Domain},
booktitle = {18th Annual Meeting of the Association for Computational Linguistics,
19-22 June 1980, University of Pennsylvania, Philadephia, Pennsylvania,
{USA}},
publisher = {{ACL}},
year = {1980},
url = {https://aclanthology.org/P80-1010/},
doi = {10.3115/981436.981448},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/LindeG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Guguen80,
author = {Joseph A. Goguen},
editor = {Wolfgang Bibel and
Robert A. Kowalski},
title = {How to Prove Algebraic Inductive Hypotheses Without Induction},
booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {87},
pages = {356--373},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10009-1\_27},
doi = {10.1007/3-540-10009-1\_27},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Guguen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BurstallG79,
author = {Rod M. Burstall and
Joseph A. Goguen},
editor = {Dines Bj{\o}rner},
title = {The Semantics of CLEAR, {A} Specification Language},
booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January
22 - February 2, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {86},
pages = {292--332},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10007-5\_41},
doi = {10.1007/3-540-10007-5\_41},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/BurstallG79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Goguen78,
author = {Joseph A. Goguen},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Some design principles and theory for OBJ-O, a language to express
and execute algebraic specification for programs},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {425--473},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_36},
doi = {10.1007/3-540-09541-1\_36},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/msi/Goguen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoguenTWW77,
author = {Joseph A. Goguen and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
title = {Initial Algebra Semantics and Continuous Algebras},
journal = {J. {ACM}},
volume = {24},
number = {1},
pages = {68--95},
year = {1977},
url = {https://doi.org/10.1145/321992.321997},
doi = {10.1145/321992.321997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GoguenTWW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Goguen77,
author = {Joseph A. Goguen},
editor = {Erich J. Neuhold},
title = {Abstract Errors for Abstract Data Types},
booktitle = {Formal Description of Programming Concepts: Proceedings of the {IFIP}
Working Conference on Formal Description of Programming Concepts,
St. Andrews, NB, Canada, August 1-5, 1977},
pages = {491--526},
publisher = {North-Holland},
year = {1977},
timestamp = {Mon, 21 Jan 2019 18:41:33 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Goguen77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BurstallG77,
author = {Rod M. Burstall and
Joseph A. Goguen},
editor = {Raj Reddy},
title = {Putting Theories Together to Make Specifications},
booktitle = {Proceedings of the 5th International Joint Conference on Artificial
Intelligence. Cambridge, MA, USA, August 22-25, 1977},
pages = {1045--1058},
publisher = {William Kaufmann},
year = {1977},
url = {http://ijcai.org/Proceedings/77-2/Papers/095.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BurstallG77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoguenM77,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Jozef Gruska},
title = {Correctness of Recursive Flow Diagram Programs},
booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {53},
pages = {580--595},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08353-7\_183},
doi = {10.1007/3-540-08353-7\_183},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoguenM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/WrightTWG76,
author = {Jesse B. Wright and
James W. Thatcher and
Eric G. Wagner and
Joseph A. Goguen},
title = {Rational Algebraic Theories and Fixed-Point Solutions},
booktitle = {17th Annual Symposium on Foundations of Computer Science, Houston,
Texas, USA, 25-27 October 1976},
pages = {147--158},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {https://doi.org/10.1109/SFCS.1976.24},
doi = {10.1109/SFCS.1976.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/WrightTWG76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WagnerWGT76,
author = {Eric G. Wagner and
Jesse B. Wright and
Joseph A. Goguen and
James W. Thatcher},
editor = {Antoni W. Mazurkiewicz},
title = {Some Fundamentals of Order-Algebraic Semantics},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
Gdansk, Poland, September 6-10, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {45},
pages = {153--168},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07854-1\_169},
doi = {10.1007/3-540-07854-1\_169},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WagnerWGT76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Goguen75,
author = {Joseph A. Goguen},
title = {Discrete-Time Machines in Closed Monoidal Categories. {I}},
journal = {J. Comput. Syst. Sci.},
volume = {10},
number = {1},
pages = {1--43},
year = {1975},
url = {https://doi.org/10.1016/S0022-0000(75)80012-2},
doi = {10.1016/S0022-0000(75)80012-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Goguen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/GoguenC75,
author = {Joseph A. Goguen and
Lee Carlson},
title = {Axioms for discrimination information (Corresp.)},
journal = {{IEEE} Trans. Inf. Theory},
volume = {21},
number = {5},
pages = {572--574},
year = {1975},
url = {https://doi.org/10.1109/TIT.1975.1055434},
doi = {10.1109/TIT.1975.1055434},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tit/GoguenC75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Goguen74,
author = {Joseph A. Goguen},
title = {Concept Representation in Natural and Artificial Languages: Axioms,
Extensions and Applications for Fuzzy Sets},
journal = {Int. J. Man Mach. Stud.},
volume = {6},
number = {5},
pages = {513--561},
year = {1974},
url = {https://doi.org/10.1016/S0020-7373(74)80017-9},
doi = {10.1016/S0020-7373(74)80017-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/Goguen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Goguen74,
author = {Joseph A. Goguen},
title = {On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence
of Flow Diagram Programs},
journal = {J. Comput. Syst. Sci.},
volume = {8},
number = {3},
pages = {333--365},
year = {1974},
url = {https://doi.org/10.1016/S0022-0000(74)80028-0},
doi = {10.1016/S0022-0000(74)80028-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Goguen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/category/Goguen74,
author = {Joseph A. Goguen},
editor = {Ernest G. Manes},
title = {Semantics of computation},
booktitle = {Category Theory Applied to Computation and Control, Proceedings of
the First International Symposium, San Francisco, CA, USA, February
25-26, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {25},
pages = {151--163},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07142-3\_75},
doi = {10.1007/3-540-07142-3\_75},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/category/Goguen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GoguenT74,
author = {Joseph A. Goguen and
James W. Thatcher},
title = {Initial Algebra Semantics},
booktitle = {15th Annual Symposium on Switching and Automata Theory, New Orleans,
Louisiana, USA, October 14-16, 1974},
pages = {63--77},
publisher = {{IEEE} Computer Society},
year = {1974},
url = {https://doi.org/10.1109/SWAT.1974.13},
doi = {10.1109/SWAT.1974.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GoguenT74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GoguenTWW74,
author = {Joseph A. Goguen and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {Andrzej Blikle},
title = {Factorizations, Congruences, and the Decomposition of Automata and
Systems},
booktitle = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
near Warsaw, Poland, June 17-22, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {28},
pages = {33--45},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07162-8\_665},
doi = {10.1007/3-540-07162-8\_665},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GoguenTWW74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Goguen72,
author = {Joseph A. Goguen},
title = {Realization is Universal},
journal = {Math. Syst. Theory},
volume = {6},
number = {4},
pages = {359--374},
year = {1972},
url = {https://doi.org/10.1007/BF01843493},
doi = {10.1007/BF01843493},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Goguen72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Goguen72,
author = {Joseph A. Goguen},
title = {On Homomorphisms, Simulations, Correctness and Subroutines for Programs
and Program Schemes},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {52--60},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.10},
doi = {10.1109/SWAT.1972.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Goguen72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 21:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
