search result

Cover von Model-Generic Incrementally Verifiable Computation from Updatable BARGs

Model-Generic Incrementally Verifiable Computation from Updatable BARGs

Year: 2026
Media group: LIPIcs
Cover von Subrank and Optimal Reduction of Scalar Multiplications to Generic Tensors

Subrank and Optimal Reduction of Scalar Multiplications to Generic Tensors

Year: 2022
Media group: LIPIcs
Cover von A Generic Strategy Improvement Method for Simple Stochastic Games

A Generic Strategy Improvement Method for Simple Stochastic Games

Year: 2021
Media group: LIPIcs
Cover von Generic-Group Identity-Based Encryption

Generic-Group Identity-Based Encryption

A Tight Impossibility Result
Year: 2021
Media group: LIPIcs
Cover von A Generic Undo Support for State-Based CRDTs

A Generic Undo Support for State-Based CRDTs

Year: 2020
Media group: LIPIcs
Cover von A Generic Framework for Higher-Order Generalizations

A Generic Framework for Higher-Order Generalizations

Year: 2019
Media group: LIPIcs
Cover von Generic Single Edge Fault Tolerant Exact Distance Oracle

Generic Single Edge Fault Tolerant Exact Distance Oracle

Year: 2018
Media group: LIPIcs
Cover von A Generic Approach to Flow-Sensitive Polymorphic Effects

A Generic Approach to Flow-Sensitive Polymorphic Effects

Year: 2017
Media group: LIPIcs
Cover von Generic Proofs of Consensus Numbers for Abstract Data Types

Generic Proofs of Consensus Numbers for Abstract Data Types

Year: 2016
Media group: LIPIcs
Cover von A Generic Framework for Blackbox Components in WCET Computation

A Generic Framework for Blackbox Components in WCET Computation

Year: 2009
Media group: ARTICLE
OPEN V 11.1.0.0