Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, and Matteo Zavatteri. Incorporating Decision Nodes into Conditional Simple Temporal Networks. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 9:1-9:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{cairo_et_al:LIPIcs.TIME.2017.9, author = {Cairo, Massimo and Combi, Carlo and Comin, Carlo and Hunsberger, Luke and Posenato, Roberto and Rizzi, Romeo and Zavatteri, Matteo}, title = {{Incorporating Decision Nodes into Conditional Simple Temporal Networks}}, booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)}, pages = {9:1--9:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-052-1}, ISSN = {1868-8969}, year = {2017}, volume = {90}, editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.9}, URN = {urn:nbn:de:0030-drops-79155}, doi = {10.4230/LIPIcs.TIME.2017.9}, annote = {Keywords: Conditional Simple Temporal Networks with Decisions, Dynamic Consistency, SAT Solver, Hyper Temporal Networks, PSPACE} }
Published in: LIPIcs, Volume 88, 17th International Workshop on Algorithms in Bioinformatics (WABI 2017)
Samuele Girotto, Matteo Comin, and Cinzia Pizzi. Fast Spaced Seed Hashing. In 17th International Workshop on Algorithms in Bioinformatics (WABI 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 88, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{girotto_et_al:LIPIcs.WABI.2017.7, author = {Girotto, Samuele and Comin, Matteo and Pizzi, Cinzia}, title = {{Fast Spaced Seed Hashing}}, booktitle = {17th International Workshop on Algorithms in Bioinformatics (WABI 2017)}, pages = {7:1--7:14}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-050-7}, ISSN = {1868-8969}, year = {2017}, volume = {88}, editor = {Schwartz, Russell and Reinert, Knut}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2017.7}, URN = {urn:nbn:de:0030-drops-76501}, doi = {10.4230/LIPIcs.WABI.2017.7}, annote = {Keywords: k-mers, spaced seeds, efficient hashing} }
Published in: Dagstuhl Seminar Proceedings, Volume 10231, Structure Discovery in Biology: Motifs, Networks & Phylogenies (2010)
Matteo Comin and Davide Verzotto. Remote Homology Detection of Protein Sequences. In Structure Discovery in Biology: Motifs, Networks & Phylogenies. Dagstuhl Seminar Proceedings, Volume 10231, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{comin_et_al:DagSemProc.10231.7, author = {Comin, Matteo and Verzotto, Davide}, title = {{Remote Homology Detection of Protein Sequences}}, booktitle = {Structure Discovery in Biology: Motifs, Networks \& Phylogenies}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10231}, editor = {Alberto Apostolico and Andreas Dress and Laxmi Parida}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10231.7}, URN = {urn:nbn:de:0030-drops-27419}, doi = {10.4230/DagSemProc.10231.7}, annote = {Keywords: Classification of protein sequences, irredundant patterns} }
Feedback for Dagstuhl Publishing