2021

  1. Marco Wilhelm and Gabriele Kern-Isberner.
    Focused Inference and System P.
    In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. 2021, 6522–6529.
    URL BibTeX

    @inproceedings{DBLP:conf/aaai/WilhelmK21,
    	author = "Marco Wilhelm and Gabriele Kern{-}Isberner",
    	title = "Focused Inference and System {P}",
    	booktitle = "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021",
    	pages = "6522--6529",
    	publisher = "{AAAI} Press",
    	year = 2021,
    	url = "https://ojs.aaai.org/index.php/AAAI/article/view/16808",
    	timestamp = "Wed, 02 Jun 2021 18:09:11 +0200",
    	biburl = "https://dblp.org/rec/conf/aaai/WilhelmK21.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Jonas Haldimann, Christoph Beierle and Gabriele Kern-Isberner.
    Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies.
    In Wolfgang Faber, Gerhard Friedrich, Martin Gebser and Michael Morak (eds.). Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings 12678. 2021, 85–100.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/jelia/HaldimannBK21,
    	author = "Jonas Haldimann and Christoph Beierle and Gabriele Kern{-}Isberner",
    	editor = "Wolfgang Faber and Gerhard Friedrich and Martin Gebser and Michael Morak",
    	title = "Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies",
    	booktitle = "Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 12678,
    	pages = "85--100",
    	publisher = "Springer",
    	year = 2021,
    	url = "https://doi.org/10.1007/978-3-030-75775-5\_7",
    	doi = "10.1007/978-3-030-75775-5\_7",
    	timestamp = "Sun, 16 May 2021 00:14:37 +0200",
    	biburl = "https://dblp.org/rec/conf/jelia/HaldimannBK21.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr and João Leite.
    Tractable Reasoning Using Logic Programs with Intensional Concepts.
    In Wolfgang Faber, Gerhard Friedrich, Martin Gebser and Michael Morak (eds.). Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings 12678. 2021, 329–345.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/jelia/Heyninck0K021,
    	author = "Jesse Heyninck and Ricardo Gon{\c{c}}alves and Matthias Knorr and Jo{\~{a}}o Leite",
    	editor = "Wolfgang Faber and Gerhard Friedrich and Martin Gebser and Michael Morak",
    	title = "Tractable Reasoning Using Logic Programs with Intensional Concepts",
    	booktitle = "Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 12678,
    	pages = "329--345",
    	publisher = "Springer",
    	year = 2021,
    	url = "https://doi.org/10.1007/978-3-030-75775-5\_22",
    	doi = "10.1007/978-3-030-75775-5\_22",
    	timestamp = "Sun, 16 May 2021 00:14:36 +0200",
    	biburl = "https://dblp.org/rec/conf/jelia/Heyninck0K021.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier and Thomas Zeume.
    Work-sensitive Dynamic Complexity of Formal Languages.
    In Stefan Kiefer and Christine Tasson (eds.). Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings 12650. 2021, 490–509.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/fossacs/SchmidtSTVZ21,
    	author = "Jonas Schmidt and Thomas Schwentick and Till Tantau and Nils Vortmeier and Thomas Zeume",
    	editor = "Stefan Kiefer and Christine Tasson",
    	title = "Work-sensitive Dynamic Complexity of Formal Languages",
    	booktitle = "Foundations of Software Science and Computation Structures - 24th International Conference, {FOSSACS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings",
    	series = "Lecture Notes in Computer Science",
    	volume = 12650,
    	pages = "490--509",
    	publisher = "Springer",
    	year = 2021,
    	url = "https://doi.org/10.1007/978-3-030-71995-1\_25",
    	doi = "10.1007/978-3-030-71995-1\_25",
    	timestamp = "Fri, 14 May 2021 08:34:12 +0200",
    	biburl = "https://dblp.org/rec/conf/fossacs/SchmidtSTVZ21.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Jesse Heyninck and Christian Straßer.
    A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities.
    FLAP 8(3):737–808, 2021.
    URL BibTeX

    @article{DBLP:journals/flap/HeyninckS21,
    	author = "Jesse Heyninck and Christian Stra{\ss}er",
    	title = "A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities",
    	journal = "{FLAP}",
    	volume = 8,
    	number = 3,
    	pages = "737--808",
    	year = 2021,
    	url = "https://collegepublications.co.uk/ifcolog/?00045",
    	timestamp = "Tue, 04 May 2021 17:49:02 +0200",
    	biburl = "https://dblp.org/rec/journals/flap/HeyninckS21.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Jonas Haldimann, Kai Sauerwald, Martin Berg, Gabriele Kern-Isberner and Christoph Beierle.
    Towards a framework of hansson's descriptor revision for conditionals.
    In Chih-Cheng Hung, Jiman Hong, Alessio Bechini and Eunjee Song (eds.). SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. 2021, 889–891.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/sac/HaldimannSBKB21,
    	author = "Jonas Haldimann and Kai Sauerwald and Martin von Berg and Gabriele Kern{-}Isberner and Christoph Beierle",
    	editor = "Chih{-}Cheng Hung and Jiman Hong and Alessio Bechini and Eunjee Song",
    	title = "Towards a framework of hansson's descriptor revision for conditionals",
    	booktitle = "{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021",
    	pages = "889--891",
    	publisher = "{ACM}",
    	year = 2021,
    	url = "https://doi.org/10.1145/3412841.3442101",
    	doi = "10.1145/3412841.3442101",
    	timestamp = "Mon, 03 May 2021 14:35:13 +0200",
    	biburl = "https://dblp.org/rec/conf/sac/HaldimannSBKB21.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2020

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Sketches of Dynamic Complexity.
    SIGMOD Rec. 49(2):18–29, 2020.
    URL, DOI BibTeX

    @article{DBLP:journals/sigmod/SchwentickVZ20,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Sketches of Dynamic Complexity",
    	journal = "{SIGMOD} Rec.",
    	volume = 49,
    	number = 2,
    	pages = "18--29",
    	year = 2020,
    	url = "https://doi.org/10.1145/3442322.3442325",
    	doi = "10.1145/3442322.3442325",
    	timestamp = "Thu, 17 Dec 2020 16:21:19 +0100",
    	biburl = "https://dblp.org/rec/journals/sigmod/SchwentickVZ20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Claudio Moraga, Milena Stankovic, Suzana Stojkovic and Radomir S Stankovic.
    Methods to Generate Multiple-valued Bent Functions of an odd Number of Variables.
    In 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020. 2020, 70–75.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSSS20,
    	author = "Claudio Moraga and Milena Stankovic and Suzana Stojkovic and Radomir S. Stankovic",
    	title = "Methods to Generate Multiple-valued Bent Functions of an odd Number of Variables",
    	booktitle = "50th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2020, Miyazaki, Japan, November 9-11, 2020",
    	pages = "70--75",
    	publisher = "{IEEE}",
    	year = 2020,
    	url = "https://doi.org/10.1109/ISMVL49045.2020.00-27",
    	doi = "10.1109/ISMVL49045.2020.00-27",
    	timestamp = "Fri, 15 Jan 2021 12:53:19 +0100",
    	biburl = "https://dblp.org/rec/conf/ismvl/MoragaSSS20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Claudio Moraga, Milena Stankovic and Radomir S Stankovic.
    On ternary symmetric bent functions.
    In 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020. 2020, 76–81.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/MoragaSS20,
    	author = "Claudio Moraga and Milena Stankovic and Radomir S. Stankovic",
    	title = "On ternary symmetric bent functions",
    	booktitle = "50th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2020, Miyazaki, Japan, November 9-11, 2020",
    	pages = "76--81",
    	publisher = "{IEEE}",
    	year = 2020,
    	url = "https://doi.org/10.1109/ISMVL49045.2020.00-26",
    	doi = "10.1109/ISMVL49045.2020.00-26",
    	timestamp = "Fri, 15 Jan 2021 12:53:19 +0100",
    	biburl = "https://dblp.org/rec/conf/ismvl/MoragaSS20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Radomir S Stankovic, Milena Stankovic, Claudio Moraga and Jaakko T Astola.
    Construction of Ternary Bent Functions by FFT-like Permutation Algorithms.
    In 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020. 2020, 88–93.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ismvl/StankovicSMA20,
    	author = "Radomir S. Stankovic and Milena Stankovic and Claudio Moraga and Jaakko T. Astola",
    	title = "Construction of Ternary Bent Functions by FFT-like Permutation Algorithms",
    	booktitle = "50th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2020, Miyazaki, Japan, November 9-11, 2020",
    	pages = "88--93",
    	publisher = "{IEEE}",
    	year = 2020,
    	url = "https://doi.org/10.1109/ISMVL49045.2020.00-24",
    	doi = "10.1109/ISMVL49045.2020.00-24",
    	timestamp = "Fri, 15 Jan 2021 12:53:19 +0100",
    	biburl = "https://dblp.org/rec/conf/ismvl/StankovicSMA20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Suzana Stojkovic, Radomir S Stankovic, Claudio Moraga and Milena Stankovic.
    Reversible Circuits Synthesis from Functional Decision Diagrams by using Node Dependency Matrices.
    J. Circuits Syst. Comput. 29(5):2050079:1–2050079:32, 2020.
    URL, DOI BibTeX

    @article{DBLP:journals/jcsc/StojkovicSMS20,
    	author = "Suzana Stojkovic and Radomir S. Stankovic and Claudio Moraga and Milena Stankovic",
    	title = "Reversible Circuits Synthesis from Functional Decision Diagrams by using Node Dependency Matrices",
    	journal = "J. Circuits Syst. Comput.",
    	volume = 29,
    	number = 5,
    	pages = "2050079:1--2050079:32",
    	year = 2020,
    	url = "https://doi.org/10.1142/S0218126620500796",
    	doi = "10.1142/S0218126620500796",
    	timestamp = "Tue, 20 Oct 2020 14:58:50 +0200",
    	biburl = "https://dblp.org/rec/journals/jcsc/StojkovicSMS20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Jonas Philipp Haldimann, Gabriele Kern-Isberner and Christoph Beierle.
    Syntax Splitting for Iterated Contractions.
    In Diego Calvanese, Esra Erdem and Michael Thielscher (eds.). Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, 465–475.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/kr/HaldimannKB20,
    	author = "Jonas Philipp Haldimann and Gabriele Kern{-}Isberner and Christoph Beierle",
    	editor = "Diego Calvanese and Esra Erdem and Michael Thielscher",
    	title = "Syntax Splitting for Iterated Contractions",
    	booktitle = "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020",
    	pages = "465--475",
    	year = 2020,
    	url = "https://doi.org/10.24963/kr.2020/47",
    	doi = "10.24963/kr.2020/47",
    	timestamp = "Fri, 29 Jan 2021 19:06:02 +0100",
    	biburl = "https://dblp.org/rec/conf/kr/HaldimannKB20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Jesse Heyninck and Ofer Arieli.
    Argumentative Reflections of Approximation Fixpoint Theory.
    In Henry Prakken, Stefano Bistarelli, Francesco Santini and Carlo Taticchi (eds.). Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020 326. 2020, 215–226.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/comma/HeyninckA20,
    	author = "Jesse Heyninck and Ofer Arieli",
    	editor = "Henry Prakken and Stefano Bistarelli and Francesco Santini and Carlo Taticchi",
    	title = "Argumentative Reflections of Approximation Fixpoint Theory",
    	booktitle = "Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia, Italy, September 4-11, 2020",
    	series = "Frontiers in Artificial Intelligence and Applications",
    	volume = 326,
    	pages = "215--226",
    	publisher = "{IOS} Press",
    	year = 2020,
    	url = "https://doi.org/10.3233/FAIA200506",
    	doi = "10.3233/FAIA200506",
    	timestamp = "Fri, 29 Jan 2021 21:15:48 +0100",
    	biburl = "https://dblp.org/rec/conf/comma/HeyninckA20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Gabriele Kern-Isberner, Christoph Beierle and Gerhard Brewka.
    Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
    In Diego Calvanese, Esra Erdem and Michael Thielscher (eds.). Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, 560–571.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/kr/Kern-IsbernerBB20,
    	author = "Gabriele Kern{-}Isberner and Christoph Beierle and Gerhard Brewka",
    	editor = "Diego Calvanese and Esra Erdem and Michael Thielscher",
    	title = "Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases",
    	booktitle = "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020",
    	pages = "560--571",
    	year = 2020,
    	url = "https://doi.org/10.24963/kr.2020/56",
    	doi = "10.24963/kr.2020/56",
    	timestamp = "Fri, 29 Jan 2021 19:06:03 +0100",
    	biburl = "https://dblp.org/rec/conf/kr/Kern-IsbernerBB20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Ofer Arieli and Jesse Heyninck.
    Prioritized Simple Contrapositive Assumption-Based Frameworks.
    In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugar{\'ı}n and Jérôme Lang (eds.). ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) 325. 2020, 608–615.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ecai/ArieliH20,
    	author = "Ofer Arieli and Jesse Heyninck",
    	editor = "Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang",
    	title = "Prioritized Simple Contrapositive Assumption-Based Frameworks",
    	booktitle = "{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)",
    	series = "Frontiers in Artificial Intelligence and Applications",
    	volume = 325,
    	pages = "608--615",
    	publisher = "{IOS} Press",
    	year = 2020,
    	url = "https://doi.org/10.3233/FAIA200145",
    	doi = "10.3233/FAIA200145",
    	timestamp = "Fri, 29 Jan 2021 22:09:09 +0100",
    	biburl = "https://dblp.org/rec/conf/ecai/ArieliH20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle and Kai Sauerwald.
    Cognitive Logics - Features, Formalisms, and Challenges.
    In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugar{\'ı}n and Jérôme Lang (eds.). ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) 325. 2020, 2931–2932.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ecai/RagniKBS20,
    	author = "Marco Ragni and Gabriele Kern{-}Isberner and Christoph Beierle and Kai Sauerwald",
    	editor = "Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang",
    	title = "Cognitive Logics - Features, Formalisms, and Challenges",
    	booktitle = "{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)",
    	series = "Frontiers in Artificial Intelligence and Applications",
    	volume = 325,
    	pages = "2931--2932",
    	publisher = "{IOS} Press",
    	year = 2020,
    	url = "https://doi.org/10.3233/FAIA200459",
    	doi = "10.3233/FAIA200459",
    	timestamp = "Fri, 29 Jan 2021 22:09:02 +0100",
    	biburl = "https://dblp.org/rec/conf/ecai/RagniKBS20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Kai Sauerwald, Gabriele Kern-Isberner and Christoph Beierle.
    A Conditional Perspective for Iterated Belief Contraction.
    In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugar{\'ı}n and Jérôme Lang (eds.). ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) 325. 2020, 889–896.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/ecai/SauerwaldKB20,
    	author = "Kai Sauerwald and Gabriele Kern{-}Isberner and Christoph Beierle",
    	editor = "Giuseppe De Giacomo and Alejandro Catal{\'{a}} and Bistra Dilkina and Michela Milano and Sen{\'{e}}n Barro and Alberto Bugar{\'{\i}}n and J{\'{e}}r{\^{o}}me Lang",
    	title = "A Conditional Perspective for Iterated Belief Contraction",
    	booktitle = "{ECAI} 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence {(PAIS} 2020)",
    	series = "Frontiers in Artificial Intelligence and Applications",
    	volume = 325,
    	pages = "889--896",
    	publisher = "{IOS} Press",
    	year = 2020,
    	url = "https://doi.org/10.3233/FAIA200180",
    	doi = "10.3233/FAIA200180",
    	timestamp = "Fri, 29 Jan 2021 22:09:06 +0100",
    	biburl = "https://dblp.org/rec/conf/ecai/SauerwaldKB20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

  1. Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier and Thomas Zeume.
    Dynamic Complexity of Reachability: How Many Changes Can We Handle?.
    In Artur Czumaj, Anuj Dawar and Emanuela Merelli (eds.). 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference) 168. 2020, 122:1–122:19.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icalp/DattaK0TVZ20,
    	author = "Samir Datta and Pankaj Kumar and Anish Mukherjee and Anuj Tawari and Nils Vortmeier and Thomas Zeume",
    	editor = "Artur Czumaj and Anuj Dawar and Emanuela Merelli",
    	title = "Dynamic Complexity of Reachability: How Many Changes Can We Handle?",
    	booktitle = {47th International Colloquium on Automata, Languages, and Programming, {ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual Conference)},
    	series = "LIPIcs",
    	volume = 168,
    	pages = "122:1--122:19",
    	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    	year = 2020,
    	url = "https://doi.org/10.4230/LIPIcs.ICALP.2020.122",
    	doi = "10.4230/LIPIcs.ICALP.2020.122",
    	timestamp = "Mon, 21 Dec 2020 13:23:22 +0100",
    	biburl = "https://dblp.org/rec/conf/icalp/DattaK0TVZ20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }