default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGLOG News, Volume 4
Volume 4, Number 1, January 2017
- Luca Aceto:
Spotlight on Marta Kwiatkowska. 3-4 - Matteo Maffei:
Security & privacy column. 5 - Vineet Rajani
, Iulia Bastys, Willard Rafnsson, Deepak Garg:
Type systems for information flow control: the question of granularity. 6-21 - Michael W. Mislove:
Semantics column. 22-23 - Val Tannen:
Provenance analysis for FOL model checking. 24-36 - Jorge A. Pérez:
Conference reports. 37 - Pawel Sobocinski:
Report on LiCS 2016. 38-39 - Jorge A. Pérez:
Report on CWI lectures in honor of Adriaan van Wijngaarden. 40-41 - Daniela Petrisan:
SIGLOG monthly 189. 42-63
Volume 4, Number 2, April 2017
- Mikolaj Bojanczyk:
Automata column. 3 - Thomas Colcombet, Daniela Petrisan:
Automata and minimization. 4-27 - Neil Immerman:
Complexity column. 28 - Mai Gehrke, Andreas Krebs:
Stone duality for languages and complexity. 29-53 - Neha Rungta:
Verification column. 54 - Stephen F. Siegel:
CIVL solutions to verifythis 2016 challenges. 55-75 - Chao Wang, Patrick Schaumont:
Security by compilation: an automated approach to comprehensive side-channel resistance. 76-89 - Jorge A. Pérez:
Conference reports. 90 - Bernardo Toninho:
Report on POPL 2017. 91-93 - Daniela Petrisan:
SIGLOG monthly 191. 94
Volume 4, Number 3, July 2017
- Prakash Panangaden:
The 2017 Alonzo Church award. 3-9 - Prakash Panangaden:
2017 LICS test-of-time award. 10 - Prakash Panangaden:
2017 Kleene award. 10 - Mikolaj Bojanczyk:
Automata column. 11 - Luc Segoufin:
A survey on guarded negation. 12-26 - Neil Immerman:
Complexity column. 27 - R. Ryan Williams:
Some ways of thinking algorithmically about impossibility. 28-40 - Michael W. Mislove:
Semantics column. 41-42 - Jean Krivine:
Systems biology. 43-61 - Jorge A. Pérez:
Conference reports. 62 - Andrej Bauer:
Report on MFPS XXXIII and CALCO 2017. 63-64 - Daniela Petrisan:
SIGLOG monthly 194. 65-80
Volume 4, Number 4, October 2017
- Mikolaj Bojanczyk:
Automata column. 9 - Nathanaël Fijalkow:
Undecidability results for probabilistic automata. 10-17 - Matteo Maffei:
Security & privacy column. 18 - David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse:
Symbolically analyzing security protocols using tamarin. 19-30 - Michael W. Mislove:
Semantics column. 31-32 - Franck van Breugel:
Probabilistic bisimilarity distances. 33-51 - Daniela Petrisan:
Siglog monthly 196. 52-63
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 2025-12-05 22:25 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:
