Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/siglog/siglog4.bht:"
download as .bib file
@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}
}
a service of 
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-05-29 05:45 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:
