J. Goguen

发表

J. Goguen, 1967 .
J. Goguen, C. Linde, 1978 .
Jean-Pierre Jouannaud, Joseph A. Goguen, José Meseguer, 1985, ICALP.
J. Goguen, J. Meseguer, 1985 .
J. Goguen, J. Meseguer, G. Smolka, 1989 .
Joseph A. Goguen, Grant Malcolm, J. Goguen, 2010 .
José Meseguer, Joseph A. Goguen, J. Goguen, 1984, J. Log. Program..
José Meseguer, Joseph A. Goguen, Lawrence S. Moss, 1987, Category Theory and Computer Science.
Joseph A. Goguen, James W. Thatcher, J. Goguen, 1974, SWAT.
J. Goguen, A. Stevens, Hendrik Hilberdink, 1992, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.
Petros S. Stefaneas, J. Goguen, R. Diaconescu, 1993 .
Joseph A. Goguen, Grant Malcolm, J. Goguen, 1994 .
Joseph A. Goguen, J. Goguen, 1973 .
Joseph A. Goguen, J. Goguen, 1969 .
J. Goguen, T. Mossakowski, A. Tarlecki, 2022 .
Joseph A. Goguen, D. Fox Harrell, J. Goguen, 2005 .
J. Goguen, G. Malcolm, 1996 .
J. Goguen, C. Linde, Stephen Fickas, 1993 .
David A. Wolfram, Joseph A. Goguen, D. A. Wolfram, 1990, DS-4.
Joseph A. Goguen, J. Goguen, 1971, IEEE Conference on Decision and Control.
Jose Meseguer, Joseph Goguen, J. Goguen, 1982 .
R. Milner, M. Gordon, J. Goguen, 1994 .
J. Goguen, R. Diaconescu, M. Codescu, 2014 .
Joseph A. Goguen, Charlotte Linde, J. Goguen, 1984 .
J. Goguen, G. Ro, Su, 2000 .
J. Goguen, hingGuilian, Wang, 2004 .
José Meseguer, Joseph A. Goguen, J. Goguen, 1987, Research Directions in Object-Oriented Programming.
José Meseguer, Joseph A. Goguen, J. Goguen, 1986 .
J. Goguen, 1997 .
José Meseguer, Joseph A. Goguen, J. Goguen, 1984, ICLP.
José Meseguer, Joseph A. Goguen, J. Goguen, 1988, Fifth Generation Computer Systems.
José Meseguer, Joseph A. Goguen, J. Goguen, 1986, Logic Programming: Functions, Relations, and Equations.
J. Goguen, J. Meseguer, 1981, SIGP.
José Meseguer, Joseph A. Goguen, J. Goguen, 1986, OOPWORK '86.
José Meseguer, Joseph A. Goguen, J. Goguen, 1986, Bull. EATCS.
José Meseguer, Joseph A. Goguen, J. Goguen, 1982, Rapid Prototyping.
José Meseguer, Joseph A. Goguen, David A. Plaisted, 1983 .
Joseph A. Goguen, J. Goguen, 1977, Formal Description of Programming Concepts.
Joseph A. Goguen, J. Goguen, 1989 .
Joseph A. Goguen, J. Goguen, 1992, ISCO.
Joseph A. Goguen, Razvan Diaconescu, J. Goguen, 1994, Mathematical Structures in Computer Science.
Joseph A. Goguen, Grant Malcolm, J. Goguen, 1996 .
Joseph A. Goguen, Rod M. Burstall, J. Goguen, 1985 .
Joseph A. Goguen, Francisco J. Varela, J. Goguen, 1978 .
Joseph A. Goguen, Charlotte Linde, J. Goguen, 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.
Joseph A. Goguen, Mark Moriconi, J. Goguen, 1987, Computer.
Joseph A. Goguen, Grant Malcolm, J. Goguen, 1992 .
J. Goguen, 1964, The Bulletin of mathematical biophysics.
Joseph A. Goguen, Lawrence S. Moss, José Meseguer, 1992, Theor. Comput. Sci..
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, 1977, J. ACM.
J. A. Goguen, J. Goguen, 1969, Synthese.
Joseph A. Goguen, Kai Lin, J. Goguen, 2001, Ann. Softw. Eng..
Joseph A. Goguen, Kai Lin, J. Goguen, 2000, Proceedings International Symposium on Multimedia Software Engineering.
Joseph A. Goguen, J. Goguen, 1999 .
J. A. Goguen, E. S. Shaket, J. Goguen, 1979 .
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, 1974, MFCS.
J. Meseguer, J. A. Goguen, J. Goguen, 1982, 1982 IEEE Symposium on Security and Privacy.
Joseph A. Goguen, J. Goguen, 1992, Mathematical Structures in Computer Science.
Joseph A. Goguen, J. Goguen, 1972, Mathematical systems theory.
Joseph A. Goguen, D. Fox Harrell, J. Goguen, 2010, The Structure of Style.
Joseph A. Goguen, J. Goguen, 2007 .
Joseph A. Goguen, J. Goguen, 2006 .
Joseph A. Goguen, J. Goguen, 2005, ICCS.
Grigore Rosu, Joseph A. Goguen, J. Goguen, 2004, Essays in Memory of Ole-Johan Dahl.
Joseph A. Goguen, D. Fox Harrell, J. Goguen, 2004, AAAI Technical Report.
Joseph A. Goguen, J. Goguen, 2004 .
Joseph A. Goguen, J. Goguen, 1986, Computer.
Joseph A. Goguen, Guilian Wang, Young-Kwang Nam, 2009, Comput. Lang. Syst. Struct..
Joseph A. Goguen, Guilian Wang, Young-Kwang Nam, 2006, KDXD.
Joseph A. Goguen, Guilian Wang, Young-Kwang Nam, 2003, International Conference on Computational Science.
Joseph A. Goguen, Guilian Wang, Young-Kwang Nam, 2002, OTM.
Joseph A. Goguen, J. Goguen, 1996, ICRE.
Joseph A. Goguen, J. Goguen, 1992 .
Joseph A. Goguen, Charlotte Linde, J. Goguen, 1987 .
C. Linde, J. A. Goguen, M. R. Murphy, 1986 .
Joseph A. Goguen, Charlotte Linde, J. L. Weiner, 1983, Int. J. Man Mach. Stud..
Joseph A. Goguen, Charlotte Linde, J. Goguen, 1980, ACL.
Joseph A. Goguen, J. Goguen, 2022 .
Joseph A. Goguen, J. Goguen, 2021, ArXiv.
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
Joseph A. Goguen, Grant Malcolm, J. Goguen, 2000, Theor. Comput. Sci..
Joseph A. Goguen, Grant Malcolm, J. Goguen, 2000, Advances in Formal Methods.
José Meseguer, Claude Kirchner, Hélène Kirchner, 1988, CTRS.
José Meseguer, Jean-Pierre Jouannaud, Joseph A. Goguen, 1985, POPL.
Joseph A. Goguen, José Meseguer, J. Goguen, 1989, J. Symb. Comput..
Joseph A. Goguen, B. Taheri, Patrick Lincoln, 1992, [Proceedings 1992] The Fourth Symposium on the Frontiers of Massively Parallel Computation.
José Meseguer, Joseph A. Goguen, Hitoshi Aida, 1990, CTRS.
Joseph A. Goguen, J. Goguen, 1991, Concurrency: Theory, Language, And Architecture.
Joseph A. Goguen, Hitoshi Aida, José Meseguer, 1989 .
Joseph A. Goguen, José Meseguer, Sany Leinwand, 1989 .
Joseph A. Goguen, Kai Lin, J. Goguen, 2003, Third International Conference on Quality Software, 2003. Proceedings..
Joseph A. Goguen, Grant Malcolm, Tom Kemp, 2002, J. Log. Algebraic Methods Program..
Joseph A. Goguen, Grant Malcolm, J. Goguen, 1999, Mathematical Structures in Computer Science.
Joseph A. Goguen, Grant Malcolm, Tom Kemp, 1998, PLILP/ALP.
Luqi, José Meseguer, Joseph A. Goguen, 1996, J. Syst. Integr..
Joseph A. Goguen, J. Goguen, Grant MalcolmProgramming, 1995 .
Joseph A. Goguen, Razvan Diaconescu, J. Goguen, 1992, COMPASS/ADT.
Joseph A. Goguen, Rod M. Burstall, J. Goguen, 1992, JACM.
Joseph A. Goguen, J. Goguen, 1991 .
Joseph A. Goguen, J. Goguen, 1990, ALP.
Joseph A. Goguen, J. Goguen, 1990, VDM Europe.
Joseph A. Goguen, J. Goguen, 1988, Artif. Intell..
José Meseguer, Joseph A. Goguen, J. Goguen, 1987, SIGP.
José Meseguer, Joseph A. Goguen, J. Goguen, 1987, TAPSOFT, Vol.1.
José Meseguer, Joseph A. Goguen, Claude Kirchner, 1986, Graph Reduction.
José Meseguer, Joseph A. Goguen, J. Goguen, 1984, 1984 IEEE Symposium on Security and Privacy.
Joseph A. Goguen, Antonio Juarez Alencar, J. Goguen, 1991, ECOOP.
J. Goguen, J. Wentzel, Vrede van Huyssteen, 2002 .
Joseph A. Goguen, J. Goguen, 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.
Joseph A. Goguen, Lutz Hamel, J. Goguen, 1994, PLILP.
Joseph A. Goguen, Marina Jirotka, J. Goguen, 1994 .
Joseph A. Goguen, J. Goguen, 1984, IEEE Transactions on Software Engineering.
Joseph A. Goguen, Kamran Parsaye-Ghomi, J. Goguen, 1981, ICFPC.
Joseph A. Goguen, Rod M. Burstall, J. Goguen, 1979, Abstract Software Specifications.
Grigore Rosu, Joseph A. Goguen, J. Goguen, 2013, Formal Aspects of Computing.
Joseph A. Goguen, J. Goguen, 2005, Log. J. IGPL.
J. V. Tucker, J. Roger Hindley, J. Goguen, 1997 .
Joseph A. Goguen, José Barros, J. Goguen, 1995, CSL.
Joseph A. Goguen, Rod M. Burstall, J. Goguen, 1983, Logic of Programs.
Joseph A. Goguen, J. Goguen, 1993, TOOLS.
Joseph A. Goguen, Grant Malcolm, J. Goguen, 1996, Foundations of computing series.
Joseph A. Goguen, Francisco A. C. Pinheiro, J. Goguen, 1996, Proceedings of the Second International Conference on Requirements Engineering.
Joseph A. Goguen, Razvan Diaconescu, J. Goguen, 1995, AMAST.
Luqi, Joseph A. Goguen, J. Goguen, 1995, TAPSOFT.
David A. Wolfram, Joseph A. Goguen, D. A. Wolfram, 1991, Object-Based Concurrent Computing.
Joseph A. Goguen, Amílcar Sernadas, Hans-Dieter Ehrich, 1990, REX Workshop.
José Meseguer, Joseph A. Goguen, Kokichi Futatsugi, 1987, ICSE '87.
J. Goguen, J. Meseguer, J. Jouannaud, 1985, ICALP.
J. A. Goguen, J. Meseguer, J. Goguen, 1981, SIGP.
Joseph A. Goguen, Rod M. Burstall, J. Goguen, 1977, IJCAI.
Joseph A. Goguen, Adolfo Socorro, J. Goguen, 1995, J. Object Oriented Program..
Joseph A. Goguen, J. Goguen, 1993, Current Trends in Theoretical Computer Science.
Joseph A. Goguen, Razvan Diaconescu, J. Goguen, 1992, Bull. EATCS.
Joseph A. Goguen, Rod M. Burstall, J. Goguen, 1982 .
J. Goguen, 2005, ICCS.
Valeria de Paiva, Joseph A. Goguen, Till Mossakowski, 2007, Int. J. Softw. Informatics.
Till Mossakowski, Florian Rabe, Lutz Schröder, 2022 .
Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, 1976, MFCS.
Joseph A. Goguen, Grant Malcolm, J. Goguen, 1999, Visual Representations and Interpretations.
Joseph A. Goguen, J. Goguen, 1975, J. Comput. Syst. Sci..
Susanna Ginali, Joseph A. Goguen, J. Goguen, 1978 .
Joseph A. Goguen, J. Goguen, 1974, Category Theory Applied to Computation and Control.
Joseph A. Goguen, J. Goguen, 1978, Mathematical Studies of Information Processing.
Joseph A. Goguen, Grant Malcolm, J. Goguen, 2009 .
Joseph A. Goguen, Rod M. Burstall, J. Goguen, 1984, Theor. Comput. Sci..
Joseph A. Goguen, Jørgen Staunstrup, J. Goguen, 1981, Program Specification.
Joseph A. Goguen, J. Goguen, 1981 .
José Meseguer, Joseph A. Goguen, J. Goguen, 1983, J. Comput. Syst. Sci..
J. Goguen, 1992 .
Joseph A. Goguen, J. Goguen, 1996, Proceedings of Fourth IEEE International Conference on Software Reuse.
Grigore Rosu, Joseph A. Goguen, Bogdan Warinschi, 2000 .
Grigore Rosu, Joseph A. Goguen, J. Goguen, 1998, FTP.
Joseph A. Goguen, J. Goguen, 1999 .