default search action
ACM SIGLOG News, Volume 3
Volume 3, Number 1, January 2016
- Mikolaj Bojanczyk:
Automata column. 3 - Sylvain Schmitz:
The complexity of reachability in vector addition systems. 4-21
- Neil Immerman:
Complexity column. 22 - Michael Elberfeld:
Variants of Courcelle's Theorem for complexity classes inside P. 23-32
- Matteo Maffei:
Security & privacy column. 33 - Gilles Barthe, Marco Gaboardi
, Justin Hsu, Benjamin C. Pierce:
Programming language techniques for differential privacy. 34-53
- Michael W. Mislove:
Semantics column. 54-56 - Andrew M. Pitts:
Nominal techniques. 57-72
- Jorge A. Pérez:
Conference reports. 73 - Jorge A. Pérez:
Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. 74-77
Volume 3, Number 2, April 2016
- Neil Immerman:
Complexity column. 29 - Thomas Schwentick, Thomas Zeume:
Dynamic complexity: recent updates. 30-52
- Michael W. Mislove:
Semantics column. 53-55 - Andrzej S. Murawski, Nikos Tzevelekos:
An invitation to game semantics. 56-67
- Neha Rungta:
Verification column. 68 - Franco Raimondi:
Using multi-agent systems to go beyond temporal patterns verification. 69-77
- Jorge A. Pérez:
Conference reports. 78 - Fritz Henglein:
2016 POPL impressions. 79-81 - Alexandra Silva:
Report on the POPL mentoring workshop (PLMW 2016). 82-83
Volume 3, Number 3, July 2016
- Mikolaj Bojanczyk:
Automata column. 3 - Emmanuel Filiot
Transducers, logic and algebra for functions of finite words. 4-19 - Neil Immerman:
Complexity column. 20 - Toniann Pitassi, Iddo Tzameret:
Algebraic proof complexity: progress, frontiers and challenges. 21-43 - Michael W. Mislove, Prakash Panangaden:
Semantics column. 44-46 - Stephen Brookes, Peter W. O'Hearn:
Concurrent separation logic. 47-65 - Neha Rungta:
Verification column. 66 - César A. Muñoz, Aaron Dutle, Anthony Narkawicz, Jason Upchurch:
Unmanned aircraft systems in the national airspace system: a formal methods perspective. 67-76
- Jorge A. Pérez:
Conference reports. 77 - Hugo Torres Vieira:
DisCoTec 2016 conference report. 78-79 - Daniela Petrisan:
SIGLOG monthly 184. 80-96
Volume 3, Number 4, October 2016
- Mikolaj Bojanczyk:
Automata column. 12 - Igor Walukiewicz:
Automata theory and higher-order model-checking. 13-31 - Benjamin Rossman:
An improved homomorphism preservation theorem from lower bounds in circuit complexity. 33-46 - Jorge A. Pérez:
Conference reports. 47 - Paul Fodor:
10th International Web Rule Symposium (RuleML 2016) report. 48-49 - Sandra Alves:
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. 50-54 - Daniela Petrisan:
SIGLOG Monthly 186. 55-72
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.
last updated on 2024-12-23 19:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: