Social and semiotic analyses for theorem prover user interface designGOGUEN, J.Formal aspects of computing. 1999, Vol 11, Num 3, pp 272-301, issn 0934-5043Article

UNIVERSAL REALIZATION PERSISTENT INTERCONNECTION AND IMPLEMENTATION OF ABSTRACT MODULESGOGUEN J; MESEGUER J.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 265-281; BIBL. 31 REF.Conference Paper

Parameterized programmingGOGUEN, J. A.IEEE transactions on software engineering. 1984, Vol 10, Num 5, pp 528-543, issn 0098-5589Article

A STATISTICAL STUDY OF CRATER-ASSOCIATED WIND STREAKS IN THE NORTH EQUATORIAL ZONE OF MARS.VEVERKA J; COOK K; GOGUEN J et al.1978; ICARUS; USA; DA. 1978; VOL. 33; NO 3; PP. 466-482; BIBL. 13 REF.Article

LUNAR OCCULTATION OF SATURN. I. THE DIAMETERS OF THETYS, DIONE, RHEA, TITAN AND IAPETUS.ELLIOT JL; VEVERKA J; GOGUEN J et al.1975; ICARUS; U.S.A.; DA. 1975; VOL. 26; NO 4; PP. 387-407; BIBL. 25 REF.Article

Order-sorted algebra. I : Equational deduction for multiple inheritance, overloading, exceptions and partial operationsGOGUEN, J. A; MESEGUER, J.Theoretical computer science. 1992, Vol 105, Num 2, pp 217-273, issn 0304-3975Article

Correctness of recursive parallel nondeterministic flow programsGOGUEN, J. A; MESEGUER, J.Journal of computer and system sciences (Print). 1983, Vol 27, Num 2, pp 268-290, issn 0022-0000Article

ON MATCHING THE SPECTRUM OF IO: VARIATIONS IN THE PHOTOMETRIC PROPERTIES OF SULFUR-CONTAINING MIXTURESVEVERKA J; GOGUEN J; YANG S et al.1979; ICARUS; USA; DA. 1979; VOL. 37; NO 1; PP. 249-255; BIBL. 10 REF.Article

The DNA sequence recognized by the EcoDXX1 restriction endonucleasePIEKAROWICZ, A; GOGUEN, J. D.European journal of biochemistry (Print). 1986, Vol 154, Num 2, pp 295-298, issn 0014-2956Article

IMPROVED V CELL TYPING FOR HLA-DR USING NYLON WOOL COLUMN ENRICHED B LYMPHOCYTE PREPARATIONSLOWRY R; GOGUEN J; CARPENTER CB et al.1979; TISSUE ANTIGENS; DNK; DA. 1979; VOL. 14; NO 4; PP. 325-330; BIBL. 19 REF.Article

THE LIGHTCURVE AND ROTATION PERIOD OF ASTEROID 139 JUEWA.GOGUEN J; VEVERKA J; ELLIOT JL et al.1976; ICARUS; U.S.A.; DA. 1976; VOL. 29; NO 1; PP. 137-142; BIBL. 9 REF.Article

Isolation and characterization of Ca²⁺-blind mutants of Yersinia pestisYOTHER, J; GOGUEN, J. D.Journal of bacteriology. 1985, Vol 164, Num 2, pp 704-711, issn 0021-9193Article

HOW TO COMPARE THE SURFACE OF IO TO LABORATORY SAMPLES.VEVERKA J; GOGUEN J; YANG S et al.1978; ICARUS; U.S.A.; DA. 1978; VOL. 34; NO 1; PP. 63-67; BIBL. 14 REF.Article

LUNAR OCCULTATION OF SATURN. III. HOW BIG IS IAPETUS.VEVERKA J; BURT J; ELLIOT JL et al.1978; ICARUS; USA; DA. 1978; VOL. 33; NO 2; PP. 301-310; BIBL. 18 REF.Article

PHOBOS: PHOTOMETRY AND ORIGIN OF DARK MARKINGS ON CRATER FLOORSGOGUEN J; VEVERKA J; THOMAS P et al.1978; GEOPHYS. RES. LETTERS; USA; DA. 1978; VOL. 5; NO 11; PP. 981-984; BIBL. 14 REF.Article

NEAR-OPPOSITION LIMB DARKENING OF SOLIDS OF PLANETARY INTEREST.VEVERKA J; GOGUEN J; YANG S et al.1978; ICARUS; USA; DA. 1978; VOL. 33; NO 2; PP. 368-379; BIBL. 6 REF.Article

2OBJ : a metalogical framework theorem prover based on equational logic. DiscussionGOGUEN, J; STEVENS, A; HILBERDINK, H et al.Philosophical transactions-Royal Society of London. Physical sciences and engineering. 1992, Vol 339, Num 1652, pp 69-86, issn 0962-8428Article

International Jupiter watch: a program to study the time variability of the Jovian systemRUSSELL, C. T; CALDWELL, J. J; DE PATER, I et al.Advances in space research. 1990, Vol 10, Num 1, pp 239-242, issn 0273-1177Conference Paper

Trojan and Hilda asteroid light curves. I: Anomalously elongated shapes among Trojans (and Hildas?)HARTMANN, W. K; THOLEN, D. J; GOGUEN, J et al.Icarus (New York, NY). 1987, Vol 73, Num 3, pp 487-498, issn 0019-1035Article

Hiding more of hidden algebraGOGUEN, J; ROSU, G.Lecture notes in computer science. 1999, pp 1704-1719, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

A novel united network for organ sharing region kidney allocation plan improves transplant access for minority candidatesDELMONICO, F. L; MILFORD, E. L; GOGUEN, J et al.Transplantation. 1999, Vol 68, Num 12, pp 1875-1879, issn 0041-1337Conference Paper

Earth-based observations of the Galileo probe entry siteORTON, G; ORTIZ, J. L; FRIEDSON, J et al.Science (Washington, D.C.). 1996, Vol 272, Num 5263, pp 839-840, issn 0036-8075Article

Voyager 2 at Neptune: imaging science resultsSMITH, B. A; SODERBLOM, L. A; BROWN, R. H et al.Science (Washington, D.C.). 1989, Vol 246, Num 4936, pp 1422-1449, issn 0036-8075Article

A new allocation plan for renal transplantationDELMONICO, F. L; HARMON, W. E; ROHRER, R. J et al.Transplantation proceedings. 1999, Vol 31, Num 1-2, pp 358-359, issn 0041-1345Conference Paper

A hidden Herbrand TheoremGOGUEN, J; MALCOLM, G; KEMP, T et al.Lecture notes in computer science. 1998, pp 445-462, issn 0302-9743, isbn 3-540-65012-1Conference Paper