Factor analysis of a fear survey scheduleBarry M. Rubin; Edward S. Katkin; Barry W. Weiss; Jay S. Efran · 1968

Protective effect of glucose on the anoxic myocardium of old and young miceAnn C. Barry; Gerald D. Barry; Jay A. Zimmerman · 1987

Mismatches between breeding success and habitat preferences in Hen Harriers Circus cyaneus breeding in forested landscapesMARK W. WILSON; BARRY O’DONOGHUE; BARRY O’MAHONY; CHRIS CULLEN; TIM O’DONOGHUE; GEOFF OLIVER; BARRY RYAN; PAUL TROAKE; SANDRA IRWIN; THOMAS C. KELLY; JAY J. ROTELLA; JOHN O’HALLORAN · 2012

Local adjunctionsC.Barry Jay · Journal of Pure and Applied Algebra · 1988

Languages for monoidal categoriesC.Barry Jay · Journal of Pure and Applied Algebra · 1989

A semantics for shapeC.Barry Jay · 1995

Covariant typesC. Barry Jay · 1997

Programming in FIShC. Barry Jay · 1999

Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013

PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004

Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012

Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012

Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012

Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012

Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012

PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013