Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

076951281x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probabilistic polynomial-time process calculus and security protocol analysis

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932477 ◽

2005 ◽

Cited By ~ 2

Author(s):

J. Mitchell ◽

A. Ramanathan ◽

A. Scedrov ◽

V. Teague

Keyword(s):

Polynomial Time ◽

Protocol Analysis ◽

Security Protocol ◽

Process Calculus ◽

Time Process ◽

Probabilistic Polynomial Time

Download Full-text

Intuitionistic linear logic and partial correctness

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932502 ◽

2002 ◽

Cited By ~ 1

Author(s):

D. Kozen ◽

J. Tiuryn

Keyword(s):

Linear Logic ◽

Partial Correctness ◽

Intuitionistic Linear Logic

Download Full-text

Successive approximation of abstract transition relations

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932482 ◽

2002 ◽

Cited By ~ 32

Author(s):

S. Das ◽

D.L. Dill

Keyword(s):

Successive Approximation

Download Full-text

Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problems

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932485 ◽

2002 ◽

Cited By ~ 10

Author(s):

H. Ganzinger

Keyword(s):

Polynomial Time ◽

Word Problems

Download Full-text

Dependent types for program termination verification

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932500 ◽

2002 ◽

Cited By ~ 2

Author(s):

Hongwei Xi

Keyword(s):

Dependent Types ◽

Program Termination

Download Full-text

Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932510 ◽

2002 ◽

Cited By ~ 5

Author(s):

D. Janin ◽

G. Lenzi

Download Full-text

Eliminating definitions and Skolem functions in first-order logic

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932490 ◽

2002 ◽

Cited By ~ 2

Author(s):

J. Avigad

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order ◽

Skolem Functions

Download Full-text

A bound on attacks on payment protocols

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932483 ◽

2002 ◽

Cited By ~ 9

Author(s):

S.D. Stoller

Download Full-text

A second-order system for polytime reasoning using Gradel's theorem

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932495 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Cook ◽

A. Kolokova

Keyword(s):

Second Order ◽

Order System

Download Full-text

Perturbed Turing machines and hybrid systems

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932503 ◽

2002 ◽

Cited By ~ 20

Author(s):

E. Asarin ◽

A. Bouajjani

Keyword(s):

Hybrid Systems ◽

Turing Machines

Download Full-text

Proceedings 16th Annual IEEE Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Probabilistic polynomial-time process calculus and security protocol analysis

Intuitionistic linear logic and partial correctness

Successive approximation of abstract transition relations

Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problems

Dependent types for program termination verification

Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy

Eliminating definitions and Skolem functions in first-order logic

A bound on attacks on payment protocols

A second-order system for polytime reasoning using Gradel's theorem

Perturbed Turing machines and hybrid systems

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
Latest Publications