18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769518842

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof nets for unit-free multiplicative-additive linear logic (extended abstract)

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210039 ◽

2005 ◽

Cited By ~ 1

Author(s):

D. Hughes ◽

R. Van Glabbeek

Keyword(s):

Linear Logic ◽

Proof Nets

Download Full-text

Reasoning about hierarchical storage

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210043 ◽

2003 ◽

Cited By ~ 7

Author(s):

A. Ahmed ◽

L. Jia ◽

D. Walker

Keyword(s):

Hierarchical Storage

Download Full-text

Model checking guarded protocols

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210076 ◽

2003 ◽

Cited By ~ 17

Author(s):

E.A. Emerson ◽

V. Kahlon

Keyword(s):

Model Checking

Download Full-text

Logic in access control

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210062 ◽

2003 ◽

Cited By ~ 43

Author(s):

M. Abadi

Keyword(s):

Access Control

Download Full-text

Dependent intersection: a new way of defining records in type theory

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210048 ◽

2003 ◽

Cited By ~ 10

Author(s):

A. Kopylov

Keyword(s):

Type Theory

Download Full-text

A sound framework for untrusted verification-condition generators

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210065 ◽

2003 ◽

Cited By ~ 3

Author(s):

G.C. Necula ◽

R.R. Schneck

Keyword(s):

Verification Condition

Download Full-text

Revisiting digitization, robustness, and decidability for timed automata

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210059 ◽

2003 ◽

Cited By ~ 12

Author(s):

J. Ouaknine ◽

J. Worrell

Keyword(s):

Timed Automata

Download Full-text

Intruder deductions, constraint solving and insecurity decision in presence of exclusive or

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210067 ◽

2003 ◽

Cited By ~ 46

Author(s):

H. Comon-Lundh ◽

V. Shmatikov

Keyword(s):

Constraint Solving ◽

Exclusive Or

Download Full-text

Homomorphism closed vs. existential positive

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210071 ◽

2003 ◽

Cited By ~ 8

Author(s):

T. Feder ◽

M.Y. Vardi

Download Full-text

Successor-invariance in the finite

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. ◽

10.1109/lics.2003.1210054 ◽

2003 ◽

Cited By ~ 5

Author(s):

B. Rossman

Download Full-text

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Proof nets for unit-free multiplicative-additive linear logic (extended abstract)

Reasoning about hierarchical storage

Model checking guarded protocols

Logic in access control

Dependent intersection: a new way of defining records in type theory

A sound framework for untrusted verification-condition generators

Revisiting digitization, robustness, and decidability for timed automata

Intruder deductions, constraint solving and insecurity decision in presence of exclusive or

Homomorphism closed vs. existential positive

Successor-invariance in the finite

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.
Latest Publications