Helmholtz Center for Information Security

CISPA – Helmholtz-Zentrum für Informationssicherheit
Not a member yet
    3406 research outputs found

    Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    Towards More Practical Linear Programming-Based Techniques for Algorithmic Mechanism Design

    Author
    Publication venue
    Springer
    Publication date
    Field of study
    No full text

    Foldio: Digital Fabrication of Interactive and Shape-Changing Objects With Foldable Printed Electronics

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    Multi-view and 3D Deformable Part Models

    Author
    Publication venue
    IEEE Computer Society
    Publication date
    Field of study
    No full text

    From Fork Decoupling to Star-Topology Decoupling

    Author
    Publication venue
    AAAI Press
    Publication date
    Field of study
    No full text

    The Comparison of Performance, Efficiency, and Task Solution Strategies in Real, Virtual and Dual Reality Environments

    Author
    Publication venue
    Springer
    Publication date
    Field of study
    No full text

    Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario

    Author
    Publication venue
    ACM
    Publication date
    Field of study
    No full text

    Approximate Counting in SMT and Value Estimation for Probabilistic Programs

    Author
    Publication venue
    Springer
    Publication date
    Field of study
    No full text

    A Partial Order Reduction Technique for Event-driven Multi-threaded Programs

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    Modeling Adoption and Usage of Competing Products

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    813

    full texts

    3,406

    metadata records
    Updated in last 30 days.
    CISPA – Helmholtz-Zentrum für Informationssicherheit
    Access Repository Dashboard
    Do you manage Open Research Online? Become a CORE Member to access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard! 👇