Did you mean: interaction

search result

Cover von Communicability, Computer Graphics, and Innovative Design for Interactive Systems
First International Symposium, CCGIDIS 2011, Cordoba, Spain, June 28 - 29, 2011, Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7545
Media group: MONOGRAPHIE
Cover von Interactive Visualization and Verification Tools for Tesseract Path Unfoldings (Media Exposition)

Interactive Visualization and Verification Tools for Tesseract Path Unfoldings (Media Exposition)

Year: 2026
Media group: LIPIcs
Cover von Interactive Uniform Floodlight Illumination and Rotating Rays Voronoi Diagrams (Media Exposition)

Interactive Uniform Floodlight Illumination and Rotating Rays Voronoi Diagrams (Media Exposition)

Year: 2026
Media group: LIPIcs
Cover von Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk)

Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk)

Year: 2026
Media group: LIPIcs
Cover von Incremental and Interactive PQ- and PC-Trees (Media Exposition)

Incremental and Interactive PQ- and PC-Trees (Media Exposition)

Year: 2025
Media group: LIPIcs
Cover von Bringing the Power of Interactive Theorem Proving to Web3 (Invited Talk)

Bringing the Power of Interactive Theorem Proving to Web3 (Invited Talk)

Year: 2025
Media group: OASICS
Cover von Interactive GPU-based Visualization of Large Dynamic Particle Data
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Synthesis Lectures on Visualization; 8
Media group: MONOGRAPHIE
Cover von Public Coin Interactive Proofs for Label-Invariant Distribution Properties

Public Coin Interactive Proofs for Label-Invariant Distribution Properties

Year: 2024
Media group: LIPIcs
Cover von Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Author: Palmskog, Karl; Serebrenik, Alexander; Zimmermann, Theo
Year: 2023
Media group: LIPIcs
Cover von Interactive and Automated Proofs in Modal Separation Logic (Invited Talk)

Interactive and Automated Proofs in Modal Separation Logic (Invited Talk)

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0