Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Lunjin Lu

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sofsem/LuK13
- ask others
Lunjin Lu, Dae-Kyoo Kim: Refinement Inference for Sequence Diagrams. SOFSEM 2013: 432-444
2011
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/KimKLKP11
- ask others
Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Suntae Kim, Sooyong Park: A feature-based approach for modeling role-based access control systems. Journal of Systems and Software 84(12): 2035-2052 (2011)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ngc/Lu11
- ask others
Lunjin Lu: A Polymorphic Type Dependency Analysis for Logic Programs. New Generation Comput. 29(4): 409-444 (2011)
[c31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/LuK11
- ask others
Lunjin Lu, Dae-Kyoo Kim: Required Behavior of Sequence Diagrams: Semantics and Refinement. ICECCS 2011: 127-136
[c30]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/seke/KimLZKLS11
- ask others
Sangsig Kim, Yen-Ting Lee, Yuanlin Zhu, Dae-Kyoo Kim, Lunjin Lu, Vijayan Sugumaran: A Feature-Based Modeling Approach to Configuring Privacy and Temporality in RBAC. SEKE 2011: 666-671
[c29]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ssiri/KimKLPK11
- ask others
Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park, Suntae Kim: A Feature-Based Modeling Approach for Building Hybrid Access Control Systems. SSIRI 2011: 88-97
2010
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsea/Lu10
- ask others
Lunjin Lu: Incremental Computation of Success Patterns of Logic Programs. JSEA 3(3): 198-207 (2010)
[j9]
- view
  - electronic edition @ jucs.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jucs/LuKZK10
- ask others
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim: Verification of Structural Pattern Conformance Using Logic Programming. J. UCS 16(17): 2455-2474 (2010)
[c28]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/KimLK10
- ask others
Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim: A Verifiable Modeling Approach to Configurable Role-Based Access Control. FASE 2010: 188-202
[i9]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-1160
- ask others
Lunjin Lu, Dae-Kyoo Kim: Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams. CoRR abs/1003.1160 (2010)
[i8]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1005-4616
- ask others
Lunjin Lu: Parametrizing Program Analysis by Lifting to Cardinal Power Domains. CoRR abs/1005.4616 (2010)
[i7]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1009-2178
- ask others
Lunjin Lu, John G. Cleary: Simplifying Negative Goals Using Typed Existence Properties. CoRR abs/1009.2178 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SpotoLM09
- ask others
Fausto Spoto, Lunjin Lu, Fred Mesnard: Using CLP Simplifications to Improve Java Bytecode Termination Analysis. Electr. Notes Theor. Comput. Sci. 253(5): 129-144 (2009)
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/KimKLP09
- ask others
Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park: Quality-driven architecture development using architectural tactics. Journal of Systems and Software 82(8): 1211-1231 (2009)
2008
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Lu08
- ask others
Lunjin Lu: Checking Emptiness of Non-Deterministic Regular Types with Set Operators. Electr. Notes Theor. Comput. Sci. 212: 191-206 (2008)
[j5]
- view
  - electronic edition @ org.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tplp/Lu08
- ask others
Lunjin Lu: Improving precision of type analysis using non-discriminative union. TPLP 8(1): 33-79 (2008)
[c27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/edoc/KimKLP08
- ask others
Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park: A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures. EDOC 2008: 139-148
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icsr/KimL08
- ask others
Dae-Kyoo Kim, Lunjin Lu: Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems. ICSR 2008: 306-317
[c25]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/Lu08
- ask others
Lunjin Lu: Inferring precise polymorphic type dependencies in logic programs. PPDP 2008: 143-151
2007
[c24]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sac/Lu07
- ask others
Lunjin Lu: Implementing type-based constructive negation. SAC 2007: 1299-1306
2006
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/LiKL06
- ask others
Xuan Li, Andy King, Lunjin Lu: Lazy Set-Sharing Analysis. FLOPS 2006: 177-191
[c22]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceccs/KimL06
- ask others
Dae-Kyoo Kim, Lunjin Lu: Inference of Design Pattern Instances in UML models via Logic Programming. ICECCS 2006: 47-56
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/KingLG06
- ask others
Andy King, Lunjin Lu, Samir Genaim: Detecting Determinacy in Prolog Programs. ICLP 2006: 132-147
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/LiKL06
- ask others
Xuan Li, Andy King, Lunjin Lu: Collapsing Closures. ICLP 2006: 148-162
[i6]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-cs-0612063
- ask others
Lunjin Lu: Improving Precision of Type Analysis Using Non-Discriminative Union. CoRR abs/cs/0612063 (2006)
2005
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/LuK05
- ask others
Lunjin Lu, Andy King: Determinacy Inference for Logic Programs. ESOP 2005: 108-123
[c18]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/LiL05
- ask others
Xuan Li, Lunjin Lu: Inverting abstract unification for set-sharing. PPDP 2005: 129-138
[c17]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sac/Lu05
- ask others
Lunjin Lu: Use of correctness assertions in declarative diagnosis. SAC 2005: 1404-1408
2004
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/LuK04
- ask others
Lunjin Lu, Andy King: Backward Pair Sharing Analysis. FLOPS 2004: 132-146
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/HoweKL04
- ask others
Jacob M. Howe, Andy King, Lunjin Lu: Analysing Logic Programs by Reasoning Backwards. Program Development in Computational Logic 2004: 152-188
2003
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/Lu03
- ask others
Lunjin Lu: Path Dependent Analysis of Logic Programs. Higher-Order and Symbolic Computation 16(4): 341-377 (2003)
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/KingL03
- ask others
Andy King, Lunjin Lu: Forward versus Backward Verification of Logic Programs. ICLP 2003: 315-330
2002
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tplp/KingL02
- ask others
Andy King, Lunjin Lu: A Backward Analysis for Constraint Logic Programs. TPLP 2(4-5): 517-547 (2002)
[c13]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pepm/Lu02
- ask others
Lunjin Lu: Path dependent analysis of logic programs. PEPM 2002: 63-74
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/LuK02
- ask others
Lunjin Lu, Andy King: Backward Type Inference Generalises Type Checking. SAS 2002: 85-101
[i5]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-PL-0201011
- ask others
Andy King, Lunjin Lu: A Backward Analysis for Constraint Logic Programs. CoRR cs.PL/0201011 (2002)
2001
[j2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigplan/Lu01
- ask others
Lunjin Lu: On Dart-Zobel Algorithm for Testing Regular Type Inclusion. SIGPLAN Notices 36(9): 81-85 (2001)
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/Lu01
- ask others
Lunjin Lu: Parameterizing a Groundness Analysis of Logic Programs. SAS 2001: 146-164
2000
[c10]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/Lu00
- ask others
Lunjin Lu: A precise type analysis of logic programs. PPDP 2000: 214-225

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/LuC99
- ask others
Lunjin Lu, John G. Cleary: A Regular Type Analysis of Logic Programs. ICLP 1999: 613
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/LuC99
- ask others
Lunjin Lu, John G. Cleary: An Operational Semantics of Starlog. PPDP 1999: 294-310
1998
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Lu98
- ask others
Lunjin Lu: Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. J. Log. Program. 36(1): 1-54 (1998)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/plilp/ClearyL98
- ask others
John G. Cleary, Lunjin Lu: Constructive Negation Using Typed Existence Properties. PLILP/ALP 1998: 411-426
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-9810001
- ask others
Lunjin Lu, John G. Cleary: On Dart-Zobel Algorithm for Testing Regular Type Inclusion. CoRR cs.LO/9810001 (1998)
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-LO-9811015
- ask others
Lunjin Lu, John G. Cleary: An Emptiness Algorithm for Regular Types with Set Operators. CoRR cs.LO/9811015 (1998)
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-PL-9811001
- ask others
Lunjin Lu: A Polymorphic Groundness Analysis of Logic Programs. CoRR cs.PL/9811001 (1998)
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/cs-PL-9811012
- ask others
Lunjin Lu: Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs. CoRR cs.PL/9811012 (1998)
1996
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ershov/Lu96
- ask others
Lunjin Lu: A Mode Analysis of Logic Programs by Abstract Interpretation. Ershov Memorial Conference 1996: 362-373
1995
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pepm/Lu95
- ask others
Lunjin Lu: Type Analysis of Logic Programs in the Presence of Type Definitions. PEPM 1995: 241-252
1994
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/Lu94
- ask others
Lunjin Lu: A Generic Declarative Diagnoser for Normal Logic Programs. LPAR 1994: 290-304
1993
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ershov/LuG93
- ask others
Lunjin Lu, Peter Greenfield: Logic Program Testing Based on Abstract Interpretation. Formal Methods in Programming and Their Applications 1993: 170-180
1992
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/alpuk/LuG92
- ask others
Lunjin Lu, Peter Greenfield: An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. ALPUK 1992: 62-76
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iccl/LuG92
- ask others
Lunjin Lu, Peter Greenfield: Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. ICCL 1992: 147-154