default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGLOG News, Volume 10
Volume 10, Number 1, January 2023
- Daniele Gorla:
From the Editor-in-Chief. 1 - Catuscia Palamidessi:
Chair's Letter. 2 - Steve Kremer:
Security and Privacy Column. 3 - Natasha Fernandes
:
Quantitative Information Flow Techniques for Studying Optimality in Differential Privacy. 4-22 - Ranko Lazic:
Verification Column. 23 - Udi Boker, Karoliina Lehtinen:
When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism. 24-51 - David Purser:
SIGLOG Monthly 233: January 2023. 52-61
Volume 10, Number 2, April 2023
- Christel Baier:
Verification Column. 3 - Bernd Finkbeiner:
Logics and Algorithms for Hyperproperties. 4-23 - David Purser:
SIGLOG Monthly 236: April 2023. 24-43
Volume 10, Number 3, July 2023
- Christel Baier:
Verification Column. 3 - Suguman Bansal:
Automata-Based Quantitative Reasoning. 4-19 - David Purser:
SIGLOG Monthly 239: July 2023. 20-25
Volume 10, Number 4, October 2023
- Daniele Gorla:
From the Editor-in-Chief. 1 - Andrei Bulatov:
Complexity Column. 2 - Ruiwen Dong:
Recent Advances in Algorithmic Problems for Semigroups. 3-23 - Christel Baier:
Verification Column. 24 - Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann:
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. 25-40 - Joost-Pieter Katoen:
Conference Reports. 41 - Daniele Gorla:
CADE and FSCD: A Successful Joint Venture in 2023. 42-43 - Marco Gaboardi, Igor Walukiewicz:
Report on Logic in Computer Science (LICS'23). 44-45 - David Purser:
SIGLOG Monthly 242. 46-52
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-02-21 19:38 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:
