Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/mfcs/DattaK0TVZ24,
  author       = {Samir Datta and
                  Asif Khan and
                  Anish Mukherjee and
                  Felix Tschirbs and
                  Nils Vortmeier and
                  Thomas Zeume},
  editor       = {Rastislav Kr{\'{a}}lovic and
                  Anton{\'{\i}}n Kucera},
  title        = {Query Maintenance Under Batch Changes with Small-Depth Circuits},
  booktitle    = {49th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2024, August 26-30, 2024, Bratislava, Slovakia},
  series       = {LIPIcs},
  volume       = {306},
  pages        = {46:1--46:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2024.46},
  doi          = {10.4230/LIPICS.MFCS.2024.46},
  timestamp    = {Fri, 06 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/DattaK0TVZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2407-20031,
  author       = {Samir Datta and
                  Asif Khan and
                  Anish Mukherjee and
                  Felix Tschirbs and
                  Nils Vortmeier and
                  Thomas Zeume},
  title        = {Query maintenance under batch changes with small-depth circuits},
  journal      = {CoRR},
  volume       = {abs/2407.20031},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2407.20031},
  doi          = {10.48550/ARXIV.2407.20031},
  eprinttype    = {arXiv},
  eprint       = {2407.20031},
  timestamp    = {Fri, 06 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-20031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/TschirbsVZ23,
  author       = {Felix Tschirbs and
                  Nils Vortmeier and
                  Thomas Zeume},
  editor       = {Bartek Klin and
                  Elaine Pimentel},
  title        = {Dynamic Complexity of Regular Languages: Big Changes, Small Work},
  booktitle    = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
                  February 13-16, 2023, Warsaw, Poland},
  series       = {LIPIcs},
  volume       = {252},
  pages        = {35:1--35:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2023.35},
  doi          = {10.4230/LIPICS.CSL.2023.35},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/TschirbsVZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2105-05763,
  author       = {Gaetano Geck and
                  Christine Quenkert and
                  Marko Schmellenkamp and
                  Jonas Schmidt and
                  Felix Tschirbs and
                  Fabian Vehlken and
                  Thomas Zeume},
  title        = {Iltis: Teaching Logic in the Web},
  journal      = {CoRR},
  volume       = {abs/2105.05763},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.05763},
  eprinttype    = {arXiv},
  eprint       = {2105.05763},
  timestamp    = {Thu, 03 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-05763.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iticse/GeckLHMSSSTVZ19,
  author       = {Gaetano Geck and
                  Artur Ljulin and
                  Jonas Haldimann and
                  Johannes May and
                  Jonas Schmidt and
                  Marko Schmellenkamp and
                  Daniel Sonnabend and
                  Felix Tschirbs and
                  Fabian Vehlken and
                  Thomas Zeume},
  editor       = {Bruce Scharlau and
                  Roger McDermott and
                  Arnold Pears and
                  Mihaela Sabin},
  title        = {Teaching Logic with Iltis: an Interactive, Web-Based System},
  booktitle    = {Proceedings of the 2019 {ACM} Conference on Innovation and Technology
                  in Computer Science Education, Aberdeen, Scotland, UK, July 15-17,
                  2019},
  pages        = {307},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3304221.3325571},
  doi          = {10.1145/3304221.3325571},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/GeckLHMSSSTVZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}