Published in: LIPIcs, Volume 175, 25th International Conference on Types for Proofs and Programs (TYPES 2019)
Gun Pinyo and Nicolai Kraus. From Cubes to Twisted Cubes via Graph Morphisms in Type Theory. In 25th International Conference on Types for Proofs and Programs (TYPES 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 175, pp. 5:1-5:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{pinyo_et_al:LIPIcs.TYPES.2019.5, author = {Pinyo, Gun and Kraus, Nicolai}, title = {{From Cubes to Twisted Cubes via Graph Morphisms in Type Theory}}, booktitle = {25th International Conference on Types for Proofs and Programs (TYPES 2019)}, pages = {5:1--5:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-158-0}, ISSN = {1868-8969}, year = {2020}, volume = {175}, editor = {Bezem, Marc and Mahboubi, Assia}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2019.5}, URN = {urn:nbn:de:0030-drops-130694}, doi = {10.4230/LIPIcs.TYPES.2019.5}, annote = {Keywords: homotopy type theory, cubical sets, directed equality, graph morphisms} }
Published in: OASIcs, Volume 72, 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)
Phillip Raffeck, Christian Eichler, Peter Wägemann, and Wolfgang Schröder-Preikschat. Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems. In 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019). Open Access Series in Informatics (OASIcs), Volume 72, pp. 4:1-4:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{raffeck_et_al:OASIcs.WCET.2019.4, author = {Raffeck, Phillip and Eichler, Christian and W\"{a}gemann, Peter and Schr\"{o}der-Preikschat, Wolfgang}, title = {{Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {4:1--4:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-118-4}, ISSN = {2190-6807}, year = {2019}, volume = {72}, editor = {Altmeyer, Sebastian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2019.4}, URN = {urn:nbn:de:0030-drops-107699}, doi = {10.4230/OASIcs.WCET.2019.4}, annote = {Keywords: WCEC, WCRE, WCET, michroarchitecture analysis, whole-system analysis} }
Published in: LIPIcs, Volume 131, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
Thierry Coquand, Simon Huber, and Christian Sattler. Homotopy Canonicity for Cubical Type Theory. In 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 131, pp. 11:1-11:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{coquand_et_al:LIPIcs.FSCD.2019.11, author = {Coquand, Thierry and Huber, Simon and Sattler, Christian}, title = {{Homotopy Canonicity for Cubical Type Theory}}, booktitle = {4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)}, pages = {11:1--11:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-107-8}, ISSN = {1868-8969}, year = {2019}, volume = {131}, editor = {Geuvers, Herman}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2019.11}, URN = {urn:nbn:de:0030-drops-105188}, doi = {10.4230/LIPIcs.FSCD.2019.11}, annote = {Keywords: cubical type theory, univalence, canonicity, sconing, Artin glueing} }
Published in: LIPIcs, Volume 131, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
Ambrus Kaposi, Simon Huber, and Christian Sattler. Gluing for Type Theory. In 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 131, pp. 25:1-25:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{kaposi_et_al:LIPIcs.FSCD.2019.25, author = {Kaposi, Ambrus and Huber, Simon and Sattler, Christian}, title = {{Gluing for Type Theory}}, booktitle = {4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)}, pages = {25:1--25:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-107-8}, ISSN = {1868-8969}, year = {2019}, volume = {131}, editor = {Geuvers, Herman}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2019.25}, URN = {urn:nbn:de:0030-drops-105323}, doi = {10.4230/LIPIcs.FSCD.2019.25}, annote = {Keywords: Martin-L\"{o}f type theory, logical relations, parametricity, canonicity, quotient inductive types} }
Published in: Dagstuhl Seminar Proceedings, Volume 8101, Computational Proteomics (2008)
Knut Reinert, Christian Huber, Kathrin Marcus, Michal Linial, and Oliver Kohlbacher. 08101 Abstracts Collection – Computational Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 8101, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{reinert_et_al:DagSemProc.08101.1, author = {Reinert, Knut and Huber, Christian and Marcus, Kathrin and Linial, Michal and Kohlbacher, Oliver}, title = {{08101 Abstracts Collection – Computational Proteomics}}, booktitle = {Computational Proteomics}, pages = {1--34}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8101}, editor = {Christian Huber and Oliver Kohlbacher and Michal Linial and Katrin Marcus and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08101.1}, URN = {urn:nbn:de:0030-drops-17840}, doi = {10.4230/DagSemProc.08101.1}, annote = {Keywords: Bioinformatics, biomedicine, proteomics, analytical chemistry} }
Published in: Dagstuhl Seminar Proceedings, Volume 8101, Computational Proteomics (2008)
Sebastian Böcker and Florian Rasche. Towards de novo identification of metabolites by analyzing tandem mass spectra. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 8101, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bocker_et_al:DagSemProc.08101.2, author = {B\"{o}cker, Sebastian and Rasche, Florian}, title = {{Towards de novo identification of metabolites by analyzing tandem mass spectra}}, booktitle = {Computational Proteomics}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8101}, editor = {Christian Huber and Oliver Kohlbacher and Michal Linial and Katrin Marcus and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08101.2}, URN = {urn:nbn:de:0030-drops-17839}, doi = {10.4230/DagSemProc.08101.2}, annote = {Keywords: Tandem mass spectrometry, metabolomics, de novo interpretation} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Marc Sturm, Sascha Quinten, Christian G. Huber, and Oliver Kohlbacher. A machine learning approach for prediction of DNA and peptide HPLC retention times. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{sturm_et_al:DagSemProc.05471.3, author = {Sturm, Marc and Quinten, Sascha and Huber, Christian G. and Kohlbacher, Oliver}, title = {{A machine learning approach for prediction of DNA and peptide HPLC retention times}}, booktitle = {Computational Proteomics}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.3}, URN = {urn:nbn:de:0030-drops-5484}, doi = {10.4230/DagSemProc.05471.3}, annote = {Keywords: High performance liquid chromatography, mass spectrometry, retention time, prediction, peptide, DNA, support vector regression} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Knut Reinert, Oliver Kohlbacher, Clemens Gröpl, Eva Lange, Ole Schulz-Trieglaff, Marc Sturm, and Nico Pfeifer. OpenMS - A Framework for Quantitative HPLC/MS-Based Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{reinert_et_al:DagSemProc.05471.13, author = {Reinert, Knut and Kohlbacher, Oliver and Gr\"{o}pl, Clemens and Lange, Eva and Schulz-Trieglaff, Ole and Sturm, Marc and Pfeifer, Nico}, title = {{OpenMS - A Framework for Quantitative HPLC/MS-Based Proteomics}}, booktitle = {Computational Proteomics}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.13}, URN = {urn:nbn:de:0030-drops-5463}, doi = {10.4230/DagSemProc.05471.13}, annote = {Keywords: Proteomics, C++, Differential expression} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Christian G. Huber, Oliver Kohlbacher, and Knut Reinert. 05471 Abstract Collection – Computational Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{huber_et_al:DagSemProc.05471.1, author = {Huber, Christian G. and Kohlbacher, Oliver and Reinert, Knut}, title = {{05471 Abstract Collection – Computational Proteomics}}, booktitle = {Computational Proteomics}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.1}, URN = {urn:nbn:de:0030-drops-5569}, doi = {10.4230/DagSemProc.05471.1}, annote = {Keywords: Proteomics, mass spectrometry, MALDI, HPLC-MS, differential expression, clinical proteomics, quantitation, identification} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Christian G. Huber, Oliver Kohlbacher, and Knut Reinert. 05471 Executive Summary – Computational Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{huber_et_al:DagSemProc.05471.2, author = {Huber, Christian G. and Kohlbacher, Oliver and Reinert, Knut}, title = {{05471 Executive Summary – Computational Proteomics}}, booktitle = {Computational Proteomics}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.2}, URN = {urn:nbn:de:0030-drops-5406}, doi = {10.4230/DagSemProc.05471.2}, annote = {Keywords: Proteomics, mass spectrometry, MALDI, HPLC-MS, differential expression, clinical proteomics, quantitation, identification} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Clemens Gröpl. An Algorithm for Feature Finding in LC/MS Raw Data. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{gropl:DagSemProc.05471.4, author = {Gr\"{o}pl, Clemens}, title = {{An Algorithm for Feature Finding in LC/MS Raw Data}}, booktitle = {Computational Proteomics}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.4}, URN = {urn:nbn:de:0030-drops-5341}, doi = {10.4230/DagSemProc.05471.4}, annote = {Keywords: Computational Proteomics, Quantitative Analysis, Liquid Chromatography, Mass Spectrometry, Algorithm, Software} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Sebastian Böcker and Veli Mäkinen. Combinatorial Approaches for Mass Spectra Recalibration. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{bocker_et_al:DagSemProc.05471.5, author = {B\"{o}cker, Sebastian and M\"{a}kinen, Veli}, title = {{Combinatorial Approaches for Mass Spectra Recalibration}}, booktitle = {Computational Proteomics}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.5}, URN = {urn:nbn:de:0030-drops-5455}, doi = {10.4230/DagSemProc.05471.5}, annote = {Keywords: Mass spectrometry recalibration computational geometry} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Nathanaël Delmotte, Bettina Mayr, Andreas Leinenbach, Knut Reinert, Oliver Kohlbacher, Christoph Klein, and Christian G. Huber. Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{delmotte_et_al:DagSemProc.05471.6, author = {Delmotte, Nathana\"{e}l and Mayr, Bettina and Leinenbach, Andreas and Reinert, Knut and Kohlbacher, Oliver and Klein, Christoph and Huber, Christian G.}, title = {{Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins}}, booktitle = {Computational Proteomics}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.6}, URN = {urn:nbn:de:0030-drops-5397}, doi = {10.4230/DagSemProc.05471.6}, annote = {Keywords: RP-HPLC, monolith, Mascot, Myoglobin, Absolute quantitation, Serum} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Hartmut Schlüter. Future Challenges in Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{schluter:DagSemProc.05471.7, author = {Schl\"{u}ter, Hartmut}, title = {{Future Challenges in Proteomics}}, booktitle = {Computational Proteomics}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.7}, URN = {urn:nbn:de:0030-drops-5449}, doi = {10.4230/DagSemProc.05471.7}, annote = {Keywords: Protein species, proteome, identification} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Hansjörg Toll, Peter Berger, Andreas Hofmann, Andreas Hildebrandt, Herbert Oberacher, Hans Peter Lenhof, and Christian G. Huber. Glycosylation Patterns of Proteins Studied by Liquid Chromatography-Mass Spectrometry and Bioinformatic Tools. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{toll_et_al:DagSemProc.05471.8, author = {Toll, Hansj\"{o}rg and Berger, Peter and Hofmann, Andreas and Hildebrandt, Andreas and Oberacher, Herbert and Lenhof, Hans Peter and Huber, Christian G.}, title = {{Glycosylation Patterns of Proteins Studied by Liquid Chromatography-Mass Spectrometry and Bioinformatic Tools}}, booktitle = {Computational Proteomics}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.8}, URN = {urn:nbn:de:0030-drops-5431}, doi = {10.4230/DagSemProc.05471.8}, annote = {Keywords: Liquid chromatography, mass spectrometry, glycoproteins, glycosylation, peak annotation} }
Feedback for Dagstuhl Publishing