Published in: LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
Nader H. Bshouty. On Property Testing of the Binary Rank. In 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 272, pp. 27:1-27:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{bshouty:LIPIcs.MFCS.2023.27, author = {Bshouty, Nader H.}, title = {{On Property Testing of the Binary Rank}}, booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)}, pages = {27:1--27:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-292-1}, ISSN = {1868-8969}, year = {2023}, volume = {272}, editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.27}, URN = {urn:nbn:de:0030-drops-185616}, doi = {10.4230/LIPIcs.MFCS.2023.27}, annote = {Keywords: Property testing, binary rank, Boolean rank} }
Published in: LIPIcs, Volume 241, 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
Ishay Haviv and Michal Parnas. On the Binary and Boolean Rank of Regular Matrices. In 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 241, pp. 56:1-56:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{haviv_et_al:LIPIcs.MFCS.2022.56, author = {Haviv, Ishay and Parnas, Michal}, title = {{On the Binary and Boolean Rank of Regular Matrices}}, booktitle = {47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)}, pages = {56:1--56:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-256-3}, ISSN = {1868-8969}, year = {2022}, volume = {241}, editor = {Szeider, Stefan and Ganian, Robert and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2022.56}, URN = {urn:nbn:de:0030-drops-168545}, doi = {10.4230/LIPIcs.MFCS.2022.56}, annote = {Keywords: Binary rank, Boolean rank, Regular matrices, Non-deterministic communication complexity, Biclique partition number, Chromatic number} }
Published in: LIPIcs, Volume 116, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2018)
Elena Grigorescu, Akash Kumar, and Karl Wimmer. Flipping out with Many Flips: Hardness of Testing k-Monotonicity. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 116, pp. 40:1-40:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{grigorescu_et_al:LIPIcs.APPROX-RANDOM.2018.40, author = {Grigorescu, Elena and Kumar, Akash and Wimmer, Karl}, title = {{Flipping out with Many Flips: Hardness of Testing k-Monotonicity}}, booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2018)}, pages = {40:1--40:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-085-9}, ISSN = {1868-8969}, year = {2018}, volume = {116}, editor = {Blais, Eric and Jansen, Klaus and D. P. Rolim, Jos\'{e} and Steurer, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX-RANDOM.2018.40}, URN = {urn:nbn:de:0030-drops-94448}, doi = {10.4230/LIPIcs.APPROX-RANDOM.2018.40}, annote = {Keywords: Property Testing, Boolean Functions, k-Monotonicity, Lower Bounds} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Barbara Paech, David Parnas, Jesse H. Poore, H. Dieter Rombach, and Rudolf van Megen. Supporting Customer-Supplier Relationships: Requirements Engineering and Quality Assurance (Dagstuhl Seminar 02361). Dagstuhl Seminar Report 352, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)
@TechReport{paech_et_al:DagSemRep.352, author = {Paech, Barbara and Parnas, David and Poore, Jesse H. and Rombach, H. Dieter and van Megen, Rudolf}, title = {{Supporting Customer-Supplier Relationships: Requirements Engineering and Quality Assurance (Dagstuhl Seminar 02361)}}, pages = {1--22}, ISSN = {1619-0203}, year = {2002}, type = {Dagstuhl Seminar Report}, number = {352}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.352}, URN = {urn:nbn:de:0030-drops-152320}, doi = {10.4230/DagSemRep.352}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Ernst Denert, Daniel Hoffman, Jochen Ludewig, and David L. Parnas. Software Engineering Research and Education: Seeking a new Agenda (Dagstuhl Seminar 99071). Dagstuhl Seminar Report 230, pp. 1-56, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)
@TechReport{denert_et_al:DagSemRep.230, author = {Denert, Ernst and Hoffman, Daniel and Ludewig, Jochen and Parnas, David L.}, title = {{Software Engineering Research and Education: Seeking a new Agenda (Dagstuhl Seminar 99071)}}, pages = {1--56}, ISSN = {1619-0203}, year = {1999}, type = {Dagstuhl Seminar Report}, number = {230}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.230}, URN = {urn:nbn:de:0030-drops-151162}, doi = {10.4230/DagSemRep.230}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Egon Börger, Bärbeö Hörger, David Parnas, and Dieter Rombach. Requirements Capture, Documentation and Validation (Dagstuhl Seminar 99241). Dagstuhl Seminar Report 242, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)
@TechReport{borger_et_al:DagSemRep.242, author = {B\"{o}rger, Egon and H\"{o}rger, B\"{a}rbe\"{o} and Parnas, David and Rombach, Dieter}, title = {{Requirements Capture, Documentation and Validation (Dagstuhl Seminar 99241)}}, pages = {1--31}, ISSN = {1619-0203}, year = {1999}, type = {Dagstuhl Seminar Report}, number = {242}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.242}, URN = {urn:nbn:de:0030-drops-151287}, doi = {10.4230/DagSemRep.242}, }
Feedback for Dagstuhl Publishing