Search dblp for Publications

export results for "toc:db/journals/siglog/siglog11.bht:"

 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}
}

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.