search result

Cover von What You Must Remember When Transforming Datawords

What You Must Remember When Transforming Datawords

Year: 2020
Media group: LIPIcs
Cover von Query Preserving Watermarking Schemes for Locally Treelike Databases

Query Preserving Watermarking Schemes for Locally Treelike Databases

Year: 2019
Media group: LIPIcs
Cover von Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE

Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE

Year: 2009
Media group: ARTICLE
Cover von Parallel Complexity of Depth-First-Search and Maximal Path in Restricted Graph Classes

Parallel Complexity of Depth-First-Search and Maximal Path in Restricted Graph Classes

Year: 2025
Media group: LIPIcs
Cover von Regulating Synchronous Data Exchange to Meet Control Flow and Data Specifications

Regulating Synchronous Data Exchange to Meet Control Flow and Data Specifications

Year: 2025
Media group: LIPIcs
Cover von Constraint LTL with Remote Access

Constraint LTL with Remote Access

Year: 2023
Media group: LIPIcs
Cover von Realizability Problem for Constraint LTL

Realizability Problem for Constraint LTL

Year: 2022
Media group: LIPIcs
Cover von Verification of Flat FIFO Systems

Verification of Flat FIFO Systems

Year: 2019
Media group: LIPIcs
Cover von Nesting Depth of Operators in Graph Database Queries

Nesting Depth of Operators in Graph Database Queries

Expressiveness vs. Evaluation Complexity
Year: 2016
Media group: LIPIcs
Cover von Extending the Rackoff technique to Affine nets

Extending the Rackoff technique to Affine nets

Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0