Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450343916

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Data Communicating Processes with Unreliable Channels

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2934535 ◽

2016 ◽

Author(s):

Parosh Aziz Abdulla ◽

C. Aiswarya ◽

Mohamed Faouzi Atig

Keyword(s):

Communicating Processes

Download Full-text

Factor Varieties and Symbolic Computation

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2933600 ◽

2016 ◽

Cited By ~ 1

Author(s):

Antonino Salibra ◽

Giulio Manzonetto ◽

Giordano Favro

Keyword(s):

Symbolic Computation

Download Full-text

Proving Differential Privacy via Probabilistic Couplings

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2934554 ◽

2016 ◽

Cited By ~ 25

Author(s):

Gilles Barthe ◽

Marco Gaboardi ◽

Benjamin Grégoire ◽

Justin Hsu ◽

Pierre-Yves Strub

Keyword(s):

Differential Privacy ◽

Probabilistic Couplings

Download Full-text

First-order definability of rational transductions

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2934520 ◽

2016 ◽

Cited By ~ 2

Author(s):

Emmanuel Filiot ◽

Olivier Gauwin ◽

Nathan Lhote

Keyword(s):

First Order ◽

First Order Definability

Download Full-text

Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2933577 ◽

2016 ◽

Cited By ~ 3

Author(s):

Matthias Englert ◽

Ranko Lazić ◽

Patrick Totzke

Keyword(s):

Two Dimensional ◽

Vector Addition

Download Full-text

Querying Visible and Invisible Information

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2935306 ◽

2016 ◽

Cited By ~ 2

Author(s):

Michael Benedikt ◽

Pierre Bourhis ◽

Balder ten Cate ◽

Gabriele Puppis

Download Full-text

Distinguishing Hidden Markov Chains

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2933608 ◽

2016 ◽

Cited By ~ 1

Author(s):

Stefan Kiefer ◽

A. Prasad Sistla

Keyword(s):

Markov Chains ◽

Hidden Markov ◽

Hidden Markov Chains

Download Full-text

Stochastic mechanics of graph rewriting

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2934537 ◽

2016 ◽

Cited By ~ 9

Author(s):

Nicolas Behr ◽

Vincent Danos ◽

Ilias Garnier

Keyword(s):

Stochastic Mechanics ◽

Graph Rewriting

Download Full-text

Winning Cores in Parity Games

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2933589 ◽

2016 ◽

Author(s):

Steen Vester

Keyword(s):

Parity Games

Download Full-text

Definability equals recognizability for graphs of bounded treewidth

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2934508 ◽

2016 ◽

Cited By ~ 6

Author(s):

Mikołaj Bojańczyk ◽

Michał Pilipczuk

Keyword(s):

Bounded Treewidth

Download Full-text

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Data Communicating Processes with Unreliable Channels

Factor Varieties and Symbolic Computation

Proving Differential Privacy via Probabilistic Couplings

First-order definability of rational transductions

Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete

Querying Visible and Invisible Information

Distinguishing Hidden Markov Chains

Stochastic mechanics of graph rewriting

Winning Cores in Parity Games

Definability equals recognizability for graphs of bounded treewidth

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16
Latest Publications