default search action
Search dblp for Publications
export results for "Sebastian Bohn"
@article{DBLP:journals/access/GielingerHZOBB23, author = {Sebastian Gielinger and Thiemo Hein and Andreas Ziegler and David Oeser and Sebastian Breitfelder and Gunther Bohn}, title = {A Short Time Expansion Measurement Method for the Detection of Aging Effect of Lithium Ion Cells Using a High Resolution Laser Interfometric Setup}, journal = {{IEEE} Access}, volume = {11}, pages = {139924--139934}, year = {2023}, url = {https://doi.org/10.1109/ACCESS.2023.3341505}, doi = {10.1109/ACCESS.2023.3341505}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/GielingerHZOBB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cg/TadejaBSPB23, author = {Slawomir Konrad Tadeja and Luca O. Solari Bozzi and Kerr D. G. Samson and Sebastian W. Pattinson and Thomas Bohn{\'{e}}}, title = {Exploring the repair process of a 3D printer using augmented reality-based guidance}, journal = {Comput. Graph.}, volume = {117}, pages = {134--144}, year = {2023}, url = {https://doi.org/10.1016/j.cag.2023.10.017}, doi = {10.1016/J.CAG.2023.10.017}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cg/TadejaBSPB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vr/BozziSTBP23, author = {Luca O. Solari Bozzi and Kerr D. G. Samson and Slawomir Konrad Tadeja and Thomas Bohn{\'{e}} and Sebastian W. Pattinson}, title = {Towards Augmented Reality Guiding Systems: An Engineering Design of an Immersive System for Complex 3D Printing Repair Process}, booktitle = {{IEEE} Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, {VR} Workshops 2023, Shanghai, China, March 25-29, 2023}, pages = {384--389}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/VRW58643.2023.00084}, doi = {10.1109/VRW58643.2023.00084}, timestamp = {Tue, 04 Jun 2024 16:13:41 +0200}, biburl = {https://dblp.org/rec/conf/vr/BozziSTBP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emnlp/GehrmannBMWPMMSUB22, author = {Sebastian Gehrmann and Abhik Bhattacharjee and Abinaya Mahendiran and Alex Wang and Alexandros Papangelis and Aman Madaan and Angelina McMillan{-}Major and Anna Shvets and Ashish Upadhyay and Bernd Bohnet}, editor = {Wanxiang Che and Ekaterina Shutova}, title = {GEMv2: Multilingual {NLG} Benchmarking in a Single Line of Code}, booktitle = {Proceedings of the The 2022 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2022 - System Demonstrations, Abu Dhabi, UAE, December 7-11, 2022}, pages = {266--281}, publisher = {Association for Computational Linguistics}, year = {2022}, url = {https://doi.org/10.18653/v1/2022.emnlp-demos.27}, doi = {10.18653/V1/2022.EMNLP-DEMOS.27}, timestamp = {Thu, 10 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emnlp/GehrmannBMWPMMSUB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/irps/BruceSBCKNMPLBG21, author = {Robert L. Bruce and Syed Ghazi Sarwat and Irem Boybat and Cheng{-}Wei Cheng and Wanki Kim and S. R. Nandakumar and Charles Mackin and Timothy Philip and Zuoguang Liu and Kevin Brew and Nanbo Gong and Injo Ok and Praneet Adusumilli and Katie Spoon and Stefano Ambrogio and Benedikt Kersting and Thomas Bohnstingl and Manuel Le Gallo and Andrew Simon and Ning Li and Iqbal Saraf and Jin{-}Ping Han and Lynne M. Gignac and John M. Papalia and Tenko Yamashita and Nicole Saulnier and Geoffrey W. Burr and Hsinyu Tsai and Abu Sebastian and Vijay Narayanan and Matthew BrightSky}, title = {Mushroom-Type phase change memory with projection liner: An array-level demonstration of conductance drift and noise mitigation}, booktitle = {{IEEE} International Reliability Physics Symposium, {IRPS} 2021, Monterey, CA, USA, March 21-25, 2021}, pages = {1--6}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/IRPS46558.2021.9405191}, doi = {10.1109/IRPS46558.2021.9405191}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/irps/BruceSBCKNMPLBG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/basesearch/Bohne19, author = {Sebastian B{\"{o}}hne}, title = {Different degrees of formality (Verschiedene Formalit{\"{a}}tsgrade)}, school = {University of Potsdam, Germany}, year = {2019}, url = {https://publishup.uni-potsdam.de/frontdoor/index/index/docId/42379}, urn = {urn:nbn:de:kobv:517-opus4-423795}, doi = {10.25932/PUBLISHUP-42379}, timestamp = {Fri, 02 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/basesearch/Bohne19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/at/BartschatASSBRK19, author = {Andreas Bartschat and Stephan Allgeier and Tim Scherr and Johannes Stegmaier and Sebastian Bohn and Klaus{-}Martin Reichert and Arjan Kuijper and Markus Reischl and Oliver Stachs and Bernd K{\"{o}}hler and Ralf Mikut}, title = {Fuzzy tissue detection for real-time focal control in corneal confocal microscopy}, journal = {Autom.}, volume = {67}, number = {10}, pages = {879--888}, year = {2019}, url = {https://doi.org/10.1515/auto-2019-0034}, doi = {10.1515/AUTO-2019-0034}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/at/BartschatASSBRK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1806-07073, author = {Nadezhda Prodanova and Johannes Stegmaier and Stephan Allgeier and Sebastian Bohn and Oliver Stachs and Bernd K{\"{o}}hler and Ralf Mikut and Andreas Bartschat}, title = {Transfer Learning with Human Corneal Tissues: An Analysis of Optimal Cut-Off Layer}, journal = {CoRR}, volume = {abs/1806.07073}, year = {2018}, url = {http://arxiv.org/abs/1806.07073}, eprinttype = {arXiv}, eprint = {1806.07073}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1806-07073.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1812-10404, author = {Sebastian J. Vollmer and Bilal A. Mateen and Gergo Bohner and Franz J. Kir{\'{a}}ly and Rayid Ghani and Pall Jonsson and Sarah Cumbers and Adrian Jonas and Katherine S. L. McAllister and Puja Myles and David Granger and Mark Birse and Richard Branson and Karel G. M. Moons and Gary S. Collins and John P. A. Ioannidis and Chris C. Holmes and Harry Hemingway}, title = {Machine learning and {AI} research for Patient Benefit: 20 Critical Questions on Transparency, Replicability, Ethics and Effectiveness}, journal = {CoRR}, volume = {abs/1812.10404}, year = {2018}, url = {http://arxiv.org/abs/1812.10404}, eprinttype = {arXiv}, eprint = {1812.10404}, timestamp = {Mon, 06 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1812-10404.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bioinformatics/TaliunCSFBAW17, author = {Daniel Taliun and Sonia P. Chothani and Sebastian Sch{\"{o}}nherr and Lukas Forer and Michael Boehnke and Gon{\c{c}}alo R. Abecasis and Chaolong Wang}, title = {{LASER} server: ancestry tracing with genotypes or sequence reads}, journal = {Bioinform.}, volume = {33}, number = {13}, pages = {2056--2058}, year = {2017}, url = {https://doi.org/10.1093/bioinformatics/btx075}, doi = {10.1093/BIOINFORMATICS/BTX075}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bioinformatics/TaliunCSFBAW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icer/KnobelsdorfFBK17, author = {Maria Knobelsdorf and Christiane Frede and Sebastian B{\"{o}}hne and Christoph Kreitz}, editor = {Josh Tenenberg and Donald Chinn and Judy Sheard and Lauri Malmi}, title = {Theorem Provers as a Learning Tool in Theory of Computation}, booktitle = {Proceedings of the 2017 {ACM} Conference on International Computing Education Research, {ICER} 2017, Tacoma, WA, USA, August 18-20, 2017}, pages = {83--92}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3105726.3106184}, doi = {10.1145/3105726.3106184}, timestamp = {Tue, 06 Nov 2018 11:06:32 +0100}, biburl = {https://dblp.org/rec/conf/icer/KnobelsdorfFBK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icis/SchneiderRGAWND17, author = {Katharina Schneider and Kathrin Reinke and Gisela Gerlach and Christoph Anderson and Sebastian Wojtek and Svenja Neitzel and Rahul Chini Dwarakanath and Doreen B{\"{o}}hnstedt and Ruth Maria Stock}, editor = {Yong Jin Kim and Ritu Agarwal and Jae Kyu Lee}, title = {Aligning ICT-enabled Availability and Individual Availability Preferences: Design and Evaluation of Availability Management Applications}, booktitle = {Proceedings of the International Conference on Information Systems - Transforming Society with Digital Innovation, {ICIS} 2017, Seoul, South Korea, December 10-13, 2017}, publisher = {Association for Information Systems}, year = {2017}, url = {http://aisel.aisnet.org/icis2017/HumanBehavior/Presentations/19}, timestamp = {Tue, 19 Dec 2017 17:38:41 +0100}, biburl = {https://dblp.org/rec/conf/icis/SchneiderRGAWND17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01466, author = {Sebastian B{\"{o}}hne and Christoph Kreitz}, editor = {Pedro Quaresma and Walther Neuper}, title = {Learning how to Prove: From the Coq Proof Assistant to Textbook Style}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {1--18}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.1}, doi = {10.4204/EPTCS.267.1}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01466.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/schule/BohneKK16, author = {Sebastian B{\"{o}}hne and Maria Knobelsdorf and Christoph Kreitz}, editor = {Andreas Schwill and Ulrike Lucke}, title = {Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq}, booktitle = {Hochschuldidaktik der Informatik, {HDI} 2016 - 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik, 13.-14. September 2016 an der Universit{\"{a}}t Potsdam, Germany}, series = {Commentarii informaticae didacticae}, volume = {10}, pages = {69--80}, publisher = {Universit{\"{a}}tsverlag Potsdam}, year = {2016}, timestamp = {Wed, 12 Feb 2020 16:44:29 +0100}, biburl = {https://dblp.org/rec/conf/schule/BohneKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kivs/EnglertRKANBS15, author = {Frank Englert and Marius Rettberg{-}Paplow and Sebastian K{\"{o}}{\ss}ler and Alaa Alhamoud and The An Binh Nguyen and Doreen B{\"{o}}hnstedt and Ralf Steinmetz}, title = {Enhancing user privacy by data driven selection mechanisms for finding transmission-relevant data samples in energy recommender systems}, booktitle = {2015 International Conference and Workshops on Networked Systems, NetSys 2015, Cottbus, Germany, March 9-12, 2015}, pages = {1--6}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/NetSys.2015.7089089}, doi = {10.1109/NETSYS.2015.7089089}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kivs/EnglertRKANBS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmv/TillmannB15, author = {Sebastian{-}T. Tillmann and Christian{-}A. Bohn}, editor = {David Bommes and Tobias Ritschel and Thomas Schultz}, title = {Simulation of Water Condensation based on a Thermodynamic Approach}, booktitle = {20th International Symposium on Vision, Modeling, and Visualization, {VMV} 2015, Aachen, Germany, October 7-10, 2015}, pages = {127--133}, publisher = {Eurographics Association}, year = {2015}, url = {https://doi.org/10.2312/vmv.20151267}, doi = {10.2312/VMV.20151267}, timestamp = {Thu, 16 Jul 2020 13:55:31 +0200}, biburl = {https://dblp.org/rec/conf/vmv/TillmannB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bioinformatics/SreedharanSJKBDMGZR14, author = {Vipin T. Sreedharan and Sebastian J. Schulthei{\ss} and G{\'{e}}raldine Jean and Andr{\'{e}} Kahles and Regina Bohnert and Philipp Drewe and Pramod Mudrakarta and Nico G{\"{o}}rnitz and Georg Zeller and Gunnar R{\"{a}}tsch}, title = {Oqtans: the RNA-seq workbench in the cloud for complete and reproducible quantitative transcriptome analysis}, journal = {Bioinform.}, volume = {30}, number = {9}, pages = {1300--1301}, year = {2014}, url = {https://doi.org/10.1093/bioinformatics/btt731}, doi = {10.1093/BIOINFORMATICS/BTT731}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bioinformatics/SreedharanSJKBDMGZR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bmcbi/SreedharanSJKBDMGZR14, author = {Vipin T. Sreedharan and Sebastian J. Schulthei{\ss} and G{\'{e}}raldine Jean and Andr{\'{e}} Kahles and Regina Bohnert and Philipp Drewe and Pramod Mudrakarta and Nico G{\"{o}}rnitz and Georg Zeller and Gunnar R{\"{a}}tsch}, title = {Oqtans: a multifunctional workbench for RNA-seq data analysis}, journal = {{BMC} Bioinform.}, volume = {15}, number = {{S-3}}, pages = {A7}, year = {2014}, url = {https://doi.org/10.1186/1471-2105-15-S3-A7}, doi = {10.1186/1471-2105-15-S3-A7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bmcbi/SreedharanSJKBDMGZR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfn/OevelPB14, author = {Gudrun Oevel and Sebastian Porombka and Maximilian Boehner}, editor = {Paul M{\"{u}}ller and Bernhard Neumair and Helmut Reiser and Gabi Dreo Rodosek}, title = {Energieeffizienz im {WLAN}}, booktitle = {7. DFN-Forum - Kommunikationstechnologien, 16.-17. Juni 2014, Fulda, Germany}, series = {{LNI}}, volume = {{P-231}}, pages = {33--43}, publisher = {{GI}}, year = {2014}, url = {https://dl.gi.de/handle/20.500.12116/2686}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfn/OevelPB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcse/KnobelsdorfKB14, author = {Maria Knobelsdorf and Christoph Kreitz and Sebastian B{\"{o}}hne}, editor = {J. D. Dougherty and Kris Nagel and Adrienne Decker and Kurt Eiselt}, title = {Teaching theoretical computer science using a cognitive apprenticeship approach}, booktitle = {The 45th {ACM} Technical Symposium on Computer Science Education, {SIGCSE} 2014, Atlanta, GA, USA, March 5-8, 2014}, pages = {67--72}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2538862.2538944}, doi = {10.1145/2538862.2538944}, timestamp = {Tue, 23 Mar 2021 10:54:19 +0100}, biburl = {https://dblp.org/rec/conf/sigcse/KnobelsdorfKB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bioinformatics/ReppellBZ12, author = {Mark Reppell and Michael Boehnke and Sebastian Z{\"{o}}llner}, title = {{FTEC:} a coalescent simulator for modeling faster than exponential growth}, journal = {Bioinform.}, volume = {28}, number = {9}, pages = {1282--1283}, year = {2012}, url = {https://doi.org/10.1093/bioinformatics/bts135}, doi = {10.1093/BIOINFORMATICS/BTS135}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bioinformatics/ReppellBZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bmcbi/SchultheissJBBDGKMSZR11, author = {Sebastian J. Schulthei{\ss} and G{\'{e}}raldine Jean and Jonas Behr and Regina Bohnert and Philipp Drewe and Nico G{\"{o}}rnitz and Andr{\'{e}} Kahles and Pramod Mudrakarta and Vipin T. Sreedharan and Georg Zeller and Gunnar R{\"{a}}tsch}, title = {Oqtans: a Galaxy-integrated workflow for quantitative transcriptome analysis from {NGS} Data}, journal = {{BMC} Bioinform.}, volume = {12}, number = {{S-11}}, pages = {A7}, year = {2011}, url = {https://doi.org/10.1186/1471-2105-12-S11-A7}, doi = {10.1186/1471-2105-12-S11-A7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bmcbi/SchultheissJBBDGKMSZR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/doceng/BohneRB11, author = {Thomas Bohne and Sebastian R{\"{o}}nnau and Uwe M. Borghoff}, editor = {Matthew R. B. Hardy and Frank Wm. Tompa}, title = {Efficient keyword extraction for meaningful document perception}, booktitle = {Proceedings of the 2011 {ACM} Symposium on Document Engineering, Mountain View, CA, USA, September 19-22, 2011}, pages = {185--194}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2034691.2034732}, doi = {10.1145/2034691.2034732}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/doceng/BohneRB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/afrigraph/StruckBSH04, author = {Florian Struck and Christian{-}A. Bohn and Sebastian Schmidt and Volker Helzle}, editor = {Lynette van Zijl and Patrick C. Marais}, title = {Realistic shading of human skin in real time}, booktitle = {Proceedings of the 3rd International Conference on Computer Graphics, Virtual Reality, Visualisation and Interaction in Africa, Afrigraph 2004, Stellenbosch, South Africa, November 3-5, 2004}, pages = {93--97}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1029949.1029967}, doi = {10.1145/1029949.1029967}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/afrigraph/StruckBSH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ife/HegeringABH94, author = {Heinz{-}Gerd Hegering and Sebastian Abeck and Thorsten B{\"{o}}hnke and K. Heiler}, title = {Erweiterung von OSI-Management-Objektbeschreibungen als Basis f{\"{u}}r eine effektive Implementierung der Managementinformationsbasis}, journal = {Inform. Forsch. Entwickl.}, volume = {9}, number = {2}, pages = {93--106}, year = {1994}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ife/HegeringABH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.