Skip to main content Skip to main navigation

Publications

Displaying results 3541 to 3550 of 14796.
  1. Luigi Ceccaroni; Jaume Piera; Marcel R. Wernand †; Oliver Zielinski; Julia A. Busch; Hendrik Jan Van Der Woerd; Raul Bardaji; Anna Friedrichs; Stéfani Novoa; Peter Thijsse; Filip Velickovski; Meinte Blaas; Karin Dubsky

    Citclops: A next-generation sensor system for the monitoring of natural waters and a citizens' observatory for the assessment of ecosystems' status

    In: PLOS One, Vol. 15(3), No. e0230084, Pages 1-41, Public Library of Science, San Francisco, 3/2020.

  2. Václav Jirkovský; Ondřej Šebek; Petr Kadera; Pavel Burget; Sönke Knoch; Tilman Becker

    Facilitation of Domain-Specific Data Models Design using Semantic Web Technologies for Manufacturing

    In: Maria Indrawan-Santiago; Eric Pardede; Ivan Luiz Salvadori; Matthias Steinbauer; Ismail Khalil; Gabriele Anderst-Kotsis (Hrsg.). Proceedings of the 21st International Conference on Information Integration and Web-Based Applications & Services. International Conference on Information Integration and Web-based Applications & Services (iiWAS-2019), December 2-4, Munich, Germany, Pages 649-653, ISBN 9781450371797, Association for Computing Machinery, New York, NY, USA, 12/2019.

  3. Thorsten Schoormann; Simon Hagen; Jonas Brinker; Sebastian Wildau; Oliver Thomas; Ralf Knackstedt

    Towards Aligning Business Models with Business Processes: A Tool-based Approach

    In: Dominik Bork; Dimitris Karagiannis; Heinrich C. Mayr (Hrsg.). Modellierung 2020. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) (MoHoL-2020), February 19-21, Vienna, Austria, Pages 12-27, ISBN 978-3-88579-696-1, Gesellschaft für Informatik e.V. Bonn, 2020.

  4. Vladimir Herdt; Daniel Große; Jonas Wloka; Tim Güneysu; Rolf Drechsler

    Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Peking, China, 2020.

  5. Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Beijing, China, 2020.

  6. Vladimir Herdt; Daniel Große; Pascal Pieper; Rolf Drechsler

    RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level

    In: Journal of Systems Architecture: Embedded Software Design (JSA), Pages o.A-o.A. Elsevier, 2020.

  7. Filip Fatz; Philip Hake; Peter Fettke

    Blockchain-based Decentralized Validation of Tax Processes

    In: Judith Michael; Dominik Bork (Hrsg.). Companion Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers co-located with Modellierung 2020. International Workshop on Conceptual Modeling for Distributed Ledger Technologies (MOD-DLT-2020), located at Modellierung 2020, Vienna, Austria, Pages 48-50, CEUR-WS, Vol. 2542, CEUR Workshop Proceedings, 2/2020.

  8. Adrian Rebmann; Alexander Beuther; Steffen Schuhmann; Peter Fettke

    Hands-on Process Discovery with Python - Utilizing Jupyter Notebook for the Digital Assistance in Higher Education

    In: Judith Michael; Dominik Bork (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo Papers. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) (MoHoL-2020), Modellierung in der Hochschullehre, located at Modellierung 2020, February 19-21, Vienna, Austria, Pages 65-76, CEUR, 2020.

  9. Thierry Declerck; Melanie Siegel; Dagmar Gromann

    OntoLex-Lemon as a Possible Bridge between WordNets and Full Lexical Descriptions

    In: Christiane Fellbaum; Piek Vossen; Ewa Rudnicka; Marek Maziarz; Maciej Piasecki (Hrsg.). Proceedings of the Tenth Global Wordnet Conference. Global WordNet Conference (GWC-2019), July 23-27, Wrocław, Poland, Pages 264-271, ISBN 978-83-7493-108-3, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, 7/2019.