James J. Leifer - Citegraph

Author Info

Search Limit

100355

Publications (8 rows)

Collaborators (14 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions	46	1.50	2009
Acute: high-level programming language design for distributed computation	40	2.27	2007
Transition systems, link graphs and Petri nets	23	1.40	2006
Abstraction preservation and subtyping in distributed languages	6	0.48	2006
Global abstraction-safe marshalling with hash types.	13	0.74	2003
Shallow Linear Action Graphs and their Embeddings	1	0.77	2002
Deriving Bisimulation Congruences for Reactive Systems	115	5.17	2000
Deduction for Functional Programmers	0	0.34	1996