Concepedia

Author

Christopher League

Yale UniversityORCID

Also Known As

C. League, Christopher A. League, Christopher League

30

Publications

345

Citations

9

H-Index

33

Concepts

All Affiliations

Yale UniversityUniversity of Maryland, College Park
CL

About

Christopher League is an author at Yale University specializing in computer science, engineering, and software analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

235

2

Computer Science

6

6

235

3

Management

2

2

33

4

Computer Engineering

2

2

125

5

Language Studies

1

1

78

Christopher League

×

8

Publications

281

Citations

8

H-Index

YearCitations

Implementing typed intermediate languages

Zhong Shao, Christopher League, Stefan Monnier

1998

78

Composite model-checking

Tevfik Bultan, R. Gerber, Christopher League

ACM Transactions on Software Engineering and Methodology

2000

47

Verifying systems with integer constraints and Boolean predicates

Tevfik Bultan, R. Gerber, Christopher League

1998

39

Type-preserving compilation of Featherweight Java

Christopher League, Zhong Shao, Valery Trifonov

ACM Transactions on Programming Languages and Systems

2002

38

Representing Java classes in a typed intermediate language

Christopher League, Zhong Shao, Valery Trifonov

1999

34

Schema-Based Compression of XML Data with Relax NG

Christopher League, Kenjone Eng

Journal of Computers

2007

18

Type-Based Compression of XML Data

Christopher League, Kenjone Eng

2007

15

Anaphylaxis among elderly emergency department patients in a large health system in New York

Lea Meir, Samima Habbsa, Omar Waqar,

Annals of Allergy Asthma & Immunology

2022

12

Page 1