BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Lunjin Lu
SearchCollections
Map detail
Lunjin Lu6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLunjin LuALunjin LuResearcherParametrizing Program Analysis by Lifting to Cardinal Power DomainsWParametrizing Program A...preprint / 2010Simplifying Negative Goals Using Typed Existence PropertiesWSimplifying Negative Go...preprint / 2010Improving Precision of Type Analysis Using Non-Discriminative UnionWImproving Precision of ...preprint / 2006Required Behavior of Sequence Diagrams: Semantics and ConformanceWRequired Behavior of Se...preprint / 2011Deriving Abstract Semantics for Forward Analysis of Normal Logic ProgramsWDeriving Abstract Seman...preprint / 1998
Person5 links

Lunjin Lu

Researcher

PaperParametrizing Program Analysis by Lifting to Cardinal Power DomainsAuthorship / preprint / 2010PaperSimplifying Negative Goals Using Typed Existence PropertiesAuthorship / preprint / 2010PaperImproving Precision of Type Analysis Using Non-Discriminative UnionAuthorship / preprint / 2006PaperRequired Behavior of Sequence Diagrams: Semantics and ConformanceAuthorship / preprint / 2011PaperDeriving Abstract Semantics for Forward Analysis of Normal Logic ProgramsAuthorship / preprint / 1998

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)