Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Johannes Köster"
download as .bib file
@article{DBLP:journals/bmcbi/UzunerPSK24,
author = {Hamdiye Uzuner and
Annette Paschen and
Dirk Schadendorf and
Johannes K{\"{o}}ster},
title = {Orthanq: transparent and uncertainty-aware haplotype quantification
with application in HLA-typing},
journal = {{BMC} Bioinform.},
volume = {25},
number = {1},
pages = {240},
year = {2024},
url = {https://doi.org/10.1186/s12859-024-05832-4},
doi = {10.1186/S12859-024-05832-4},
timestamp = {Mon, 22 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/UzunerPSK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/HartmannSKLK23,
author = {Till Hartmann and
Christopher Schr{\"{o}}der and
Elias Kuthe and
David Laehnemann and
Johannes K{\"{o}}ster},
title = {Insane in the vembrane: filtering and transforming {VCF/BCF} files},
journal = {Bioinform.},
volume = {39},
number = {1},
year = {2023},
url = {https://doi.org/10.1093/bioinformatics/btac810},
doi = {10.1093/BIOINFORMATICS/BTAC810},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/HartmannSKLK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/EckerAMHKHDAWMS22,
author = {Wolfgang Ecker and
Peer Adelt and
Wolfgang M{\"{u}}ller and
Reinhold Heckmann and
Milos Krstic and
Vladimir Herdt and
Rolf Drechsler and
Gerhard Angst and
Ralf Wimmer and
Andreas Mauderer and
Rafael Stahl and
Karsten Emrich and
Daniel Mueller{-}Gritschneder and
Bernd Becker and
Philipp Scholl and
Eyck Jentzsch and
Jan Schlamelcher and
Kim Gr{\"{u}}ttner and
Paul Palomero Bernardo and
Oliver Bringmann and
Mihaela Damian and
Julian Oppermann and
Andreas Koch and
J{\"{o}}rg Bormann and
Johannes Partzsch and
Christian Mayr and
Wolfgang Kunz},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {The Scale4Edge {RISC-V} Ecosystem},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {808--813},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774593},
doi = {10.23919/DATE54114.2022.9774593},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/EckerAMHKHDAWMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/degruyter/22/RahmannSK22,
author = {Sven Rahmann and
Alexander Schramm and
Johannes K{\"{o}}ster},
editor = {Katharina Morik and
J{\"{o}}rg Rahnenf{\"{u}}hrer and
Christian Wietfeld},
title = {Cancer Diagnostics and Therapy from Molecular Data},
booktitle = {Machine Learning under Resource Constraints - Volume 3: Applications},
series = {De Gruyter {STEM}},
pages = {43--57},
publisher = {De Gruyter},
year = {2022},
url = {https://doi.org/10.1515/9783110785982-011},
doi = {10.1515/9783110785982-011},
timestamp = {Tue, 07 May 2024 19:59:15 +0200},
biburl = {https://dblp.org/rec/books/degruyter/22/RahmannSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/degruyter/22/StockerSMKKR22,
author = {Bianca K. St{\"{o}}cker and
Till Sch{\"{a}}fer and
Petra Mutzel and
Johannes K{\"{o}}ster and
Nils M. Kriege and
Sven Rahmann},
editor = {Katharina Morik and
J{\"{o}}rg Rahnenf{\"{u}}hrer and
Christian Wietfeld},
title = {Protein Complex Similarity},
booktitle = {Machine Learning under Resource Constraints - Volume 3: Applications},
series = {De Gruyter {STEM}},
pages = {85--102},
publisher = {De Gruyter},
year = {2022},
url = {https://doi.org/10.1515/9783110785982-014},
doi = {10.1515/9783110785982-014},
timestamp = {Fri, 28 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/degruyter/22/StockerSMKKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CuiWKLPTHY21,
author = {Yingbo Cui and
Zihang Wang and
Johannes K{\"{o}}ster and
Xiangke Liao and
Shaoliang Peng and
Tao Tang and
Chun Huang and
Canqun Yang},
title = {VISPR-online: a web-based interactive tool to visualize {CRISPR} screening
experiments},
journal = {{BMC} Bioinform.},
volume = {22},
number = {1},
pages = {344},
year = {2021},
url = {https://doi.org/10.1186/s12859-021-04275-5},
doi = {10.1186/S12859-021-04275-5},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/CuiWKLPTHY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/f1000research/MolderJLHTSFLTKWHRNK21,
author = {Felix M{\"{o}}lder and
Kim Philipp Jablonski and
Brice Letcher and
Michael B. Hall and
Christopher Tomkins{-}Tinch and
Vanessa V. Sochat and
Jan Forster and
Soohyun Lee and
Sven Twardziok and
Alexander Kanitz and
Andreas Wilm and
Manuel Holtgrewe and
Sven Rahmann and
Sven Nahnsen and
Johannes K{\"{o}}ster},
title = {Sustainable data analysis with Snakemake},
journal = {F1000Research},
volume = {10},
pages = {33},
year = {2021},
url = {https://doi.org/10.12688/f1000research.29032.1},
doi = {10.12688/F1000RESEARCH.29032.1},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/f1000research/MolderJLHTSFLTKWHRNK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BaaijensRKSS19,
author = {Jasmijn A. Baaijens and
Bastiaan Van der Roest and
Johannes K{\"{o}}ster and
Leen Stougie and
Alexander Sch{\"{o}}nhuth},
title = {Full-length de novo viral quasispecies assembly through variation
graph construction},
journal = {Bioinform.},
volume = {35},
number = {24},
pages = {5086--5094},
year = {2019},
url = {https://doi.org/10.1093/bioinformatics/btz443},
doi = {10.1093/BIOINFORMATICS/BTZ443},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/BaaijensRKSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/KosterBL19,
author = {Johannes K{\"{o}}ster and
Myles Brown and
Xiaole Shirley Liu},
title = {A Bayesian model for single cell transcript expression analysis on
{MERFISH} data},
journal = {Bioinform.},
volume = {35},
number = {6},
pages = {995--1001},
year = {2019},
url = {https://doi.org/10.1093/bioinformatics/bty718},
doi = {10.1093/BIOINFORMATICS/BTY718},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/KosterBL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/KosterBL19a,
author = {Johannes K{\"{o}}ster and
Myles Brown and
Xiaole Shirley Liu},
title = {A Bayesian model for single cell transcript expression analysis on
{MERFISH} data},
journal = {Bioinform.},
volume = {35},
number = {13},
pages = {2347},
year = {2019},
url = {https://doi.org/10.1093/bioinformatics/bty857},
doi = {10.1093/BIOINFORMATICS/BTY857},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/KosterBL19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotsms/KlitzkeMLKK19,
author = {Lars Klitzke and
Johannes Meyer and
Tilman Leune and
Carsten Koch and
Frank K{\"{o}}ster},
editor = {Mohammad A. Alsmirat and
Yaser Jararweh},
title = {DAGMaR: {A} DAG-based Robust Road Membership Estimation Framework
for Scenario Mining},
booktitle = {Sixth International Conference on Internet of Things: Systems, Management
and Security, {IOTSMS} 2019, Granada, Spain, October 22-25, 2019},
pages = {358--365},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IOTSMS48152.2019.8939213},
doi = {10.1109/IOTSMS48152.2019.8939213},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iotsms/KlitzkeMLKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sisap/StockerSMKKR19,
author = {Bianca K. St{\"{o}}cker and
Till Sch{\"{a}}fer and
Petra Mutzel and
Johannes K{\"{o}}ster and
Nils M. Kriege and
Sven Rahmann},
editor = {Giuseppe Amato and
Claudio Gennaro and
Vincent Oria and
Milos Radovanovic},
title = {Protein Complex Similarity Based on Weisfeiler-Lehman Labeling},
booktitle = {Similarity Search and Applications - 12th International Conference,
{SISAP} 2019, Newark, NJ, USA, October 2-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11807},
pages = {308--322},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32047-8\_27},
doi = {10.1007/978-3-030-32047-8\_27},
timestamp = {Fri, 18 Nov 2022 17:12:34 +0100},
biburl = {https://dblp.org/rec/conf/sisap/StockerSMKKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peerjpre/LaehnemannKSMHR19,
author = {David Laehnemann and
Johannes K{\"{o}}ster and
Ewa Szczurek and
Davis J. McCarthy and
Stephanie C. Hicks and
Mark D. Robinson and
Catalina A. Vallejos and
Niko Beerenwinkel and
Kieran R. Campbell and
Ahmed Mahfouz and
Luca Pinello and
Pavel Skums and
Alexandros Stamatakis and
Camille Stephan{-}Otto Attolini and
Samuel Aparicio and
Jasmijn A. Baaijens and
Marleen Balvert and
Buys de Barbanson and
Antonio Cappuccio and
Giacomo Corleone and
Bas E. Dutilh and
Maria Florescu and
Victor Guryev and
Rens Holmer and
Katharina Jahn and
Thamar Jessurun Lobo and
Emma M. Keizer and
Indu Khatri and
Szymon M. Kielbasa and
Jan O. Korbel and
Alexey M. Kozlov and
Tzu{-}Hao Kuo and
Boudewijn P. F. Lelieveldt and
Ion I. Mandoiu and
John C. Marioni and
Tobias Marschall and
Felix M{\"{o}}lder and
Amir Niknejad and
Lukasz Raczkowski and
Marcel J. T. Reinders and
Jeroen de Ridder and
Antoine{-}Emmanuel Saliba and
Antonios Somarakis and
Oliver Stegle and
Fabian J. Theis and
Huan Yang and
Alex Zelikovsky and
Alice C. McHardy and
Benjamin J. Raphael and
Sohrab P. Shah and
Alexander Sch{\"{o}}nhuth},
title = {12 Grand Challenges in Single-Cell Data Science},
journal = {PeerJ Prepr.},
volume = {7},
pages = {e27885},
year = {2019},
url = {https://doi.org/10.7287/peerj.preprints.27885v3},
doi = {10.7287/PEERJ.PREPRINTS.27885V3},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/peerjpre/LaehnemannKSMHR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/KosterR18,
author = {Johannes K{\"{o}}ster and
Sven Rahmann},
title = {Snakemake - a scalable bioinformatics workflow engine},
journal = {Bioinform.},
volume = {34},
number = {20},
pages = {3600},
year = {2018},
url = {https://doi.org/10.1093/bioinformatics/bty350},
doi = {10.1093/BIOINFORMATICS/BTY350},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/KosterR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/KostersLSSKZHLF18,
author = {M. K{\"{o}}sters and
Johannes Leufken and
Stefan Schulze and
K. Sugimoto and
Joshua Klein and
R. P. Zahedi and
Michael Hippler and
S. A Leidel and
Christian Fufezan},
title = {pymzML v2.0: introducing a highly compressed and seekable gzip format},
journal = {Bioinform.},
volume = {34},
number = {14},
pages = {2513--2514},
year = {2018},
url = {https://doi.org/10.1093/bioinformatics/bty046},
doi = {10.1093/BIOINFORMATICS/BTY046},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/KostersLSSKZHLF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CornwellVTHKLSL18,
author = {MacIntosh Cornwell and
Mahesh Vangala and
Len Taing and
Zachary Herbert and
Johannes K{\"{o}}ster and
Bo Li and
Hanfei Sun and
Taiwen Li and
Jian Zhang and
Xintao Qiu and
Matthew Pun and
Rinath Jeselsohn and
Myles Brown and
Xiaole Shirley Liu and
Henry W. Long},
title = {{VIPER:} Visualization Pipeline for RNA-seq, a Snakemake workflow
for efficient and complete RNA-seq analysis},
journal = {{BMC} Bioinform.},
volume = {19},
number = {1},
pages = {135:1--135:14},
year = {2018},
url = {https://doi.org/10.1186/s12859-018-2139-9},
doi = {10.1186/S12859-018-2139-9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/CornwellVTHKLSL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/WienkeWKW18,
author = {Johannes Wienke and
Dennis Leroy Wigand and
Norman K{\"{o}}ster and
Sebastian Wrede},
title = {Model-Based Performance Testing for Robotics Software Components},
booktitle = {Second {IEEE} International Conference on Robotic Computing, {IRC}
2018, Laguna Hills, CA, USA, January 31 - February 2, 2018},
pages = {25--32},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/IRC.2018.00013},
doi = {10.1109/IRC.2018.00013},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/WienkeWKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/schule/BergnerKMMRSS17,
author = {Nadine Bergner and
Hilde K{\"{o}}ster and
Johannes Magenheim and
Kathrin M{\"{u}}ller and
Ralf Romeike and
Ulrik Schroeder and
Carsten Schulte},
editor = {Ira Diethelm},
title = {Zieldimensionen f{\"{u}}r fr{\"{u}}he informatische Bildung
im Kindergarten und in der Grundschule},
booktitle = {Informatische Bildung zum Verstehen und Gestalten der digitalen Welt,
Proceedings der 17. GI-Fachtagung Informatik und Schule, {INFOS} 2017,
13.-15. September 2017, Oldenburg},
series = {{LNI}},
volume = {{P-274}},
pages = {53--62},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/4346},
timestamp = {Tue, 28 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/schule/BergnerKMMRSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/Koster16,
author = {Johannes K{\"{o}}ster},
title = {Rust-Bio: a fast and safe bioinformatics library},
journal = {Bioinform.},
volume = {32},
number = {3},
pages = {444--446},
year = {2016},
url = {https://doi.org/10.1093/bioinformatics/btv573},
doi = {10.1093/BIOINFORMATICS/BTV573},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/Koster16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MaKQHLCCWMLXL16,
author = {Jian Ma and
Johannes K{\"{o}}ster and
Qian Qin and
Shengen Hu and
Wei Li and
Chenhao Chen and
Qingyi Cao and
Jinzeng Wang and
Shenglin Mei and
Qi Liu and
Han Xu and
Xiaole Shirley Liu},
title = {{CRISPR-DO} for genome-wide {CRISPR} design and optimization},
journal = {Bioinform.},
volume = {32},
number = {21},
pages = {3336--3338},
year = {2016},
url = {https://doi.org/10.1093/bioinformatics/btw476},
doi = {10.1093/BIOINFORMATICS/BTW476},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MaKQHLCCWMLXL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/StockerKR16,
author = {Bianca K. St{\"{o}}cker and
Johannes K{\"{o}}ster and
Sven Rahmann},
title = {SimLoRD: Simulation of Long Read Data},
journal = {Bioinform.},
volume = {32},
number = {17},
pages = {2704--2706},
year = {2016},
url = {https://doi.org/10.1093/bioinformatics/btw286},
doi = {10.1093/BIOINFORMATICS/BTW286},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/StockerKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/MichelKG15,
author = {Matteo Michel and
Johannes Koesters and
Benedikt Geukes},
editor = {Ulrich Heinkel and
Daniel Kriesten and
Marko R{\"{o}}{\ss}ler},
title = {Modulare Verifikation von Non-Mainline Chip-Level Funktionen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
3-4, 2015},
pages = {14--19},
publisher = {S{\"{a}}chsische Landesbibliothek},
year = {2015},
timestamp = {Sat, 17 Jul 2021 09:02:10 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/MichelKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Koster15,
author = {Johannes K{\"{o}}ster},
title = {Rust-Bio - a fast and safe bioinformatics library},
journal = {CoRR},
volume = {abs/1509.02796},
year = {2015},
url = {http://arxiv.org/abs/1509.02796},
eprinttype = {arXiv},
eprint = {1509.02796},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Koster15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Koster14,
author = {Johannes K{\"{o}}ster},
title = {Parallelization, scalability, and reproducibility in next generation
sequencing analysis},
school = {Dortmund University, Germany},
year = {2014},
url = {http://hdl.handle.net/2003/33940},
doi = {10.17877/DE290R-7242},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Koster14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KoestersG14,
author = {Johannes Koesters and
Alex Goryachev},
title = {Verification of Non-Mainline Functions in Todays Processor Chips},
booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
Francisco, CA, USA, June 1-5, 2014},
pages = {1:1--1:3},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593069.2596693},
doi = {10.1145/2593069.2596693},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/KoestersG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KosterR14,
author = {Johannes K{\"{o}}ster and
Sven Rahmann},
title = {Massively parallel read mapping on GPUs with {PEANUT}},
journal = {CoRR},
volume = {abs/1403.1706},
year = {2014},
url = {http://arxiv.org/abs/1403.1706},
eprinttype = {arXiv},
eprint = {1403.1706},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KosterR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/KosterR12,
author = {Johannes K{\"{o}}ster and
Sven Rahmann},
title = {Snakemake - a scalable bioinformatics workflow engine},
journal = {Bioinform.},
volume = {28},
number = {19},
pages = {2520--2522},
year = {2012},
url = {https://doi.org/10.1093/bioinformatics/bts480},
doi = {10.1093/BIOINFORMATICS/BTS480},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/KosterR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcb/KosterR12,
author = {Johannes K{\"{o}}ster and
Sven Rahmann},
editor = {Sebastian B{\"{o}}cker and
Franziska Hufsky and
Kerstin Scheubert and
Jana Schleicher and
Stefan Schuster},
title = {Building and Documenting Workflows with Python-Based Snakemake},
booktitle = {German Conference on Bioinformatics 2012, {GCB} 2012, Jena, Germany,
September 20-22, 2012},
series = {OASIcs},
volume = {26},
pages = {49--56},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/OASIcs.GCB.2012.49},
doi = {10.4230/OASICS.GCB.2012.49},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/gcb/KosterR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/JaschkeWK06,
author = {Christoph J{\"{a}}schke and
Ralf Winkelmann and
Johannes K{\"{o}}sters},
editor = {Bernd Straube and
Martin Freibothe},
title = {Control Register Specification and Verification in Complex Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
2006},
pages = {349--358},
publisher = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
year = {2006},
timestamp = {Thu, 28 Jun 2012 09:12:11 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/JaschkeWK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-08-06 07:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
