More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

ACM SIGLOG News, Volume 2

> Home > Journals > ACM SIGLOG News

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 2, Number 1, January 2015

Automata

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Bojanczyk15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Bojanczyk15
Mikolaj Bojanczyk:
McNaughton's theorem. 5-6

Complexity

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Dawar15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Dawar15
Anuj Dawar:
The nature and power of fixed-point logic with counting. 8-21

Security and privacy

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Hritcu15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Hritcu15
Catalin Hritcu:
The Joint EasyCrypt-F*-CryptoVerif School 2014. 23-24
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Cortier15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Cortier15
Véronique Cortier:
Formal verification of e-voting: solutions and challenges. 25-34

Semantics

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/AwodeyH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/AwodeyH15
Steve Awodey, Robert Harper:
Homotopy type theory: unified foundations of mathematics and computation. 37-44

Survey

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/AlurHV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/AlurHV15
Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. 46-51

Volume 2, Number 2, April 2015

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Bojanczyk15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Bojanczyk15a
Mikolaj Bojanczyk:
Automata column. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/OuaknineW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/OuaknineW15
Joël Ouaknine, James Worrell:
On linear recurrence sequences and loop termination. 4-13
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Mislove15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Mislove15
Michael W. Mislove:
Semantics column. 14-15
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/000115
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/000115
Alexandra Silva:
A short introduction to the coalgebraic method. 16-27
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Rungta15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Rungta15
Neha Rungta:
Verification column. 28
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/GurfinkelKN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/GurfinkelKN15
Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas:
Algorithmic logic-based verification. 29-38

Volume 2, Number 3, July 2015

Automata column

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/PlaceZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/PlaceZ15
Thomas Place, Marc Zeitoun:
The tale of the quantifier alternation hierarchy of first-order logic over words. 4-17

Complexity column

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Nordstrom15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Nordstrom15
Jakob Nordström:
On the interplay between proof complexity and SAT solving. 19-44

Security & privacy column

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Chatzikokolakis15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Chatzikokolakis15
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
Location privacy via geo-indistinguishability. 46-69

Semantics column

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Panangaden15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Panangaden15
Prakash Panangaden:
Probabilistic bisimulation. 72-84

Volume 2, Number 4, October 2015

Automata

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Bojanczyk15b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Bojanczyk15b
Mikolaj Bojanczyk:
Automata column. 3-15

Verification

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Cofer15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Cofer15
Darren D. Cofer:
You keep using that word. 17-25

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.