Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540894384, 9783540894391

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking – My 27-Year Quest to Overcome the State Explosion Problem

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_13 ◽

2008 ◽

pp. 182-182 ◽

Cited By ~ 4

Author(s):

Edmund M. Clarke

Keyword(s):

Model Checking ◽

The State ◽

State Explosion ◽

State Explosion Problem

Download Full-text

Reveal: A Formal Verification Tool for Verilog Designs

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_25 ◽

2008 ◽

pp. 343-352 ◽

Cited By ~ 14

Author(s):

Zaher S. Andraus ◽

Mark H. Liffiton ◽

Karem A. Sakallah

Keyword(s):

Formal Verification ◽

Verification Tool

Download Full-text

Alternation Elimination by Complementation (Extended Abstract)

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_16 ◽

2008 ◽

pp. 214-229 ◽

Cited By ~ 11

Author(s):

Christian Dax ◽

Felix Klaedtke

Download Full-text

Data-Oblivious Stream Productivity

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_6 ◽

2008 ◽

pp. 79-96 ◽

Cited By ~ 14

Author(s):

Jörg Endrullis ◽

Clemens Grabmayer ◽

Dimitri Hendriks

Keyword(s):

Stream Productivity

Download Full-text

On the Computational Complexity of Spatial Logics with Connectedness Constraints

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_40 ◽

2008 ◽

pp. 574-589 ◽

Cited By ~ 3

Author(s):

Roman Kontchakov ◽

Ian Pratt-Hartmann ◽

Frank Wolter ◽

Michael Zakharyaschev

Keyword(s):

Computational Complexity ◽

Spatial Logics

Download Full-text

Program Complexity in Hierarchical Module Checking

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_23 ◽

2008 ◽

pp. 318-332 ◽

Cited By ~ 9

Author(s):

Aniello Murano ◽

Margherita Napoli ◽

Mimmo Parente

Keyword(s):

Program Complexity

Download Full-text

Role Conjunctions in Expressive Description Logics

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_28 ◽

2008 ◽

pp. 391-405 ◽

Cited By ~ 4

Author(s):

Birte Glimm ◽

Yevgeny Kazakov

Keyword(s):

Description Logics

Download Full-text

An Algorithmic Interpretation of a Deep Inference System

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_34 ◽

2008 ◽

pp. 482-496 ◽

Cited By ~ 5

Author(s):

Kai Brünnler ◽

Richard McKinley

Keyword(s):

Inference System ◽

Deep Inference

Download Full-text

Discounted Properties of Probabilistic Pushdown Automata

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_17 ◽

2008 ◽

pp. 230-242 ◽

Cited By ~ 6

Author(s):

Tomáš Brázdil ◽

Václav Brožek ◽

Jan Holeček ◽

Antonín Kučera

Keyword(s):

Pushdown Automata

Download Full-text

From One Session to Many: Dynamic Tags for Security Protocols

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-89439-1_9 ◽

2008 ◽

pp. 128-142 ◽

Cited By ~ 10

Author(s):

Myrto Arapinis ◽

Stéphanie Delaune ◽

Steve Kremer

Keyword(s):

Security Protocols

Download Full-text

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Model Checking – My 27-Year Quest to Overcome the State Explosion Problem

Reveal: A Formal Verification Tool for Verilog Designs

Alternation Elimination by Complementation (Extended Abstract)

Data-Oblivious Stream Productivity

On the Computational Complexity of Spatial Logics with Connectedness Constraints

Program Complexity in Hierarchical Module Checking

Role Conjunctions in Expressive Description Logics

An Algorithmic Interpretation of a Deep Inference System

Discounted Properties of Probabilistic Pushdown Automata

From One Session to Many: Dynamic Tags for Security Protocols

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications