ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Latest Publications
TOTAL DOCUMENTS
77
(FIVE YEARS 0)
H-INDEX
10
(FIVE YEARS 0)
Published By IEEE
9781479988754
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
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
Distributed Graph Automata
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
◽
10.1109/lics.2015.27
◽
2015
◽
Cited By ~ 6
Author(s):
Fabian Reiter
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close