default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/siglog:"
download as .bib file
@article{DBLP:journals/siglog/AbramskyR24,
author = {Samson Abramsky and
Luca Reggio},
title = {An Invitation to Game Comonads},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {3},
pages = {5--48},
year = {2024},
url = {https://doi.org/10.1145/3687256.3687260},
doi = {10.1145/3687256.3687260},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/AbramskyR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Anastasiadi24,
author = {Elli Anastasiadi},
title = {{SIGLOG} Monthly 248},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {84--91},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665462},
doi = {10.1145/3665453.3665462},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Anastasiadi24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Anastasiadi24a,
author = {Elli Anastasiadi},
title = {{SIGLOG} Monthly 251: July 2024},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {3},
pages = {49--51},
year = {2024},
url = {https://doi.org/10.1145/3687256.3687261},
doi = {10.1145/3687256.3687261},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Anastasiadi24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BaeldeJ24,
author = {David Baelde and
St{\'{e}}phanie Delaune and
Charlie Jacomme and
Adrien Koutsos and
Joseph Lallemand},
title = {The Squirrel Prover and its Logic},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {62--83},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665461},
doi = {10.1145/3665453.3665461},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/BaeldeJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bulatov24,
author = {Andrei Bulatov},
title = {Complexity Column},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {34},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665458},
doi = {10.1145/3665453.3665458},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bulatov24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/DawarP24,
author = {Anuj Dawar and
Benedikt Pago},
title = {A Logic for {P:} Are we Nearly There Yet?},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {35--60},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665459},
doi = {10.1145/3665453.3665459},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/DawarP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Gorla24,
author = {Daniele Gorla},
title = {From the Editor-in-Chief},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {1},
pages = {1},
year = {2024},
url = {https://doi.org/10.1145/3649235.3649236},
doi = {10.1145/3649235.3649236},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Gorla24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Gorla24a,
author = {Daniele Gorla},
title = {The First 10 Volumes of {SIGLOG} News: a retrospective},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {1},
pages = {2--10},
year = {2024},
url = {https://doi.org/10.1145/3649235.3649237},
doi = {10.1145/3649235.3649237},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Gorla24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Gorla24b,
author = {Daniele Gorla},
title = {From the Editor-in-Chief},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {1},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665454},
doi = {10.1145/3665453.3665454},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Gorla24b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Gorla24c,
author = {Daniele Gorla},
title = {From the Editor-in-Chief},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {3},
pages = {1},
year = {2024},
url = {https://doi.org/10.1145/3687256.3687257},
doi = {10.1145/3687256.3687257},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Gorla24c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Kremer24,
author = {Steve Kremer},
title = {Security and Privacy Column},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {61},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665460},
doi = {10.1145/3665453.3665460},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Kremer24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lemay24,
author = {Jean{-}Simon Pacaud Lemay},
title = {A Brief Survey on the Categorical Semantics for Geometry of Interaction
In Memory of Phil Scott},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {4--33},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665457},
doi = {10.1145/3665453.3665457},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lemay24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Palamidessi24,
author = {Catuscia Palamidessi},
title = {Chair's Letter},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {2},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665455},
doi = {10.1145/3665453.3665455},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Palamidessi24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Palamidessi24a,
author = {Catuscia Palamidessi},
title = {Chair's Letter},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {3},
pages = {2},
year = {2024},
url = {https://doi.org/10.1145/3687256.3687258},
doi = {10.1145/3687256.3687258},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Palamidessi24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Panangaden24,
author = {Prakash Panangaden},
title = {Semantics Column},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {2},
pages = {3},
year = {2024},
url = {https://doi.org/10.1145/3665453.3665456},
doi = {10.1145/3665453.3665456},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Panangaden24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Panangaden24a,
author = {Prakash Panangaden},
title = {Semantics Column},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {3},
pages = {4},
year = {2024},
url = {https://doi.org/10.1145/3687256.3687259},
doi = {10.1145/3687256.3687259},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Panangaden24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/PurserA24,
author = {David Purser and
Elli Anastasiadi},
title = {{SIGLOG} Monthly 245: January 2024},
journal = {{ACM} {SIGLOG} News},
volume = {11},
number = {1},
pages = {13--20},
year = {2024},
url = {https://doi.org/10.1145/3649235.3649238},
doi = {10.1145/3649235.3649238},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/PurserA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Baier23,
author = {Christel Baier},
title = {Verification Column},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {2},
pages = {3},
year = {2023},
url = {https://doi.org/10.1145/3610392.3610393},
doi = {10.1145/3610392.3610393},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Baier23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Baier23a,
author = {Christel Baier},
title = {Verification Column},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {3},
pages = {3},
year = {2023},
url = {https://doi.org/10.1145/3617576.3617577},
doi = {10.1145/3617576.3617577},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Baier23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Baier23b,
author = {Christel Baier},
title = {Verification Column},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {24},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636366},
doi = {10.1145/3636362.3636366},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Baier23b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bansal23,
author = {Suguman Bansal},
title = {Automata-Based Quantitative Reasoning},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {3},
pages = {4--19},
year = {2023},
url = {https://doi.org/10.1145/3617576.3617578},
doi = {10.1145/3617576.3617578},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bansal23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BentkampBNTW23,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Visa Nummelin and
Sophie Tourret and
Uwe Waldmann},
title = {Complete and Efficient Higher-Order Reasoning via Lambda-Superposition},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {25--40},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636367},
doi = {10.1145/3636362.3636367},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/BentkampBNTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BokerL23,
author = {Udi Boker and
Karoliina Lehtinen},
title = {When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {1},
pages = {24--51},
year = {2023},
url = {https://doi.org/10.1145/3584676.3584682},
doi = {10.1145/3584676.3584682},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/BokerL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bulatov23,
author = {Andrei Bulatov},
title = {Complexity Column},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {2},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636364},
doi = {10.1145/3636362.3636364},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bulatov23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Dong23,
author = {Ruiwen Dong},
title = {Recent Advances in Algorithmic Problems for Semigroups},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {3--23},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636365},
doi = {10.1145/3636362.3636365},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Dong23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Fernandes23,
author = {Natasha Fernandes},
title = {Quantitative Information Flow Techniques for Studying Optimality in
Differential Privacy},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {1},
pages = {4--22},
year = {2023},
url = {https://doi.org/10.1145/3584676.3584680},
doi = {10.1145/3584676.3584680},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Fernandes23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Finkbeiner23,
author = {Bernd Finkbeiner},
title = {Logics and Algorithms for Hyperproperties},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {2},
pages = {4--23},
year = {2023},
url = {https://doi.org/10.1145/3610392.3610394},
doi = {10.1145/3610392.3610394},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Finkbeiner23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/GaboardiW23,
author = {Marco Gaboardi and
Igor Walukiewicz},
title = {Report on Logic in Computer Science (LICS'23)},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {44--45},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636370},
doi = {10.1145/3636362.3636370},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/GaboardiW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Gorla23,
author = {Daniele Gorla},
title = {From the Editor-in-Chief},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {1},
pages = {1},
year = {2023},
url = {https://doi.org/10.1145/3584676.3584677},
doi = {10.1145/3584676.3584677},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Gorla23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Gorla23a,
author = {Daniele Gorla},
title = {From the Editor-in-Chief},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {1},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636363},
doi = {10.1145/3636362.3636363},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Gorla23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Gorla23b,
author = {Daniele Gorla},
title = {{CADE} and {FSCD:} {A} Successful Joint Venture in 2023},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {42--43},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636369},
doi = {10.1145/3636362.3636369},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Gorla23b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Katoen23,
author = {Joost{-}Pieter Katoen},
title = {Conference Reports},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {41},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636368},
doi = {10.1145/3636362.3636368},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Katoen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Kremer23,
author = {Steve Kremer},
title = {Security and Privacy Column},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {1},
pages = {3},
year = {2023},
url = {https://doi.org/10.1145/3584676.3584679},
doi = {10.1145/3584676.3584679},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Kremer23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic23,
author = {Ranko Lazic},
title = {Verification Column},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {1},
pages = {23},
year = {2023},
url = {https://doi.org/10.1145/3584676.3584681},
doi = {10.1145/3584676.3584681},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Lazic23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Palamidessi23,
author = {Catuscia Palamidessi},
title = {Chair's Letter},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {1},
pages = {2},
year = {2023},
url = {https://doi.org/10.1145/3584676.3584678},
doi = {10.1145/3584676.3584678},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Palamidessi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser23,
author = {David Purser},
title = {{SIGLOG} Monthly 233: January 2023},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {1},
pages = {52--61},
year = {2023},
url = {https://doi.org/10.1145/3584676.3584683},
doi = {10.1145/3584676.3584683},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Purser23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser23a,
author = {David Purser},
title = {{SIGLOG} Monthly 236: April 2023},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {2},
pages = {24--43},
year = {2023},
url = {https://doi.org/10.1145/3610392.3610395},
doi = {10.1145/3610392.3610395},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser23b,
author = {David Purser},
title = {{SIGLOG} Monthly 239: July 2023},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {3},
pages = {20--25},
year = {2023},
url = {https://doi.org/10.1145/3617576.3617579},
doi = {10.1145/3617576.3617579},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser23b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser23c,
author = {David Purser},
title = {{SIGLOG} Monthly 242},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {4},
pages = {46--52},
year = {2023},
url = {https://doi.org/10.1145/3636362.3636371},
doi = {10.1145/3636362.3636371},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Purser23c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Aiswarya22,
author = {C. Aiswarya},
title = {How treewidth helps in verification},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {1},
pages = {6--21},
year = {2022},
url = {https://doi.org/10.1145/3527540.3527542},
doi = {10.1145/3527540.3527542},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Aiswarya22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/AlvesKS22,
author = {Sandra Alves and
Sandra Kiefer and
Ana Sokolova},
title = {Report on women in logic 2020 {\&} 2021},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {2},
pages = {31--33},
year = {2022},
url = {https://doi.org/10.1145/3537668.3537672},
doi = {10.1145/3537668.3537672},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/AlvesKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bulatov22,
author = {Andrei Bulatov},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {3},
pages = {29},
year = {2022},
url = {https://doi.org/10.1145/3559736.3559739},
doi = {10.1145/3559736.3559739},
timestamp = {Tue, 11 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bulatov22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/HansenZ22,
author = {Helle Hvid Hansen and
Fabio Zanasi},
title = {Report on coalgebraic methods in computer science 2022},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {3},
pages = {61--62},
year = {2022},
url = {https://doi.org/10.1145/3559736.3559742},
doi = {10.1145/3559736.3559742},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/HansenZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Kozen22,
author = {Dexter Kozen},
title = {2022 Alonzo Church Award Announcement},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {4},
pages = {2--3},
year = {2022},
url = {https://doi.org/10.1145/3583660.3583662},
doi = {10.1145/3583660.3583662},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Kozen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/KrokhinO22,
author = {Andrei A. Krokhin and
Jakub Oprsal},
title = {An invitation to the promise constraint satisfaction problem},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {3},
pages = {30--59},
year = {2022},
url = {https://doi.org/10.1145/3559736.3559740},
doi = {10.1145/3559736.3559740},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/KrokhinO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic22,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {1},
pages = {5},
year = {2022},
url = {https://doi.org/10.1145/3527540.3527541},
doi = {10.1145/3527540.3527541},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic22a,
author = {Ranko Lazic},
title = {Verification Column},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {4},
pages = {26},
year = {2022},
url = {https://doi.org/10.1145/3583660.3583665},
doi = {10.1145/3583660.3583665},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Lazic22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Levy22,
author = {Paul Blain Levy},
title = {Call-by-push-value},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {2},
pages = {7--29},
year = {2022},
url = {https://doi.org/10.1145/3537668.3537670},
doi = {10.1145/3537668.3537670},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Levy22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove22,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {2},
pages = {3--6},
year = {2022},
url = {https://doi.org/10.1145/3537668.3537669},
doi = {10.1145/3537668.3537669},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Murawski22,
author = {Andrzej S. Murawski},
title = {From the Editor},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {4},
pages = {1},
year = {2022},
url = {https://doi.org/10.1145/3583660.3583661},
doi = {10.1145/3583660.3583661},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Murawski22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Pavlogiannis22,
author = {Andreas Pavlogiannis},
title = {CFL/Dyck Reachability: An Algorithmic Perspective},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {4},
pages = {5--25},
year = {2022},
url = {https://doi.org/10.1145/3583660.3583664},
doi = {10.1145/3583660.3583664},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Pavlogiannis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez22,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {1},
pages = {22},
year = {2022},
url = {https://doi.org/10.1145/3527540.3527543},
doi = {10.1145/3527540.3527543},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez22a,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {2},
pages = {30},
year = {2022},
url = {https://doi.org/10.1145/3537668.3537671},
doi = {10.1145/3537668.3537671},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez22b,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {3},
pages = {60},
year = {2022},
url = {https://doi.org/10.1145/3559736.3559741},
doi = {10.1145/3559736.3559741},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez22b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser22,
author = {David Purser},
title = {{SIGLOG} monthly 221},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {1},
pages = {25--34},
year = {2022},
url = {https://doi.org/10.1145/3527540.3527545},
doi = {10.1145/3527540.3527545},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser22a,
author = {David Purser},
title = {{SIGLOG} monthly 224},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {2},
pages = {34--50},
year = {2022},
url = {https://doi.org/10.1145/3537668.3537673},
doi = {10.1145/3537668.3537673},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser22b,
author = {David Purser},
title = {{SIGLOG} monthly 227},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {3},
pages = {63},
year = {2022},
url = {https://doi.org/10.1145/3559736.3559743},
doi = {10.1145/3559736.3559743},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser22b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser22c,
author = {David Purser},
title = {{SIGLOG} Monthly 230},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {4},
pages = {44--49},
year = {2022},
url = {https://doi.org/10.1145/3583660.3583667},
doi = {10.1145/3583660.3583667},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Purser22c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Shirmohammadi22,
author = {Mahsa Shirmohammadi},
title = {A Beginner's Tutorial on Strategy Complexity in Stochastic Games:
Can the King Cautiously Eliminate Robin Hood?},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {4},
pages = {27--43},
year = {2022},
url = {https://doi.org/10.1145/3583660.3583666},
doi = {10.1145/3583660.3583666},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Shirmohammadi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Srivathsan22,
author = {B. Srivathsan},
title = {Reachability in timed automata},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {3},
pages = {6--28},
year = {2022},
url = {https://doi.org/10.1145/3559736.3559738},
doi = {10.1145/3559736.3559738},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Srivathsan22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Veltri22,
author = {Niccol{\`{o}} Veltri},
title = {Report on {PPDP/LOPSTR} 2021},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {1},
pages = {23--24},
year = {2022},
url = {https://doi.org/10.1145/3527540.3527544},
doi = {10.1145/3527540.3527544},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Veltri22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Viswanathan22,
author = {Mahesh Viswanathan},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {3},
pages = {5},
year = {2022},
url = {https://doi.org/10.1145/3559736.3559737},
doi = {10.1145/3559736.3559737},
timestamp = {Sat, 17 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Viswanathan22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Viswanathan22a,
author = {Mahesh Viswanathan},
title = {Automata Column},
journal = {{ACM} {SIGLOG} News},
volume = {9},
number = {4},
pages = {4},
year = {2022},
url = {https://doi.org/10.1145/3583660.3583663},
doi = {10.1145/3583660.3583663},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Viswanathan22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bruyere21,
author = {V{\'{e}}ronique Bruy{\`{e}}re},
title = {Synthesis of equilibria in infinite-duration games on graphs},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {2},
pages = {4--29},
year = {2021},
url = {https://doi.org/10.1145/3467001.3467003},
doi = {10.1145/3467001.3467003},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Bruyere21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/DemriQ21,
author = {St{\'{e}}phane Demri and
Karin Quaas},
title = {Concrete domains in logics: a survey},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {3},
pages = {6--29},
year = {2021},
url = {https://doi.org/10.1145/3477986.3477988},
doi = {10.1145/3477986.3477988},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/DemriQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Esparza21,
author = {Javier Esparza},
title = {The 2021 Alonzo Church award for outstanding contributions to logic
and computation: call for nominations},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {1},
pages = {3},
year = {2021},
url = {https://doi.org/10.1145/3458597.3458598},
doi = {10.1145/3458597.3458598},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Esparza21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Gorla21,
author = {Daniele Gorla},
title = {The 2021 experience of logic in computer science},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {4},
pages = {23--24},
year = {2021},
url = {https://doi.org/10.1145/3527372.3527376},
doi = {10.1145/3527372.3527376},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Gorla21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Kucera21,
author = {Anton{\'{\i}}n Kucera},
title = {Algorithmic analysis of termination and counter complexity in vector
addition systems with states: a survey of recent results},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {4},
pages = {4--21},
year = {2021},
url = {https://doi.org/10.1145/3527372.3527374},
doi = {10.1145/3527372.3527374},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Kucera21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic21,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {2},
pages = {3},
year = {2021},
url = {https://doi.org/10.1145/3467001.3467002},
doi = {10.1145/3467001.3467002},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic21a,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {3},
pages = {5},
year = {2021},
url = {https://doi.org/10.1145/3477986.3477987},
doi = {10.1145/3477986.3477987},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic21b,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {4},
pages = {3},
year = {2021},
url = {https://doi.org/10.1145/3527372.3527373},
doi = {10.1145/3527372.3527373},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic21b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez21,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {4},
pages = {22},
year = {2021},
url = {https://doi.org/10.1145/3527372.3527375},
doi = {10.1145/3527372.3527375},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser21,
author = {David Purser},
title = {{SIGLOG} monthly 209},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {1},
pages = {4--14},
year = {2021},
url = {https://doi.org/10.1145/3458597.3458599},
doi = {10.1145/3458597.3458599},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser21a,
author = {David Purser},
title = {{SIGLOG} monthly 212},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {2},
pages = {30--45},
year = {2021},
url = {https://doi.org/10.1145/3467001.3467004},
doi = {10.1145/3467001.3467004},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser21b,
author = {David Purser},
title = {{SIGLOG} monthly 215},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {3},
pages = {30--39},
year = {2021},
url = {https://doi.org/10.1145/3477986.3477989},
doi = {10.1145/3477986.3477989},
timestamp = {Mon, 16 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser21b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Purser21c,
author = {David Purser},
title = {{SIGLOG} monthly 218},
journal = {{ACM} {SIGLOG} News},
volume = {8},
number = {4},
pages = {25--32},
year = {2021},
url = {https://doi.org/10.1145/3527372.3527377},
doi = {10.1145/3527372.3527377},
timestamp = {Thu, 31 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Purser21c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/AlvimCOV20,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Carlos Olarte and
Frank D. Valencia},
title = {Catuscia Palamidessi: a journey from logic and concurrency to security
and privacy},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {47--50},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385640},
doi = {10.1145/3385634.3385640},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/AlvimCOV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Atig20,
author = {Mohamed Faouzi Atig},
title = {What is decidable under the {TSO} memory model?},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {4},
pages = {4--19},
year = {2020},
url = {https://doi.org/10.1145/3458593.3458595},
doi = {10.1145/3458593.3458595},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Atig20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BerkholzGS20,
author = {Christoph Berkholz and
Fabian Gerhardt and
Nicole Schweikardt},
title = {Constant delay enumeration for conjunctive queries: a tutorial},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {4--33},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385636},
doi = {10.1145/3385634.3385636},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/BerkholzGS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bertrand20,
author = {Nathalie Bertrand},
title = {Model checking randomized distributed algorithms},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {35--45},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385638},
doi = {10.1145/3385634.3385638},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bertrand20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Blondin20,
author = {Michael Blondin},
title = {The ABCs of petri net reachability relaxations},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {3},
pages = {29--43},
year = {2020},
url = {https://doi.org/10.1145/3436980.3436984},
doi = {10.1145/3436980.3436984},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Blondin20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/CalvaneseFM20,
author = {Diego Calvanese and
Paul Fodor and
Marco Montali},
title = {Report on the 3rd International Joint Conference on Rules and Reasoning
(RuleML+RR 2019)},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {2},
pages = {16--18},
year = {2020},
url = {https://doi.org/10.1145/3397619.3397623},
doi = {10.1145/3397619.3397623},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/CalvaneseFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Daviaud20,
author = {Laure Daviaud},
title = {Register complexity and determinisation of max-plus automata},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {2},
pages = {4--14},
year = {2020},
url = {https://doi.org/10.1145/3397619.3397621},
doi = {10.1145/3397619.3397621},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Daviaud20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman20,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {3},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385635},
doi = {10.1145/3385634.3385635},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman20a,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {3},
pages = {4},
year = {2020},
url = {https://doi.org/10.1145/3436980.3436981},
doi = {10.1145/3436980.3436981},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Immerman20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Kiefer20,
author = {Sandra Kiefer},
title = {The Weisfeiler-Leman algorithm: an exploration of its power},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {3},
pages = {5--27},
year = {2020},
url = {https://doi.org/10.1145/3436980.3436982},
doi = {10.1145/3436980.3436982},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Kiefer20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic20,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {34},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385637},
doi = {10.1145/3385634.3385637},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic20a,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {2},
pages = {3},
year = {2020},
url = {https://doi.org/10.1145/3397619.3397620},
doi = {10.1145/3397619.3397620},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic20b,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {3},
pages = {28},
year = {2020},
url = {https://doi.org/10.1145/3436980.3436983},
doi = {10.1145/3436980.3436983},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic20c,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {4},
pages = {3},
year = {2020},
url = {https://doi.org/10.1145/3458593.3458594},
doi = {10.1145/3458593.3458594},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic20c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Murawski20,
author = {Andrzej S. Murawski},
title = {The 2020 Alonzo Church award for outstanding contributions to logic
and computation: call for nominations},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {51},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385641},
doi = {10.1145/3385634.3385641},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Murawski20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez20,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {46},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385639},
doi = {10.1145/3385634.3385639},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Perez20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez20a,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {2},
pages = {15},
year = {2020},
url = {https://doi.org/10.1145/3397619.3397622},
doi = {10.1145/3397619.3397622},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Perez20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez20b,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {3},
pages = {44},
year = {2020},
url = {https://doi.org/10.1145/3436980.3436985},
doi = {10.1145/3436980.3436985},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Perez20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan20,
author = {Daniela Petrisan},
title = {Siglog monthly 204},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {52--73},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385642},
doi = {10.1145/3385634.3385642},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan20a,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 205},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {2},
pages = {19--39},
year = {2020},
url = {https://doi.org/10.1145/3397619.3397624},
doi = {10.1145/3397619.3397624},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan20b,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 206},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {3},
pages = {47--54},
year = {2020},
url = {https://doi.org/10.1145/3436980.3436987},
doi = {10.1145/3436980.3436987},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan20c,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 207},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {4},
pages = {20--26},
year = {2020},
url = {https://doi.org/10.1145/3458593.3458596},
doi = {10.1145/3458593.3458596},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan20c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Vicary20,
author = {Jamie Vicary},
title = {Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/{\textasciitilde}vicaryjo/owls},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {3},
pages = {45--46},
year = {2020},
url = {https://doi.org/10.1145/3436980.3436986},
doi = {10.1145/3436980.3436986},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Vicary20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk19,
author = {Mikolaj Bojanczyk},
title = {Automata Column},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {1},
pages = {4},
year = {2019},
url = {https://doi.org/10.1145/3313909.3313910},
doi = {10.1145/3313909.3313910},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk19a,
author = {Mikolaj Bojanczyk},
title = {The Hilbert method for transducer equivalence},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {1},
pages = {5--17},
year = {2019},
url = {https://doi.org/10.1145/3313909.3313911},
doi = {10.1145/3313909.3313911},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/FranzleCK19,
author = {Martin Fr{\"{a}}nzle and
Mingshuai Chen and
Paul Kr{\"{o}}ger},
title = {In memory of Oded Maler: automatic reachability analysis of hybrid-state
automata},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {1},
pages = {19--39},
year = {2019},
url = {https://doi.org/10.1145/3313909.3313913},
doi = {10.1145/3313909.3313913},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/FranzleCK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Hague19,
author = {Matthew Hague},
title = {Strings at {MOSCA}},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {4},
pages = {4--22},
year = {2019},
url = {https://doi.org/10.1145/3373394.3373396},
doi = {10.1145/3373394.3373396},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Hague19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lahav19,
author = {Ori Lahav},
title = {Verification under causally consistent shared memory},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {2},
pages = {43--56},
year = {2019},
url = {https://doi.org/10.1145/3326938.3326942},
doi = {10.1145/3326938.3326942},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lahav19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic19,
author = {Ranko Lazic},
title = {Verification Column},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {1},
pages = {18},
year = {2019},
url = {https://doi.org/10.1145/3313909.3313912},
doi = {10.1145/3313909.3313912},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic19a,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {2},
pages = {42},
year = {2019},
url = {https://doi.org/10.1145/3326938.3326941},
doi = {10.1145/3326938.3326941},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic19b,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {4},
pages = {3},
year = {2019},
url = {https://doi.org/10.1145/3373394.3373395},
doi = {10.1145/3373394.3373395},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lluch-Lafuente19,
author = {Alberto Lluch{-}Lafuente},
title = {DisCoTec 2019: the 14th international federated conference on distributed
computing techniques},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {4},
pages = {24--25},
year = {2019},
url = {https://doi.org/10.1145/3373394.3373398},
doi = {10.1145/3373394.3373398},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lluch-Lafuente19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove19,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {2},
pages = {3--4},
year = {2019},
url = {https://doi.org/10.1145/3326938.3326939},
doi = {10.1145/3326938.3326939},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/MorakPS19,
author = {Michael Morak and
Anna Prianichnikova and
Ana Sokolova},
title = {Helmut Veith memorial workshop 2019 report},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {3},
pages = {7--8},
year = {2019},
url = {https://doi.org/10.1145/3357518.3357520},
doi = {10.1145/3357518.3357520},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/MorakPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez19,
author = {Jorge A. P{\'{e}}rez},
title = {Conference Reports},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {1},
pages = {40},
year = {2019},
url = {https://doi.org/10.1145/3313909.3313914},
doi = {10.1145/3313909.3313914},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Perez19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez19a,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {3},
pages = {6},
year = {2019},
url = {https://doi.org/10.1145/3357518.3357519},
doi = {10.1145/3357518.3357519},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Perez19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez19b,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {4},
pages = {23},
year = {2019},
url = {https://doi.org/10.1145/3373394.3373397},
doi = {10.1145/3373394.3373397},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Perez19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan19,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 202},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {3},
pages = {9--18},
year = {2019},
url = {https://doi.org/10.1145/3357518.3357521},
doi = {10.1145/3357518.3357521},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan19a,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 203},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {4},
pages = {26--43},
year = {2019},
url = {https://doi.org/10.1145/3373394.3373399},
doi = {10.1145/3373394.3373399},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Pym19,
author = {David J. Pym},
title = {Resource semantics: logic as a modelling technology},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {2},
pages = {5--41},
year = {2019},
url = {https://doi.org/10.1145/3326938.3326940},
doi = {10.1145/3326938.3326940},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Pym19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/RozmanPFM19,
author = {Mihaela Rozman and
Valeria de Paiva and
Amy P. Felty and
Ursula Martin},
title = {Women in Logic 2018 workshop report},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {1},
pages = {41--42},
year = {2019},
url = {https://doi.org/10.1145/3313909.3313915},
doi = {10.1145/3313909.3313915},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/RozmanPFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/AhmedFG18,
author = {Daniele Ahmed and
Katherine Fletcher and
Julian Gutierrez},
title = {Federated logic conference (FLoC) at Oxford},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {4},
pages = {52--53},
year = {2018},
url = {https://doi.org/10.1145/3292048.3292055},
doi = {10.1145/3292048.3292055},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/AhmedFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BaierD18,
author = {Christel Baier and
Clemens Dubslaff},
title = {From verification to synthesis under cost-utility constraints},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {4},
pages = {26--46},
year = {2018},
url = {https://doi.org/10.1145/3292048.3292052},
doi = {10.1145/3292048.3292052},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/BaierD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk18,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {1},
pages = {13},
year = {2018},
url = {https://doi.org/10.1145/3183645.3183646},
doi = {10.1145/3183645.3183646},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk18a,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {3},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212020},
doi = {10.1145/3212019.3212020},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk18b,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {3},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242955},
doi = {10.1145/3242953.3242955},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bulatov18,
author = {Andrei A. Bulatov},
title = {Constraint satisfaction problems: complexity and algorithms},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {4},
pages = {4--24},
year = {2018},
url = {https://doi.org/10.1145/3292048.3292050},
doi = {10.1145/3292048.3292050},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bulatov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/CiabattoniGR18,
author = {Agata Ciabattoni and
Francesco A. Genco and
Revantha Ramanayake},
title = {Substructural logics: \emph{semantics, proof theory, and applications.}
report on the second {SYSMICS} workshop},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {58--60},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212027},
doi = {10.1145/3212019.3212027},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/CiabattoniGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/CiabattoniLB18,
author = {Agata Ciabattoni and
Bj{\"{o}}rn Lellmann and
Kees van Berkel},
title = {\emph{Deontic reasoning: from ancient texts to artificial intelligence.}:
workshop report},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {4},
pages = {48--51},
year = {2018},
url = {https://doi.org/10.1145/3292048.3292054},
doi = {10.1145/3292048.3292054},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/CiabattoniLB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Coquand18,
author = {Thierry Coquand},
title = {A survey of constructive presheaf models of univalence},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {54--65},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242962},
doi = {10.1145/3242953.3242962},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Coquand18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Delaune18,
author = {St{\'{e}}phanie Delaune},
title = {{POPSTAR:} so near and yet so far},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {45--51},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242960},
doi = {10.1145/3242953.3242960},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Delaune18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/DeutschHLV18,
author = {Alin Deutsch and
Richard Hull and
Yuliang Li and
Victor Vianu},
title = {Automatic verification of database-centric systems},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {37--56},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212025},
doi = {10.1145/3212019.3212025},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/DeutschHLV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Figueira18,
author = {Diego Figueira},
title = {Satisfiability of Xpath on data trees},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {4--16},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212021},
doi = {10.1145/3212019.3212021},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Figueira18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Haase18,
author = {Christoph Haase},
title = {A survival guide to presburger arithmetic},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {67--82},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242964},
doi = {10.1145/3242953.3242964},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Haase18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Hillston18,
author = {Jane Hillston},
title = {Stochastic process algebras and their markovian semantics},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {20--35},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212023},
doi = {10.1145/3212019.3212023},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Hillston18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman18,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {21},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242957},
doi = {10.1145/3242953.3242957},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman18a,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {4},
pages = {3},
year = {2018},
url = {https://doi.org/10.1145/3292048.3292049},
doi = {10.1145/3292048.3292049},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/KieronskiPT18,
author = {Emanuel Kieronski and
Ian Pratt{-}Hartmann and
Lidia Tendera},
title = {Two-variable logics with counting and semantic constraints},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {22--43},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242958},
doi = {10.1145/3242953.3242958},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/KieronskiPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic18,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {36},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212024},
doi = {10.1145/3212019.3212024},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic18a,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {66},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242963},
doi = {10.1145/3242953.3242963},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Lazic18b,
author = {Ranko Lazic},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {4},
pages = {25},
year = {2018},
url = {https://doi.org/10.1145/3292048.3292051},
doi = {10.1145/3292048.3292051},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Lazic18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Maffei18,
author = {Matteo Maffei},
title = {Security {\&} privacy column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {44},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242959},
doi = {10.1145/3242953.3242959},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Maffei18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mezzina18,
author = {Claudio Antares Mezzina},
title = {Discotec 2018 conference report},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {84--85},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242967},
doi = {10.1145/3242953.3242967},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mezzina18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove18,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {17--19},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212022},
doi = {10.1145/3212019.3212022},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove18a,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {52--53},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242961},
doi = {10.1145/3242953.3242961},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/NalonSPM18,
author = {Cl{\'{a}}udia Nalon and
Daniele Nantes Sobrinho and
Elaine Pimentel and
Jo{\~{a}}o Marcos},
title = {Brasilia Spring on Automated Reasoning},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {1},
pages = {21--22},
year = {2018},
url = {https://doi.org/10.1145/3183645.3183650},
doi = {10.1145/3183645.3183650},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/NalonSPM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez18,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {1},
pages = {20},
year = {2018},
url = {https://doi.org/10.1145/3183645.3183649},
doi = {10.1145/3183645.3183649},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez18a,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {57},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212026},
doi = {10.1145/3212019.3212026},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez18b,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {83},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242966},
doi = {10.1145/3242953.3242966},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez18c,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {4},
pages = {47},
year = {2018},
url = {https://doi.org/10.1145/3292048.3292053},
doi = {10.1145/3292048.3292053},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Perez18c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan18,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 198},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {1},
pages = {23--49},
year = {2018},
url = {https://doi.org/10.1145/3183645.3183651},
doi = {10.1145/3183645.3183651},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan18a,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 199},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {2},
pages = {61--93},
year = {2018},
url = {https://doi.org/10.1145/3212019.3212028},
doi = {10.1145/3212019.3212028},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan18b,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 200},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {86--102},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242968},
doi = {10.1145/3242953.3242968},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan18c,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 201},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {4},
pages = {54--69},
year = {2018},
url = {https://doi.org/10.1145/3292048.3292056},
doi = {10.1145/3292048.3292056},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan18c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Rungta18,
author = {Neha Rungta},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {1},
pages = {19},
year = {2018},
url = {https://doi.org/10.1145/3183645.3183648},
doi = {10.1145/3183645.3183648},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Rungta18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Straubing18,
author = {Howard Straubing},
title = {First-order logic and aperiodic languages: a revisionist history},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {3},
pages = {4--20},
year = {2018},
url = {https://doi.org/10.1145/3242953.3242956},
doi = {10.1145/3242953.3242956},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Straubing18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Thomas18,
author = {Wolfgang Thomas},
title = {Ehrenfeucht, Vaught, and the decidability of the weak monadic theory
of successor},
journal = {{ACM} {SIGLOG} News},
volume = {5},
number = {1},
pages = {14--18},
year = {2018},
url = {https://doi.org/10.1145/3183645.3183647},
doi = {10.1145/3183645.3183647},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Thomas18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Aceto17,
author = {Luca Aceto},
title = {Spotlight on Marta Kwiatkowska},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {3--4},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051529},
doi = {10.1145/3051528.3051529},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Aceto17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BasinCDS17,
author = {David A. Basin and
Cas Cremers and
Jannik Dreier and
Ralf Sasse},
title = {Symbolically analyzing security protocols using tamarin},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {4},
pages = {19--30},
year = {2017},
url = {https://doi.org/10.1145/3157831.3157835},
doi = {10.1145/3157831.3157835},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/BasinCDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bauer17,
author = {Andrej Bauer},
title = {Report on {MFPS} {XXXIII} and {CALCO} 2017},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {63--64},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129184},
doi = {10.1145/3129173.3129184},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bauer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk17,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {3},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090065},
doi = {10.1145/3090064.3090065},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk17a,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {11},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129177},
doi = {10.1145/3129173.3129177},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk17b,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {4},
pages = {9},
year = {2017},
url = {https://doi.org/10.1145/3157831.3157832},
doi = {10.1145/3157831.3157832},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Breugel17,
author = {Franck van Breugel},
title = {Probabilistic bisimilarity distances},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {4},
pages = {33--51},
year = {2017},
url = {https://doi.org/10.1145/3157831.3157837},
doi = {10.1145/3157831.3157837},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Breugel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/ColcombetP17,
author = {Thomas Colcombet and
Daniela Petrisan},
title = {Automata and minimization},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {4--27},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090066},
doi = {10.1145/3090064.3090066},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/ColcombetP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Fijalkow17,
author = {Nathana{\"{e}}l Fijalkow},
title = {Undecidability results for probabilistic automata},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {4},
pages = {10--17},
year = {2017},
url = {https://doi.org/10.1145/3157831.3157833},
doi = {10.1145/3157831.3157833},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Fijalkow17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/GehrkeK17,
author = {Mai Gehrke and
Andreas Krebs},
title = {Stone duality for languages and complexity},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {29--53},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090068},
doi = {10.1145/3090064.3090068},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/GehrkeK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman17,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {28},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090067},
doi = {10.1145/3090064.3090067},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman17a,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {27},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129179},
doi = {10.1145/3129173.3129179},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Krivine17,
author = {Jean Krivine},
title = {Systems biology},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {43--61},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129182},
doi = {10.1145/3129173.3129182},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Krivine17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Maffei17,
author = {Matteo Maffei},
title = {Security {\&} privacy column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {5},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051530},
doi = {10.1145/3051528.3051530},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Maffei17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Maffei17a,
author = {Matteo Maffei},
title = {Security {\&} privacy column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {4},
pages = {18},
year = {2017},
url = {https://doi.org/10.1145/3157831.3157834},
doi = {10.1145/3157831.3157834},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Maffei17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove17,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {22--23},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051532},
doi = {10.1145/3051528.3051532},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove17a,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {41--42},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129181},
doi = {10.1145/3129173.3129181},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove17b,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {4},
pages = {31--32},
year = {2017},
url = {https://doi.org/10.1145/3157831.3157836},
doi = {10.1145/3157831.3157836},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Panangaden17,
author = {Prakash Panangaden},
title = {The 2017 Alonzo Church award},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {3--9},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129174},
doi = {10.1145/3129173.3129174},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Panangaden17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Panangaden17a,
author = {Prakash Panangaden},
title = {2017 {LICS} test-of-time award},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {10},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129175},
doi = {10.1145/3129173.3129175},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Panangaden17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Panangaden17b,
author = {Prakash Panangaden},
title = {2017 Kleene award},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {10},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129176},
doi = {10.1145/3129173.3129176},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Panangaden17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez17,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {37},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051534},
doi = {10.1145/3051528.3051534},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez17a,
author = {Jorge A. P{\'{e}}rez},
title = {Report on {CWI} lectures in honor of Adriaan van Wijngaarden},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {40--41},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051536},
doi = {10.1145/3051528.3051536},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez17b,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {90},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090072},
doi = {10.1145/3090064.3090072},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez17c,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {62},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129183},
doi = {10.1145/3129173.3129183},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez17c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan17,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 189},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {42--63},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051537},
doi = {10.1145/3051528.3051537},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan17a,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 191},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {94},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090074},
doi = {10.1145/3090064.3090074},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan17b,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 194},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {65--80},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129185},
doi = {10.1145/3129173.3129185},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan17c,
author = {Daniela Petrisan},
title = {Siglog monthly 196},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {4},
pages = {52--63},
year = {2017},
url = {https://doi.org/10.1145/3157831.3157838},
doi = {10.1145/3157831.3157838},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan17c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/RajaniBRG17,
author = {Vineet Rajani and
Iulia Bastys and
Willard Rafnsson and
Deepak Garg},
title = {Type systems for information flow control: the question of granularity},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {6--21},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051531},
doi = {10.1145/3051528.3051531},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/RajaniBRG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Rungta17,
author = {Neha Rungta},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {54},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090069},
doi = {10.1145/3090064.3090069},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Rungta17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Segoufin17,
author = {Luc Segoufin},
title = {A survey on guarded negation},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {12--26},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129178},
doi = {10.1145/3129173.3129178},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Segoufin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Siegel17,
author = {Stephen F. Siegel},
title = {{CIVL} solutions to verifythis 2016 challenges},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {55--75},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090070},
doi = {10.1145/3090064.3090070},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Siegel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Sobocinski17,
author = {Pawel Sobocinski},
title = {Report on LiCS 2016},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {38--39},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051535},
doi = {10.1145/3051528.3051535},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Sobocinski17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Tannen17,
author = {Val Tannen},
title = {Provenance analysis for {FOL} model checking},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {1},
pages = {24--36},
year = {2017},
url = {https://doi.org/10.1145/3051528.3051533},
doi = {10.1145/3051528.3051533},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Tannen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Toninho17,
author = {Bernardo Toninho},
title = {Report on {POPL} 2017},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {91--93},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090073},
doi = {10.1145/3090064.3090073},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Toninho17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/WangS17,
author = {Chao Wang and
Patrick Schaumont},
title = {Security by compilation: an automated approach to comprehensive side-channel
resistance},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {2},
pages = {76--89},
year = {2017},
url = {https://doi.org/10.1145/3090064.3090071},
doi = {10.1145/3090064.3090071},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/WangS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Williams17,
author = {R. Ryan Williams},
title = {Some ways of thinking algorithmically about impossibility},
journal = {{ACM} {SIGLOG} News},
volume = {4},
number = {3},
pages = {28--40},
year = {2017},
url = {https://doi.org/10.1145/3129173.3129180},
doi = {10.1145/3129173.3129180},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Williams17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/000116,
author = {Alexandra Silva},
title = {Report on the {POPL} mentoring workshop {(PLMW} 2016)},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {82--83},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948909},
doi = {10.1145/2948896.2948909},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/000116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Alves16,
author = {Sandra Alves},
title = {Report on {FSCD} 2016: 1st International Conference on Formal Structures
for Computation and Deduction},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {4},
pages = {50--54},
year = {2016},
url = {https://doi.org/10.1145/3026744.3044205},
doi = {10.1145/3026744.3044205},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Alves16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BartheGHP16,
author = {Gilles Barthe and
Marco Gaboardi and
Justin Hsu and
Benjamin C. Pierce},
title = {Programming language techniques for differential privacy},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {34--53},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893591},
doi = {10.1145/2893582.2893591},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/BartheGHP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk16,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {3},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893584},
doi = {10.1145/2893582.2893584},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk16a,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {3},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984452},
doi = {10.1145/2984450.2984452},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk16b,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {4},
pages = {12},
year = {2016},
url = {https://doi.org/10.1145/3026744.3044201},
doi = {10.1145/3026744.3044201},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/BrookesO16,
author = {Stephen Brookes and
Peter W. O'Hearn},
title = {Concurrent separation logic},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {47--65},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984457},
doi = {10.1145/2984450.2984457},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/BrookesO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Elberfeld16,
author = {Michael Elberfeld},
title = {Variants of Courcelle's Theorem for complexity classes inside {P}},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {23--32},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893588},
doi = {10.1145/2893582.2893588},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Elberfeld16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/FiliotR16,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Transducers, logic and algebra for functions of finite words},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {4--19},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984453},
doi = {10.1145/2984450.2984453},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/FiliotR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Fodor16,
author = {Paul Fodor},
title = {10th International Web Rule Symposium (RuleML 2016) report},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {4},
pages = {48--49},
year = {2016},
url = {https://doi.org/10.1145/3026744.3044204},
doi = {10.1145/3026744.3044204},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Fodor16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Henglein16,
author = {Fritz Henglein},
title = {2016 {POPL} impressions},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {79--81},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948908},
doi = {10.1145/2948896.2948908},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Henglein16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman16,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {22},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893587},
doi = {10.1145/2893582.2893587},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman16a,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {29},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948898},
doi = {10.1145/2948896.2948898},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman16b,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {20},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984454},
doi = {10.1145/2984450.2984454},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Maffei16,
author = {Matteo Maffei},
title = {Security {\&} privacy column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {33},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893590},
doi = {10.1145/2893582.2893590},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Maffei16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove16,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {54--56},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893593},
doi = {10.1145/2893582.2893593},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove16a,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {53--55},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948901},
doi = {10.1145/2948896.2948901},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/MisloveP16,
author = {Michael W. Mislove and
Prakash Panangaden},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {44--46},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984456},
doi = {10.1145/2984450.2984456},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/MisloveP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/MunozDNU16,
author = {C{\'{e}}sar A. Mu{\~{n}}oz and
Aaron Dutle and
Anthony Narkawicz and
Jason Upchurch},
title = {Unmanned aircraft systems in the national airspace system: a formal
methods perspective},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {67--76},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984459},
doi = {10.1145/2984450.2984459},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/MunozDNU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/MurawskiT16,
author = {Andrzej S. Murawski and
Nikos Tzevelekos},
title = {An invitation to game semantics},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {56--67},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948902},
doi = {10.1145/2948896.2948902},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/MurawskiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez16,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {73},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893596},
doi = {10.1145/2893582.2893596},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez16a,
author = {Jorge A. P{\'{e}}rez},
title = {Report on {ICTAC} 2015: 12th international colloquium on theoretical
aspects of computing},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {74--77},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893597},
doi = {10.1145/2893582.2893597},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez16b,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {78},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948907},
doi = {10.1145/2948896.2948907},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez16c,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {77},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984461},
doi = {10.1145/2984450.2984461},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Perez16d,
author = {Jorge A. P{\'{e}}rez},
title = {Conference reports},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {4},
pages = {47},
year = {2016},
url = {https://doi.org/10.1145/3026744.3044203},
doi = {10.1145/3026744.3044203},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Perez16d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan16,
author = {Daniela Petrisan},
title = {{SIGLOG} monthly 184},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {80--96},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984463},
doi = {10.1145/2984450.2984463},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Petrisan16a,
author = {Daniela Petrisan},
title = {{SIGLOG} Monthly 186},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {4},
pages = {55--72},
year = {2016},
url = {https://doi.org/10.1145/3026744.3044206},
doi = {10.1145/3026744.3044206},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Petrisan16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/PitassiT16,
author = {Toniann Pitassi and
Iddo Tzameret},
title = {Algebraic proof complexity: progress, frontiers and challenges},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {21--43},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984455},
doi = {10.1145/2984450.2984455},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/PitassiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Pitts16,
author = {Andrew M. Pitts},
title = {Nominal techniques},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {57--72},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893594},
doi = {10.1145/2893582.2893594},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Pitts16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Raimondi16,
author = {Franco Raimondi},
title = {Using multi-agent systems to go beyond temporal patterns verification},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {69--77},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948905},
doi = {10.1145/2948896.2948905},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Raimondi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Rossman16,
author = {Benjamin Rossman},
title = {An improved homomorphism preservation theorem from lower bounds in
circuit complexity},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {4},
pages = {33--46},
year = {2016},
url = {https://doi.org/10.1145/3026744.3026746},
doi = {10.1145/3026744.3026746},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Rossman16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Rungta16,
author = {Neha Rungta},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {68},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948904},
doi = {10.1145/2948896.2948904},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Rungta16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Rungta16a,
author = {Neha Rungta},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {66},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984458},
doi = {10.1145/2984450.2984458},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Rungta16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Schmitz16,
author = {Sylvain Schmitz},
title = {The complexity of reachability in vector addition systems},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {1},
pages = {4--21},
year = {2016},
url = {https://doi.org/10.1145/2893582.2893585},
doi = {10.1145/2893582.2893585},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Schmitz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/SchwentickZ16,
author = {Thomas Schwentick and
Thomas Zeume},
title = {Dynamic complexity: recent updates},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {2},
pages = {30--52},
year = {2016},
url = {https://doi.org/10.1145/2948896.2948899},
doi = {10.1145/2948896.2948899},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/SchwentickZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Vieira16,
author = {Hugo Torres Vieira},
title = {DisCoTec 2016 conference report},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {78--79},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984462},
doi = {10.1145/2984450.2984462},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Vieira16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Walukiewicz16,
author = {Igor Walukiewicz},
title = {Automata theory and higher-order model-checking},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {4},
pages = {13--31},
year = {2016},
url = {https://doi.org/10.1145/3026744.3026745},
doi = {10.1145/3026744.3026745},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Walukiewicz16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/000115,
author = {Alexandra Silva},
title = {A short introduction to the coalgebraic method},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {2},
pages = {16--27},
year = {2015},
url = {https://doi.org/10.1145/2766189.2766193},
doi = {10.1145/2766189.2766193},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/000115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/AlurHV15,
author = {Rajeev Alur and
Thomas A. Henzinger and
Moshe Y. Vardi},
title = {Theory in practice for system design and verification},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {1},
pages = {46--51},
year = {2015},
url = {https://doi.org/10.1145/2728816.2728827},
doi = {10.1145/2728816.2728827},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/AlurHV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/AwodeyH15,
author = {Steve Awodey and
Robert Harper},
title = {Homotopy type theory: unified foundations of mathematics and computation},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {1},
pages = {37--44},
year = {2015},
url = {https://doi.org/10.1145/2728816.2728825},
doi = {10.1145/2728816.2728825},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/AwodeyH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk15,
author = {Mikolaj Bojanczyk},
title = {McNaughton's theorem},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {1},
pages = {5--6},
year = {2015},
url = {https://doi.org/10.1145/2728816.2728818},
doi = {10.1145/2728816.2728818},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk15a,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {2},
pages = {3},
year = {2015},
url = {https://doi.org/10.1145/2766189.2766190},
doi = {10.1145/2766189.2766190},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk15b,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {4},
pages = {3--15},
year = {2015},
url = {https://doi.org/10.1145/2835265.2835267},
doi = {10.1145/2835265.2835267},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Chatzikokolakis15,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Marco Stronati},
title = {Location privacy via geo-indistinguishability},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {3},
pages = {46--69},
year = {2015},
url = {https://doi.org/10.1145/2815493.2815499},
doi = {10.1145/2815493.2815499},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Chatzikokolakis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Cofer15,
author = {Darren D. Cofer},
title = {You keep using that word},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {4},
pages = {17--25},
year = {2015},
url = {https://doi.org/10.1145/2835265.2835269},
doi = {10.1145/2835265.2835269},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Cofer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Cortier15,
author = {V{\'{e}}ronique Cortier},
title = {Formal verification of e-voting: solutions and challenges},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {1},
pages = {25--34},
year = {2015},
url = {https://doi.org/10.1145/2728816.2728823},
doi = {10.1145/2728816.2728823},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Cortier15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Dawar15,
author = {Anuj Dawar},
title = {The nature and power of fixed-point logic with counting},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {1},
pages = {8--21},
year = {2015},
url = {https://doi.org/10.1145/2728816.2728820},
doi = {10.1145/2728816.2728820},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Dawar15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/GurfinkelKN15,
author = {Arie Gurfinkel and
Temesghen Kahsai and
Jorge A. Navas},
title = {Algorithmic logic-based verification},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {2},
pages = {29--38},
year = {2015},
url = {https://doi.org/10.1145/2766189.2766195},
doi = {10.1145/2766189.2766195},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/GurfinkelKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Hritcu15,
author = {Catalin Hritcu},
title = {The Joint EasyCrypt-F*-CryptoVerif School 2014},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {1},
pages = {23--24},
year = {2015},
url = {https://doi.org/10.1145/2728816.2728822},
doi = {10.1145/2728816.2728822},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Hritcu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove15,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {2},
pages = {14--15},
year = {2015},
url = {https://doi.org/10.1145/2766189.2766192},
doi = {10.1145/2766189.2766192},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Nordstrom15,
author = {Jakob Nordstr{\"{o}}m},
title = {On the interplay between proof complexity and {SAT} solving},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {3},
pages = {19--44},
year = {2015},
url = {https://doi.org/10.1145/2815493.2815497},
doi = {10.1145/2815493.2815497},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Nordstrom15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/OuaknineW15,
author = {Jo{\"{e}}l Ouaknine and
James Worrell},
title = {On linear recurrence sequences and loop termination},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {2},
pages = {4--13},
year = {2015},
url = {https://doi.org/10.1145/2766189.2766191},
doi = {10.1145/2766189.2766191},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/OuaknineW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Panangaden15,
author = {Prakash Panangaden},
title = {Probabilistic bisimulation},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {3},
pages = {72--84},
year = {2015},
url = {https://doi.org/10.1145/2815493.2815501},
doi = {10.1145/2815493.2815501},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Panangaden15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/PlaceZ15,
author = {Thomas Place and
Marc Zeitoun},
title = {The tale of the quantifier alternation hierarchy of first-order logic
over words},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {3},
pages = {4--17},
year = {2015},
url = {https://doi.org/10.1145/2815493.2815495},
doi = {10.1145/2815493.2815495},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/PlaceZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Rungta15,
author = {Neha Rungta},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {2},
pages = {28},
year = {2015},
url = {https://doi.org/10.1145/2766189.2766194},
doi = {10.1145/2766189.2766194},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Rungta15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Barto14,
author = {Libor Barto},
title = {Constraint satisfaction problem and universal algebra},
journal = {{ACM} {SIGLOG} News},
volume = {1},
number = {2},
pages = {14--24},
year = {2014},
url = {https://doi.org/10.1145/2677161.2677165},
doi = {10.1145/2677161.2677165},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Barto14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk14,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {1},
number = {1},
pages = {4},
year = {2014},
url = {https://doi.org/10.1145/2657460.2657462},
doi = {10.1145/2657460.2657462},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Bojanczyk14a,
author = {Mikolaj Bojanczyk},
title = {Automata column},
journal = {{ACM} {SIGLOG} News},
volume = {1},
number = {2},
pages = {3--12},
year = {2014},
url = {https://doi.org/10.1145/2677161.2677163},
doi = {10.1145/2677161.2677163},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Bojanczyk14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Immerman14,
author = {Neil Immerman},
title = {Complexity column},
journal = {{ACM} {SIGLOG} News},
volume = {1},
number = {1},
pages = {5},
year = {2014},
url = {https://doi.org/10.1145/2657460.2657463},
doi = {10.1145/2657460.2657463},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Immerman14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Jung14,
author = {Achim Jung},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {1},
number = {2},
pages = {25--37},
year = {2014},
url = {https://doi.org/10.1145/2677161.2677167},
doi = {10.1145/2677161.2677167},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Jung14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Maffei14,
author = {Matteo Maffei},
title = {Security {\&} privacy column},
journal = {{ACM} {SIGLOG} News},
volume = {1},
number = {1},
pages = {6},
year = {2014},
url = {https://doi.org/10.1145/2657460.2657464},
doi = {10.1145/2657460.2657464},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Maffei14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Mislove14,
author = {Michael W. Mislove},
title = {Semantics column},
journal = {{ACM} {SIGLOG} News},
volume = {1},
number = {1},
pages = {7--8},
year = {2014},
url = {https://doi.org/10.1145/2657460.2657465},
doi = {10.1145/2657460.2657465},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Mislove14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Rybalchenko14,
author = {Andrey Rybalchenko},
title = {Verification column},
journal = {{ACM} {SIGLOG} News},
volume = {1},
number = {1},
pages = {9},
year = {2014},
url = {https://doi.org/10.1145/2657460.2657466},
doi = {10.1145/2657460.2657466},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Rybalchenko14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-10-19 11:34 CEST from data curated 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:
