2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479988754

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-Order Model Checking: An Overview

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.9 ◽

2015 ◽

Cited By ~ 7

Author(s):

Luke Ong

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model

Download Full-text

Privacy and the Price of Data

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.10 ◽

2015 ◽

Author(s):

Daniel Kifer

Download Full-text

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.18 ◽

2015 ◽

Cited By ~ 3

Author(s):

Willem Heijltjes ◽

Dominic J.D. Hughes

Keyword(s):

Petri Nets ◽

Complexity Bounds ◽

Product Logic ◽

Proof Nets

Download Full-text

A Fibrational Account of Local States

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.45 ◽

2015 ◽

Author(s):

Kenji Maillard ◽

Paul-Andre Mellies

Download Full-text

Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.25 ◽

2015 ◽

Cited By ~ 1

Author(s):

Wojciech Czerwinski ◽

Petr Jancar

Download Full-text

Programs for Cheap!

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.21 ◽

2015 ◽

Cited By ~ 3

Author(s):

Jennifer Hackett ◽

Graham Hutton

Download Full-text

Feedback Turing Computability, and Turing Computability as Feedback

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.55 ◽

2015 ◽

Cited By ~ 1

Author(s):

Nathanael L. Ackerman ◽

Cameron E. Freer ◽

Robert S. Lubarsky

Keyword(s):

Turing Computability

Download Full-text

Finite Open-World Query Answering with Number Restrictions

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.37 ◽

2015 ◽

Cited By ~ 3

Author(s):

Antoine Amarilli ◽

Michael Benedikt

Keyword(s):

Query Answering ◽

Open World

Download Full-text

Varieties of Languages in a Category

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.46 ◽

2015 ◽

Cited By ~ 7

Author(s):

Jiri Adamek ◽

Robert S.R. Myers ◽

Henning Urbat ◽

Stefan Milius

Download Full-text

Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.61 ◽

2015 ◽

Cited By ~ 9

Author(s):

Annabelle McIver ◽

Carroll Morgan ◽

Tahiry Rabehaja

Keyword(s):

Hidden Markov Models ◽

Information Flow ◽

Markov Models ◽

Hidden Markov ◽

Quantitative Information ◽

Quantitative Information Flow

Download Full-text

2015 30th Annual ACM/IEEE Symposium on Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Higher-Order Model Checking: An Overview

Privacy and the Price of Data

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets

A Fibrational Account of Local States

Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME

Programs for Cheap!

Feedback Turing Computability, and Turing Computability as Feedback

Finite Open-World Query Answering with Number Restrictions

Varieties of Languages in a Category

Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Latest Publications