21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769526314

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Saturated Semantics for Reactive Systems

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.46 ◽

2006 ◽

Cited By ~ 3

Author(s):

F. Bonchi ◽

B. Konig ◽

U. Montanari

Keyword(s):

Reactive Systems

Download Full-text

Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.33 ◽

2006 ◽

Cited By ~ 2

Author(s):

D. Leivant

Keyword(s):

Dynamic Logic ◽

Modal Reasoning

Download Full-text

The Boundedness Problem for Monadic Universal First-Order Logic

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.50 ◽

2006 ◽

Cited By ~ 2

Author(s):

M. Otto

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order ◽

Boundedness Problem

Download Full-text

First Order Formulas with Modular Ppredicates

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.24 ◽

2006 ◽

Cited By ~ 1

Author(s):

L. Chaubard ◽

J. Pin ◽

H. Straubing

Keyword(s):

First Order

Download Full-text

Provable Implementations of Security Protocols

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.43 ◽

2006 ◽

Cited By ~ 4

Author(s):

A.D. Gordon

Keyword(s):

Security Protocols

Download Full-text

Stochastic Games with Branching-Time Winning Objectives

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.48 ◽

2006 ◽

Cited By ~ 8

Author(s):

T. Brazdil ◽

V. Bro!zek ◽

V. Forejt ◽

A. Kucera

Keyword(s):

Stochastic Games ◽

Branching Time

Download Full-text

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.39 ◽

2006 ◽

Cited By ~ 10

Author(s):

C. Palamidessi ◽

V. Saraswat ◽

F.D. Valencia ◽

B. Victor

Keyword(s):

Pi Calculus

Download Full-text

Coinductive Proof Principles for Stochastic Processes

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.18 ◽

2006 ◽

Cited By ~ 1

Author(s):

D. Kozen

Keyword(s):

Stochastic Processes

Download Full-text

From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.28 ◽

2006 ◽

Cited By ~ 33

Author(s):

N. Piterman

Download Full-text

An Abstraction-Refinement Framework for Multi-Agent Systems

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.10 ◽

2006 ◽

Cited By ~ 6

Author(s):

T. Ball ◽

O. Kupferman

Keyword(s):

Multi Agent Systems ◽

Abstraction Refinement ◽

Agent Systems ◽

Multi Agent

Download Full-text

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Saturated Semantics for Reactive Systems

Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic

The Boundedness Problem for Monadic Universal First-Order Logic

First Order Formulas with Modular Ppredicates

Provable Implementations of Security Protocols

Stochastic Games with Branching-Time Winning Objectives

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

Coinductive Proof Principles for Stochastic Processes

From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata

An Abstraction-Refinement Framework for Multi-Agent Systems

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
Latest Publications