Published in: LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Christof Löding and Andreas Tollkötter. State Space Reduction For Parity Automata. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 27:1-27:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{loding_et_al:LIPIcs.CSL.2020.27, author = {L\"{o}ding, Christof and Tollk\"{o}tter, Andreas}, title = {{State Space Reduction For Parity Automata}}, booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)}, pages = {27:1--27:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-132-0}, ISSN = {1868-8969}, year = {2020}, volume = {152}, editor = {Fern\'{a}ndez, Maribel and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.27}, URN = {urn:nbn:de:0030-drops-116701}, doi = {10.4230/LIPIcs.CSL.2020.27}, annote = {Keywords: automata, \omega-automata, parity, minimization, state space reduction, deterministic, simulation relations} }
Published in: LIPIcs, Volume 58, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)
Christof Löding and Andreas Tollkötter. Transformation Between Regular Expressions and omega-Automata. In 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 58, pp. 88:1-88:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{loding_et_al:LIPIcs.MFCS.2016.88, author = {L\"{o}ding, Christof and Tollk\"{o}tter, Andreas}, title = {{Transformation Between Regular Expressions and omega-Automata}}, booktitle = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)}, pages = {88:1--88:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-016-3}, ISSN = {1868-8969}, year = {2016}, volume = {58}, editor = {Faliszewski, Piotr and Muscholl, Anca and Niedermeier, Rolf}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2016.88}, URN = {urn:nbn:de:0030-drops-64962}, doi = {10.4230/LIPIcs.MFCS.2016.88}, annote = {Keywords: infinity regular expressions, parity automata} }
Published in: OASIcs, Volume 26, German Conference on Bioinformatics 2012
Andreas Hoppe and Hermann-Georg Holzhütter. ModeScore: A Method to Infer Changed Activity of Metabolic Function from Transcript Profiles. In German Conference on Bioinformatics 2012. Open Access Series in Informatics (OASIcs), Volume 26, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{hoppe_et_al:OASIcs.GCB.2012.1, author = {Hoppe, Andreas and Holzh\"{u}tter, Hermann-Georg}, title = {{ModeScore: A Method to Infer Changed Activity of Metabolic Function from Transcript Profiles}}, booktitle = {German Conference on Bioinformatics 2012}, pages = {1--11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-44-6}, ISSN = {2190-6807}, year = {2012}, volume = {26}, editor = {B\"{o}cker, Sebastian and Hufsky, Franziska and Scheubert, Kerstin and Schleicher, Jana and Schuster, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.GCB.2012.1}, URN = {urn:nbn:de:0030-drops-37134}, doi = {10.4230/OASIcs.GCB.2012.1}, annote = {Keywords: Metabolic network, expression profile, metabolic function} }
Feedback for Dagstuhl Publishing